commit: b8c850eff2bd9b89741134d6e189c85567d449bc

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

Wed Feb 28 18:08:01 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 28 18:08:01 2024 -0800
tree: 9c4cc75a3849b3d2bc31920e5e1950ca037d3436
parent: 69e33efa2f9a260119c97d64a29a4e41e7c1c4b7 [diff]

fix: match-expression when patterns cover all cases of a `BitVec` finite type

src/Lean/Meta/Match/Match.lean[diff]
tests/lean/run/match_lit_fin_cover.lean[Added - diff]

2 files changed

tree: 9c4cc75a3849b3d2bc31920e5e1950ca037d3436

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.