I've now committed a fix for this and included your test in the
regression test suite.
David
On 17/02/2014 11:37, David Matthews wrote:
Hi Lars,
Thanks for reporting this. It looks as though the front-end is
generating incorrect code and the error is coming from the intermediate
code processor. I think I know what is going wrong but I need to
pin-point the actual place. Once I've done that it should be easy to fix.
Best regards,
David
On 14/02/2014 13:35, Lars Noschinski wrote:
Hi everyone,
today I stumbled upon some strange behaviour of PolyML 5.5.1 (the
x86-linux version shipped with Isabelle). The behaviour also occurred
with revision 1874 from the SVN (Sourceforge has problems at the moment,
so I didn't test the most current version).
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
