effekt-lang / effekt-lang/effekt

Method call to known object should have been reduced

Open
#905 0 comments 0 reactions 0 assignees View on GitHub
area:llvm bug
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

Consider the following program

``` scala
interface Buffer[T] {
def free(): Bool
}

def main() = {
new Buffer[Int] {
def free() = false
}.free()
()
}
```

This results in the following problem in optimized as well as unoptimized LLVM

```
PlainTextError(Method call to known object should have been reduced,None,Error)
```

Also, didn't we want to eliminate PlainTextError?

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.