Upgrade to Scala 3.3.1 - Githubissues

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Upgrade to Scala 3.3.1 #197

Closed sankalpgambhir closed 10 months ago

sankalpgambhir commented 10 months ago

As filed in CHANGES.md:

Upgrade to Scala 3.3.1

the Proof class has been temporarily unsealed, till dotty #19031 / lisa #190 is fixed (not linked here to avoid spamming everyone on those issues)
minor fixes to address compilation errors, mostly involving explicitly specifying types or implicits in some places.

sankalpgambhir commented 10 months ago

Oh also fixes #188 probably as I was playing with that for my exam question. This is done somewhat shadily with a merge strategy that discards duplicates whose source I am unsure of.

sankalpgambhir commented 10 months ago

PS: I did attempt to add @unchecked to the relevant pattern match isntead of unsealing, but that leads to the same compiler crash.