[MLton-devel] Re: Twelf benchmark

[Stephen Weeks]

> This reminds me: how did you get it to run in MLton?  I believe there
> is a deviation from the standard in that we allow sharing between
> structures whose signature has a type-level definition.  As far as
> I recall, this is not in the standard...

Yeah, MLton doesn't have a proper type checker yet, and so accepts
many nonstandard programs.  We assume you've run your program through
a proper typechecker first.

I was thinking about patching your code so I could compile it with
Poly/ML.  It's usually not too difficult to replace type definitions
with datatypes, which can be shared.


-------------------------------------------------------
This sf.net email is sponsored by:
With Great Power, Comes Great Responsibility 
Learn to use your power at OSDN's High Performance Computing Channel
http://hpc.devchannel.org/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel