Le jeudi, 22 mars 2012 à 10:28, Roberto Di Cosmo a écrit :

> Without GADT
> ------------
>  
> One can get away cheating the type system and declaring the type
You don't need to cheat the type system with Obj without GADT.

http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/52732867110697f55650778d883ae5e9.en.html

Not to say that it's not involved, but it's possible.  

Best,

Daniel





-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to