David Allsopp wrote:
I think it would be possible to simulate the SML behaviour in OCaml using camlp4
(if you assume that for [type foo = Bar of int] that future unbound references to
[bar] are interpreted as [fun x -> bar x] instead of an error)
I believe this is already the behaviour under the revised syntax, so
this is definitely possible.
Regards,
Jim
--
Jim Farrand
E-Mail/Jabber/Google-Talk/MSN: jim.farr...@gmail.com
Phone number changed Jun 2009: Now ends 996 (Ask for the rest, delete
the old one!)
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
