[polyml] PolyML sources [InternalError: asGenReg raised while compiling]

[David Matthews]

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

Hello David,
Many thanks for you help.
I could isolate the part of my code in which the failure is raised.
    cd src_bb
    poly < build.ML
With release aa3b02654b38ad3faadc60c5960702cba6be87df or older,
all files in build.ML are loaded successfully.
    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.

[Bernard Berthomieu]

Thanks David for the fix.

I just tried it on Macosx. My app now compiles, and runs.
Problem solved :-).

Have a nice weekend,
Bernard.

Post by David Matthews
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

Hello David,
Many thanks for you help.
I could isolate the part of my code in which the failure is raised.
cd src_bb
poly < build.ML
With release aa3b02654b38ad3faadc60c5960702cba6be87df or older,
all files in build.ML are loaded successfully.
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
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml