Re: Usage in commercial software

Yes, this is the approach I was suggesting earlier.  Basically to
implement a compiler switch (or some other means) to tell the compiler
not to support IntInf (requiring GnuMP).  IIRC, MLton uses IntInf
internally to implement constant folding so fully removing
dependencies to external MP arithmetic libraries would likely require
a bit more work (if you wish to distribute the MLton compiler itself),
but would be doable as well.

- Vesa Karvonen

On Thu, Jun 12, 2014 at 4:58 PM, Adam Chlipala <[email protected]> wrote:
[...]
> Even better would be to allow MLton to compile code with no dependencies
> on any MP library.  My guess is most MLton-compiled programs don't need
> MP integers, and yet we must carry this one nonstandard linking
> dependency around everywhere.
>
> ------------------------------------------------------------------------------
> HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
> Find What Matters Most in Your Big Data with HPCC Systems
> Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
> Leverages Graph Analysis for Fast Processing & Easy Data Exploration
> http://p.sf.net/sfu/hpccsystems
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user

------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems