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.
[...@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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
