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: 1159 Reporter: administrator Status: closed Resolution: not a bug Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Yesterday I reported a funny message when testing the inclusion of
module types. Maybe the reason for the wrong error message is the following:
Look at a part of the call-graph for Includemod.signature
This could be wrong because check_modtype_equiv is testing for
equivalence (that is inclusion in both direction) and not for
inclusion in only one direction. The attached patch should fix
this. I hope this is helpful.
Original bug ID: 1159
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Yesterday I reported a funny message when testing the inclusion of
module types. Maybe the reason for the wrong error message is the following:
Look at a part of the call-graph for Includemod.signature
This could be wrong because check_modtype_equiv is testing for
equivalence (that is inclusion in both direction) and not for
inclusion in only one direction. The attached patch should fix
this. I hope this is helpful.
pfitzen
--- ocaml-3.04-work/typing/includemod.ml Sat May 18 01:21:20 2002
+++ ocaml-3.04/typing/includemod.ml Thu Dec 28 14:07:27 2000
@@ -273,18 +273,19 @@
(Tmodtype_abstract, Tmodtype_abstract) -> ()
| (Tmodtype_manifest mty1, Tmodtype_abstract) -> ()
| (Tmodtype_manifest mty1, Tmodtype_manifest mty2) ->
raise(Error(Modtype_infos(id, info1, info2) :: reasons))
-and check_modtype env mty1 mty2 =
+and check_modtype_equiv env mty1 mty2 =
match
(* Simplified inclusion check between module types *)
The text was updated successfully, but these errors were encountered: