bug report for MLton
Norman Ramsey
nr@eecs.harvard.edu
Fri, 30 Mar 2001 11:22:17 -0500
> 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