David, With that change, I was able to successfully compile MLton with Poly/ML; unfortunately, the PolyML.export-ed executable gives a "Bus error" (on MacOSX (Snow Leopard)). I'll see if I get a different result on Linux and if I can reduce the issue. -Matthew
On Thu, Aug 19, 2010 at 6:00 AM, David Matthews <david.matth...@prolingua.co.uk> wrote: > 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