Hi, the attached file fails to compile with PolyML versions 5.5.0 or 5.4.1 on a 64bit Linux system.
The error is: Exception- InternalError: gen32s: invalid word raised while compiling It compiles flawlessly with version 5.2.1 on 64bit Linux and also with a 5.4.1 32bit version. Is this bug known? Also it does not seem to be triggered easily: If I make the attached testcase smaller by removing cases, it compiles fine. Regards, René -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 85748 Garching b. München Tel: +49-89-289-17232 Office: MI 03.11.055
Test.sml
Description: application/smil
smime.p7s
Description: S/MIME Kryptografische Unterschrift
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
