search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

An inconsistency in highlighting #11

Closed fredrik-bakke closed 7 months ago

fredrik-bakke commented 1 year ago

In the following two equivalent definitions, one has ∑ highlighted as variable.parameter.rzk while the other has it highlighted as entity.name.type.rzk.

image

Presumably, the highlighter matches the opening parenthesis and thinks it's matching a parameter declaration (x : A) or something like this. If this is the case, then the issue can be resolved for one-liners with a recursive pattern.

fizruk commented 1 year ago

I wonder if it makes sense to fix this (and #10) or wait for the proper semantic highlighting.

fredrik-bakke commented 1 year ago

Understandable. Would you mind publishing the current version then? I would personally benefit from having parentheses rainbow-highlighted and the proper keybinding for commenting code at the very least 😅

fizruk commented 1 year ago

Absolutely, release is on the way!

fizruk commented 1 year ago

Should be fixed with semantic highlighting now (works on my machine).