effekt-lang / effekt-lang/effekt

Confusing error for uninferred type argument

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.