Re: [isabelle] Isabelle2015-RC0 available for testing

Dear Makarius,

  export_code "gcd::intâintâint" in SML

fails in Isabelle2015-RC0, with message:

Dependency "int" :: "semiring_div_parity" -> "int" :: "semiring_parity" would result in module dependency cycle

while it works fine in Isabelle2014.


On 2015-04-11 20:49, Makarius wrote:
Dear Isabelle users,

we are heading towards Isabelle2015, hopefully to appear at the end of
May 2015. To get started with public testing of release candidates
there is now

RC0 is still relatively early in the process: the website has no
content yet, and some documentation is not yet updated.  The NEWS file
is already ready for inspection (using the tree-view of Sidekick).

Any problems, observations etc. can be discussed here on the mailing
list. Quite often a change of behaviour is perceived as a problem, and
sometimes it is one, sometimes not.  In any case, open discussion
helps to figure out what is potentially confusing to users.


Wenda Li
PhD Candidate
Computer Laboratory
University of Cambridge

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.