commit: 2f69034657d0de0ca7dcb732962a4918876df44c

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

Tue Jun 18 22:40:38 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 18 22:40:38 2024 -0700
tree: 9f02b02c5d73fc1ca24fa4a4b108c013b14639fe
parent: bd45c0cd047acb8133aee01e40af5fd75d17c9ff [diff]

fix: global definition shadowing a local one when using dot-notation

closes #3079

src/Lean/Elab/Term.lean[diff]
tests/lean/run/3079.lean[Added - diff]

2 files changed

tree: 9f02b02c5d73fc1ca24fa4a4b108c013b14639fe

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 (documentation source: doc/make/index.md).