[MLton] free type variables in datatype decs
Andreas Rossberg
AndreasRossberg@web.de
Fri, 4 Feb 2005 22:11:43 +0100
Claudio,
man, such a vicious example, half an our after I made a release. You did
that on purpose... :-)
Of course, Hamlet incorrectly rejects
fn r => let datatype t = C in r := C end
And frankly, I have no clue how one could possibly implement this detail of
scoping accurately without resorting to a second pass. I very much feel like
considering this a practical bug on side of the Definition...
- Andreas