effekt-lang / effekt-lang/effekt

More warnings about unused effects

Open
#735 1 comment 1 reaction 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.