Skip to content

let-binds within lets are misparsed #3

@gebner

Description

@gebner
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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions