Pal-Kristian Engstad wrote: > Here's a relevant paper describing OCaml typing: > http://caml.inria.fr/pub/papers/garrigue-labels-ppl01.pdf > > Looks like OCaml doesn't initialize optional arguments for you, or do > any sort of sub-typing.
This is what I expected. Thanks for trying out the example, and for the link. Swaroop. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
