[MLton-devel] MLton HOL

[Stephen Weeks]

> > Great!  Out of curiosity, how big is HOL?
> 
> It's partially machine generated, but what I'm feeding to the MLton
> compiler is this:
> 
> carp:~/hol$ wc selftest.sml
>  300129 1585487 16252175 selftest.sml
> 
> On my Pentium III 600MHz, MLton takes this long:
> 
> MLton finished in 234.04 + 352.29 (60% GC)

Wow.  Much bigger than MLton (118K lines).  And not bad on the compile
time at all (relatively speaking).

> > If you'd like to get access to this feature and do some beta testing
> > for us, I'd be happy to put up a package.
> 
> Yes please. Though I doubt I'll have any more suggestions about the
> feature, I'd be pleased to be a consumer.

What platform and package format do you use?



-------------------------------------------------------
This SF.net email sponsored by: Enterprise Linux Forum Conference & Expo
The Event For Linux Datacenter Solutions & Strategies in The Enterprise 
Linux in the Boardroom; in the Front Office; & in the Server Room 
http://www.enterpriselinuxforum.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel