Matthew, Thanks for reporting that. I've installed a fix; well more of a work-around really and your example now compiles. I managed to reduce it a few lines which are now in the regression test suite.
Regards, David
Matthew Fluet wrote:
David,
Poly/ML 5.4 (SVN r1192) gives an InternalError exception on the attached program.
[mtf@graywolf mlton-polyml-bug]$ cat mlton-polyml.use | poly Poly/ML 5.4 Experimental ...
Exception- InternalError: getPolyVars: Unable to get type vars raised while compiling
Exception- Fail "Exception- InternalError: getPolyVars: Unable to get type vars raised while compiling" raised
-Matthew