effekt-lang / effekt-lang/effekt-vscode
Example syntax for capture inlay hints setting is outdated
Open
bug
good first issue
- Dominant language
- TypeScript
- Stars
- 5
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Captures example in Effekt VSCode settings uses the following outdated syntax:
The current syntax is (where `'` is used to indicate the inlay hint part, the real syntax is unquoted - better ideas welcome):
```
def main() 'at {io}': Unit = println("Hello Effekt!")
```
The following part of `package.json` needs to be adjusted: https://github.com/effekt-lang/effekt-vscode/blob/master/package.json#L153
Contributor guide
Assessment
This issue has not been assessed yet.