Le Saturday 03 Sep 2011 à 13:35:22 (+0200), Philippe Veber a écrit :
> Hi, I'm really no typing expert and have not looked much into your
> code, so sorry in advance if what I say is irrelevant. Christophe got
> it right I think : I'd say that an array value cannot be polymorphic
> because it is mutable. I've quickly searched the web and found that
> [1]http://mirror.ocamlcore.org/caml.inria.fr/pub/ml-archives/caml-list/
> 2001/12/0dccd30f4582e551a674562e3ddcc03c.en.html
Yes, Christophe got it right.
While not having the let-restriction on [] seems right theoretically, I
see little practical use case for it however.
--
Guillaume Yziquel
--
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