Thanks David for the fix.
I just tried it on Macosx. My app now compiles, and runs. Problem solved :-).
Have a nice weekend, Bernard.
On 01/12/2017 19:17, David Matthews wrote:
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.MLWith 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 whilecompiling" raised
The last file simply applies two functors defined in the previous files.
Regards, Bernard.
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml