Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Isabelle/Scala is now based on Scala 3

Email Gateway (Jul 06 2022 at 15:17):

From: Makarius <makarius@sketis.net>
* System *

• Isabelle/Scala is now based on Scala 3. This is a completely different
  compiler ("dotty") and a quite different source language (we are using
  the classic Java-style syntax, not the new Python-style syntax).
  Occasional INCOMPATIBILITY, see also the official Scala documentation
  https://docs.scala-lang.org/scala3/guides/migration/compatibility-intro.html

This refers to Isabelle/21164fd15e3d.

The change looks unexciting, but behind it are many weeks / months of
disentangling assumptions about the Scala environment.

Now everything should be clear, and hopefully there are no remaining surprises.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Jul 15 2022 at 23:21 UTC