Purity Domain fails in REPL
Opened this issue · 0 comments
lrytz commented
scala> lamppc11:scala-2.10 luc$ ~/scala/scala-2.10.1/bin/scala -cp effects-plugin_2.10-0.1-SNAPSHOT.jar -Xplugin:effects-plugin_2.10-0.1-SNAPSHOT.jar -P:effects:domains:purity
Welcome to Scala version 2.10.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_45).
scala> 1
<console>:5: error: effect type mismatch;
found : @mod($eval.this) @loc(any)
required: @mod() @loc(any)
@mod($eval.this) does not conform to @mod()
lazy val $result = `res0`
^