On Mon, 2005-01-31 at 07:30 -0500, Swaroop Sridhar wrote: > Jonathan S. Shapiro wrote: > > > > >I think that we agree. In fact, with polymorphism restored, the > >differences between BitC and O'Caml are basically the following: > > > > Explicitly declarable boxed/unboxed types > > Greater range of fixed-precision integer types. > > > 3 more: > datatype and record definitions create unique types > function arguments cannot be defined to take value patterns > recursive data definitions are not allowed
I was unclear. I was referring to differences in the underlying semantics. Does ML actually allow recursive data definitions? This would be very surprising if true... shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
