What difference is there, if any, between let plus = (+) and let plus = fun a b -> a + b ?
I know that, operationally, these are identical. What I am wondering is, do applications of 'plus' always compile down to the exact same thing?
In code that I am writing, due to interactions with the value restriction, I have to eta-expand all my definitions. So I am wondering what cost I will have to pay for the 'genericity' of my code.
Jacques -- 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
