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