ildl-plugin icon indicating copy to clipboard operation
ildl-plugin copied to clipboard

REPL is broken

Open VladUreche opened this issue 8 years ago • 0 comments

$ 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 = ???
     | }

VladUreche avatar Jul 19 '15 15:07 VladUreche