"src/main/scala/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "27f248f5e89ebc178e0be62ad1f73df58bc06786"
-
Etienne Kneuss authored
1) run's prototype follows apply's prototype: (ctx, v) instead of (ctx)(v) 2) run() returns a possibly updated context. SimpleLeonPhase defines apply and returns the same context.
Etienne Kneuss authored1) run's prototype follows apply's prototype: (ctx, v) instead of (ctx)(v) 2) run() returns a possibly updated context. SimpleLeonPhase defines apply and returns the same context.