search

Julian / tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover
MIT License
28 stars 5 forks source link

`let-bind`s within `let`s are misparsed #3

Open gebner opened 3 years ago

gebner commented 3 years ago 
def d : OptionM Nat := do
  let a := (← some 1)
  let b ← none
  let c := (← none) + 2  -- this let is not highlighted, the others well
  pure b