commit: 56c95028d0aa516a7126fdb7844eb76c8e5af5ad

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Apr 27 16:37:04 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Apr 27 16:37:49 2024 -0700
tree: b98b0f15d7e74d968ae41b6f003d0e7b837769ee
parent: 7b0d4610b02cbf8430e399590415cc50f75854fd [diff]

fix: `match_expr` parser

closes #3989
closes #3990

src/Lean/Parser/Term.lean[diff]
tests/lean/3989_1.lean[Added - diff]
tests/lean/3989_1.lean.expected.out[Added - diff]
tests/lean/3989_2.lean[Added - diff]
tests/lean/3989_2.lean.expected.out[Added - diff]

5 files changed

tree: b98b0f15d7e74d968ae41b6f003d0e7b837769ee

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.