commit: 0e4caf36a2bd5da060d0e04ca40191180b10eb18

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

Fri Jun 21 11:42:12 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jun 21 11:54:08 2024 -0700
tree: bccef9ca936e0b7d67504a82c81364594d537338
parent: 357b52928f905bfb85a3496e411cf12fa20e730c [diff]

fix: cached results at `synthInstance?`

Synthesized type class instances may introduce new metavariables,
and we should actually cache `AbstractMVarsResult`.

closes #2283

5 files changed

tree: bccef9ca936e0b7d67504a82c81364594d537338

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