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.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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
