Migrate Stainless to scala 3.5

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

359 stars 53 forks source link

Migrate Stainless to scala 3.5 #1561

Closed samuelchassot closed 3 months ago

samuelchassot commented 3 months ago

A lot of the changes have been performed using the option "-source:3.4-migration", "-rewrite" of the compiler.

samuelchassot commented 3 months ago

An interesting point: https://github.com/scala/scala3/commit/125321e157af0e12cfddeeea526a5e87166fcd65 TL;DR dotty.tools.dotc.transform.SymUtils does not exist anymore, it is now an extension of Symbol directly

samuelchassot commented 3 months ago

Also the init method of StandardPlugin (for compiler plugin) has been deprecated: https://github.com/scala/scala3/issues/20185 It has been replaced by initialize that takes a context as parameter to be able to report errors.

samuelchassot commented 3 months ago

WIP but I want to see the result of CI

samuelchassot commented 3 months ago

Tests are passing locally.