effekt-lang / effekt-lang/effekt-vscode

Example syntax for capture inlay hints setting is outdated

Open
#156 0 comments 1 reaction 0 assignees View on GitHub
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:

Image

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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.