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