Hi, using HEAD version of polyml I got the following error message building HOL:
error in quse /home/gbuday/Desktop/HOL/src/1/TypeBasePure.sml : Fail "Exception- InternalError: Too many passes raised while compiling" The InternalError error message is in this file of polyml: ./mlsource/MLCompiler/COMPILER_BODY.ML: "Exception- InternalError: " ^ String.toString s ^ " raised while compiling" and the exception comes from ./mlsource/MLCompiler/CodeTree/X86Code/X86ICodeTransform.ML: val _ = passes < maxTotalPasses orelse raise InternalError "Too many passes" The error does not occur with the 5.7.1 release. Michael could comment on why TypeBasePure.sml is so special that the error is exhibited here. Large datatypes probably? What is this error? - Gergely
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
