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
