Skip to content

REPL is broken #5

Description

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions