Le Saturday 03 Sep 2011 à 14:15:35 (+0200), Gabriel Scherer a écrit :
>
> [...]
Thanks for your explanation, which is quite thorough.
> It also seems quite wrong to me. You should perhaps file a bug into
> Mantis if no typing expert answers.
>
> I don't want to criticize your answer which was very helpful, but I
> would like to point out that I have seen the "when you don't understand
> the type checker, it may be a bug" reaction quite often on this list.
Well, there was an "if" clause... Nevertheless I agree that the
type checker is quite solid. I only had "serious" problems (infinite
loops) when playing too harshly with subtyping or recursive types.
--
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
