On 14-01-23 12:53:24, Haoyang Wang wrote:
> > module type MType = module type of MyFunctor (struct let env =  Obj.magic 0 end)
> > 
> > This works well and Obj.magic is never run ...
> 
> raise an exception instead?

or assert false, I will do that.
 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs