Hi all, when testing polyml-test-7a7b742897e9 I found out that this breaks session Algebraic_Numbers in the AFP:
*** At command "value" (line 42 of "/mnt/home/haftmann/data/tum/afp/devel/thys/Algebraic_Numbers/Algebraic_Number_Tests.thy") *** exception Div raised (line 302 of "./basis/InitialBasis.ML") It looks like a change in the semantics of integer division in PolyML, but this is entirely speculative. The corresponding HG ids are near Isabelle: 3d4331b65861 AFP: 74c0b7f55fa2 Florian -- PGP available: http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev