You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6240 Reporter:@lpw25 Assigned to:@garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:25:19Z) Resolution: fixed Priority: normal Severity: minor Fixed in version: 4.01.1+dev Category: typing
Bug description
The following type error appears to be a bug:
OCaml version 4.01.0
module M : sig
module type T
module F (X : T) : sig end
end = struct
module type T = sig end
module F (X : T) = struct end
end;;
module M : sig module type T module F : functor (X : T) -> sig end end
module type T = M.T;;
module type T = M.T
module F : functor (X : T) -> sig end = M.F;;
Characters 40-43:
module F : functor (X : T) -> sig end = M.F;;
^^^
Error: Signature mismatch:
Modules do not match:
functor (X : M.T) -> sig end
is not included in
functor (X : T) -> sig end
At position functor (X : ) -> ...
Modules do not match: T is not included in M.T
At position functor (X : ) -> ...
Unbound module type M.T
The text was updated successfully, but these errors were encountered:
Original bug ID: 6240
Reporter: @lpw25
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:25:19Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.01.1+dev
Category: typing
Bug description
The following type error appears to be a bug:
module M : sig
module type T = M.T;;
module type T = M.T
module F : functor (X : T) -> sig end = M.F;;
Characters 40-43:
module F : functor (X : T) -> sig end = M.F;;
^^^
Error: Signature mismatch:
Modules do not match:
functor (X : M.T) -> sig end
is not included in
functor (X : T) -> sig end
At position functor (X : ) -> ...
Modules do not match: T is not included in M.T
At position functor (X : ) -> ...
Unbound module type M.T
The text was updated successfully, but these errors were encountered: