[MLton] Packing and IntInf

[Stephen Weeks]

> Perhaps, a more interesting question to ask. Is given the new bit-packing 
> optimization. Is there any compelling reason not to implement IntInf.int 
> purely in SML and ditch the GNU GMP stuff. (Other than all the work needed 
> to implement things again.... )

That's a big other, but it is the only reason I can think of.

> BTW is the GNU GMP stuff the main reason MLTon is licensed under the GPL?
> Not that I have a problem with the GPL, but just curious of there GMP is the 
> only reason.

The main reason is that the original license from NEC is under the
GPL, that they still hold the copyright, and they have not relicensed.