Skip to content

Upgrade scala version to 3.2.2

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/upgrade-scala-322 into main

Upgraded Scala version to 3.2.2 for builds. For the nightly version we had been using, Metals tags are not available on Maven and so all IDE features refuse to work. This should solve all of that (please).

Tested with internal tests as well as new theorems from #115 .

Unfortunately does not fix our type resolution errors yet #119 , #120 .

Compilation with a newer 3.3.0-RC2 either raises dotty errors or seems to go into an infinite loop somewhere, so settling for a stable version :)

Merge request reports