I agree this could be a good item in the FAQ. I have created an issue
on the bugtracker for this.
http://caml.inria.fr/mantis/view.php?id=5607
Do not hesitate to comment on the bug: suggestions of wording are
warmly welcome.
On Sun, May 6, 2012 at 12:39 PM, Goswin von Brederlow <goswin-...@web.de> wrote:
> Gabriel Scherer <gabriel.sche...@gmail.com> writes:
>
>> You need to specify in the signature that ('a t) is contravariant:
>> type +'a t
>
> Thanks, that was what I was looking for. Why can I never find this in
> the docs when I need it? :)
>
> MfG
> Goswin
--
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
