search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.53k stars 380 forks source link

Bad semantic highlighting on lambda with parenthesis #3279

Open buzden opened 6 months ago

buzden commented 6 months ago

Steps to Reproduce

Typecheck the following code

import Data.DPair

f : Exists List -> Unit
f = \(Evidence _ _) => ()

in an editor with semantic highlighting or use katla to generate semantically highlighted html.

Expected Behavior

Parenthesis are not highlighted specially or highlighted as a keyword.

Observed Behavior

Opening parenthesis is highlighted as a type constructor, e.g.

b (here dark blue is for type constructors).