Makarius, On 19/09/2016 21:15, Makarius wrote:
I am presently testing Poly/ML 38879127481c and Isabelle 9aed2da07200 and ran into a compiler problem in src/Pure/unify.ML:Exception- Fail "Exception- InternalError: chooseReg raised while compiling" raised
I've pushed a fix and it no longer fails here. It appears to finish compiling and then hang.
Regards, David _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml