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
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
