commit: ba3f2b3ecf8967410f3498e2835b883601f03967

[log]
author: Kyle Miller <kmill31415@gmail.com>

Fri Nov 22 16:39:58 2024 -0800
committer: GitHub <noreply@github.com>

Sat Nov 23 00:39:58 2024 +0000
tree: e24d7694ae73fbd8cc8088639d6a285cd044b4b5
parent: 4a69643858daddcd495a6c335ae806f06f7ce960 [diff]

fix: make sure `#check id` heeds `pp.raw` (#6181)

This PR fixes a bug where the signature pretty printer would ignore the
current setting of `pp.raw`. This fixes an issue where `#check ident`
would not heed `pp.raw`. Closes #6090.

3 files changed

tree: e24d7694ae73fbd8cc8088639d6a285cd044b4b5

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).