[isabelle-dev] isabelle test failures

[Lukas Bulwahn]

Hi all,


the latest failures of the isabelle test of the form:

/tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX:
     Conflicting definitions for `ad'
     Bound at: /tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX-XX
               /tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX-XX
     In a case alternative


causing quickcheck to fail in ex/Tree23.thy is not related to any modifications in quickcheck, but is probably related to some recent changes in the code generator or some setup on macbroy21.


Lukas