Hi,
This is a bug in the recent changes to the X86 code-generator. I've
been testing some further changes which seem to fix this but they're not
ready to merge into master at the moment.
David
On 03/01/2019 19:30, Gergely Buday wrote:
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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
