Hello,
I have a question about polymorphism in general.
Let's take this example:
val polymorph1 : 'a * 'b -> string = <fun>
Is it polymorph?
I have a doubt because the result is always a "string", not something
related to either "'a" or "'b".
So another way to ask the question: is polymorphism only qualified by
the parameter?
Thank you for your help.
--
RMA.
--
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
