Local binding hints (WIP)#4610

Draft

cassandracomar wants to merge 35 commits intohaskell:masterfrom

cassandracomar:local-binding-hints

Commits on Jun 17, 2022

Add sig lens for where clauses
July541
committed

Commits on Jun 19, 2022

Compat
July541
committed

Commits on Jun 20, 2022

Golden tests
July541
committed

Commits on Jun 24, 2022

Merge branch 'master' into local-binding-type-lens
pepeiborra
authored

Commits on Dec 11, 2022

Merge branch 'master' into local-binding-type-lens
July541
committed

Commits on Jul 27, 2024

Merge remote-tracking branch 'upstream/master' into inlay-hints-local-binding
jetjinser
committed

Commits on Jul 30, 2024

Provide where sigs in inlay hints
jetjinser
committed

Commits on Jul 31, 2024

Commits on Aug 1, 2024

Commits on Aug 16, 2024

Apply suggestions from code review

jetjinser
and
fendor
authored

Commits on Aug 18, 2024

refactor: rewrite where bindings sig as Rules
jetjinser
committed

Commits on Aug 21, 2024

Merge remote-tracking branch 'upstream/master' into inlay-hints-local-binding
jetjinser
committed

Commits on Sep 2, 2024

Commits on Sep 12, 2024

Merge remote-tracking branch 'upstream/master' into inlay-hints-local-binding
jetjinser
committed

Commits on Jun 3, 2025

Merge remote-tracking branch 'jetjinser/inlay-hints-local-binding' into local-binding-hints
Cassandra Comar
committed
fix broken explicit export tests
Cassandra Comar
committed
allow either code lens or inlay hints for local binds
Cassandra Comar
committed
default inlay hints to False
Cassandra Comar
committed

Commits on Jun 12, 2025

Merge remote-tracking branch 'origin/master' into local-binding-hints
Cassandra Comar
committed