effekt-lang / effekt-lang/effekt

Forward references to effect operations aren't supported

Open
#1,193 4 comments 0 reactions 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.