# module type T = sig type t type r = { f : t } end;;
module type T = sig type t and r = { f : t; }  end

# module M : T with type t = float = struct 
  type t = float 
  type r = { f : t } 
end;;

Signature mismatch:
Modules do not match:
  sig type t = float and r = { f : t; }  end
is not included in
  sig type t = float and r = { f : t; }  end
Type declarations do not match:
  type r = { f : t; } 
is not included in
  type r = { f : t; } 

Is there a way to work around this?

-- 
mailto:malc@pulsesoft.com

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners