Hi Bernard, Thanks for sending me that. I've committed a fix to Git master (6af4a34) which seems to fix it. This is a fix to the compiler so will need make compiler to rebuild the compiler. It's very simple so may be a candidate for the fixes branch once it's been tested a bit more widely.
Regards, David
On 30/11/2017 14:11, Bernard Berthomieu wrote:
Hello David,
Many thanks for you help.
I could isolate the part of my code in which the failure is raised. To reproduce the problem, unpack the archive attached then type:
??? cd src_bb ??? poly < build.ML
With release aa3b02654b38ad3faadc60c5960702cba6be87df or older, all files in build.ML are loaded successfully.
With current 5.7.1, compiling the last file fails and it prints:
??? Exception- InternalError: asGenReg raised while compiling
??? Exception- Fail "Exception- InternalError: asGenReg raised while compiling" ??? ?? raised
The last file simply applies two functors defined in the previous files.
Regards, ? Bernard.