effekt-lang / effekt-lang/effekt
Confusing error for uninferred type argument
Open
errormessage
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
I am running the following in the playground REPL:
```
panic("hi")
```
The error I get is very unclear:
```
[error] interactive.effekt:7:14: Cannot infer type argument R, maybe consider annotating it?
[error] module1.effekt:7:14: Cannot infer type argument R, maybe consider annotating it?
```
I don't know where `R` comes from. I thought maybe `panic` could be polymorphic, but explicit type arguments don't work:
```
panic[String]("hi")
```
and annotating in the obvious way doesn't parse
```
panic("hi"): String
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.