effekt-lang / effekt-lang/effekt
Forward references to effect operations aren't supported
Open
errormessage
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
This happens when using an effect (and has a somewhat confusing error message):
```effekt
def test() = {
def f: Foo = <>
f.foo() // Cannot resolve operation foo, called on a receiver that is a computation.
}
interface Foo {
def foo(): Unit
}
```
or implementing one:
```
def test() = {
val f = new Foo {
def foo() = <> // Operation foo is not part of interface Foo.
}
}
interface Foo {
def foo(): Unit
}
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.