Am Montag, den 16.05.2016, 17:55 +0100 schrieb Guillaume Hennequin:
> Thanks all for your prompt answers;
>
> > See the FAQ entry, "How to write a function with polymorphic arguments?"
> > https://ocaml.org/learn/faq.html#Howtowriteafunctionwithpolymorphicarguments
>
> this page explains how to do it with records or objects, but ends with a
> mysterious "FIXME: a direct way now exists". Does anyone know what this might
> refer to?
What you would need is
let print_both : ('a . 'a -> 'a) -> unit = ...
i.e. the scope of the quantifier is restricted to the first argument.
This doesn't exist to my knowledge. Maybe it was part of some dev
version?
Gerd
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de
My OCaml site: http://www.camlcity.org
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------