effekt-lang/effekt-vscode

Example syntax for capture inlay hints setting is outdated

Open

#156 geöffnet am 6. Nov. 2025

Auf GitHub ansehen
 (0 Kommentare) (1 Reaktion) (0 zugewiesene Personen)TypeScript (5 Forks)auto 404
buggood first issue

Repository-Metriken

Stars
 (5 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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