[MLton-devel] Re: Twelf benchmark

[Frank Pfenning]

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...

  - Frank


-------------------------------------------------------
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