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
