> This will compile if you ??-expand the partial application of > some_operation into ???(fun t1 -> some_operation t_priv t1)???. > > But perhaps your example is over simplified and hide the real > difficulty.
No you are right, once eta-epxanded the compiler accepted the code. I wonder what difference it makes in the generated code, if any. Thank you very much for the tip! -- 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
