efftp
efftp copied to clipboard
lrytz
``` class C { def m(): Int @pure = 1 } def makeC: C @io = { println("In Factory"); new C } def test = makeC.m() ``` When the effects...
It's probably a bad idea to put the effect on the lazy val type - it's the only place where a value has an effect annotation, and this is exactly...
this makes the plugin run in a loop, at least when building in eclipse ``` class C { @pure @mod(this) private[this] type constructorEffect = Nothing var x = 0 }...
Constructors (almost) always have a `@mod(this)` effect, but since `this` is known to be fresh (unless there are some other effects), that could be masked: ``` @pure class C(x: Int)...
right now, argument types are used as-is for default getters, therefore default getters are impure unless there's an `@pure` annotation: ``` def f(x: Int = 1) def g(x: Int @pure...
MutableList.scala has two local fields which alias each other, similar to the following: ``` class Counter { private var x = 0 def inc(): Int @pure @mod(this) = { x...
``` 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 :5: error: effect type mismatch; found :...
recognize anonymous function expressions as relative effects. all of the following should work (hopefully - or is an explicit parameter type required?): ``` def m(f: Int => Int): Int @pure(f.apply(_))...
``` def foo(f: Int => Int) = new { def bar(x: Int): Int @pure(f.apply(%)) = f(x) } // not yet supported.. has top effect def t2: Any @pure = foo(x...