17 Feb
2014
17 Feb
'14
12:59 p.m.
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).