Thanks. It was a code-generator problem that only showed up because of
a change elsewhere. It should now be fixed.
David
On 14/12/2017 13:17, Kostirya wrote:
Hello.
Poly/ML broken on FreeBSD i386 (clang version 3.8.0).
./polyimport polytemp.txt -I . < ./exportPoly.sml
Use:
Hello.
Poly/ML broken on FreeBSD i386 (clang version 3.8.0).
./polyimport polytemp.txt -I . < ./exportPoly.sml
Use: basis/build.sml
...
Use: basis/FinalPolyML.sml
Exception- InternalError: Too many passes raised while compiling
The error appeared due to
commit
