bug report for MLton

[Norman Ramsey]

 > Maybe this can be done with a structure sharing constraint instead of a wher e?
 > I've been pretty successful using an approach like that in MLton.

Maybe :-(

 > > I'm trying to port some of my SML/NJ code to compile with MLton
 > > as a kind of experiment.  I've already found a bug in MLton, but
 > 
 > What bug did you find in MLton?

No bug in MLton---just a bug in my brain.

I'm  going to ask the NJ guys for a `strict SML'97' compiler flag.

 > We don't plan to to add this construct (or any of the other tens of SML/NJ
 > deviations) to MLton until it becomes part of the standard.
 > 
 > As you can imagine, our view is that the SML/NJ approach of ignoring the
 > standard is good for SML/NJ (for exactly the reasons Matthias mentions), but
    bad
 > for SML.

I'm with you.


N