Dawid Toton <d...@wp.pl> wrote: > I tried to extend the standard Set module with new operations. I got > error messages about type incompatibilities (the Set.S.t as exposed by > my implementation and Set.S.t used by functions from the original Set). > I have reduced my code to the following small example: > > module Set = struct > module Make (Ord : Set.OrderedType) = struct > module Set = Set.Make(Ord) > include Set > end > end > > module OrdChar = struct type t = char let compare = compare end > module Raw1 = Set.Make (OrdChar) > module Raw2 = Set.Make (struct type t = char let compare = compare end) > > let aaa (aa : Raw1.t) (bb : Raw1.Set.t) = (aa = bb) > let aaa (aa : Raw2.t) (bb : Raw2.Set.t) = (aa = bb) > > Only the last line results in an error: > Error: This expression has type Raw2.Set.t but is here used with type > Raw2.t
That is a known limitation of Ocaml's module system: type equivalence is only propagated through a syntactic subset of module expressions, so called "paths" (which consist of only module names, dot access, and functor applications). Roughly, in your example, Raw1.t is just an abbreviation for Set.Make(OrdChar).t, which in turn abbreviates Set.Make(OrdChar).Set.t, which expands to Set.Set.Make(OrdChar).t. In all these type names the bits before the ".t" are in path form, which makes the type expressions legal. Raw2.t, on the other hand, would expand to Set.Make(struct ... end).t - however, literal structures are not allowed in paths, so this type expression is illegal, and Ocaml simply "forgets" the equivalence. The workaround is never to apply a functor to an anonymous structure if you care about maximum type propagation. Just name it, which is easy enough in most cases. /Andreas _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
