effekt-lang / effekt-lang/effekt
More warnings about unused effects
Open
area:typer
feature
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
We should consider warning users when an effect is not used. I can think of the following two situations where we might want additional warnings:
```
def foo(): Int / emit[Int] = 42
```
Here we annotated that we use an effect but don't.
```
def bar() = boundary { () }
```
Here we use a "handler function" `boundary` which handles a `stop` effect but don't actually use the handled effect `stop`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.