ildl-plugin
ildl-plugin copied to clipboard
REPL is broken
$ ildl-scala
Welcome to Scala version 2.11.6-20150224-172222-092690e7bf (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_80).
Type in expressions to have them evaluated.
Type :help for more information.
scala> import ildl._
import ildl._
scala> object ID extends TransformationDescription {
| def toRepr(long: Long): Long @high = long
| def toHigh(long: Long @high): Long = long
| }
defined object ID
scala> adrt(ID) {
| def foo(l: Long): Long = l
| }
<console>:13: error: not found: value l
def foo(l: Long): Long = l
^
scala> adrt(ID) {
| def foo(lg: Long): Long = ???
| }