effekt-lang/effekt-vscode
Auf GitHub ansehenExample syntax for capture inlay hints setting is outdated
Open
#156 geöffnet am 6. Nov. 2025
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