Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Suppress spurious warnings generated for do-body statements

!12465 · created Apr 18, 2024 by Apoorv Ingle
updated Apr 19, 2024
Pattern Synonym should behave as expected while expanding `do`-blocks

!12257 · created Mar 18, 2024 by Apoorv Ingle
QualifiedDo RebindableSyntax Tbug
- Closed
- 22
- Approved
updated Apr 10, 2024
Draft: Towards killing `GenReason` and Tidying up expansion code

!12080 · created Feb 15, 2024 by Apoorv Ingle
updated Feb 19, 2024
Make applicative do work via expansions

!12066 · created Feb 12, 2024 by Apoorv Ingle
- 18
updated Sep 09, 2024
Enable `mdo`-block and `RecursiveDo` to use HsExpansions instead of `tcSyntaxOp`

!12023 · created Feb 05, 2024 by Apoorv Ingle
RebindableSyntax Ttask
- Closed
- 7
- Approved
updated Feb 08, 2024
Expand `do` blocks before typechecking (towards killing tcSyntaxOp)

!10140 · created Mar 17, 2023 by Apoorv Ingle
- Merged
- 187
- 3
updated Mar 19, 2024
Regression test for #19627

!10095 · created Mar 08, 2023 by Apoorv Ingle
- Closed
- 2
- Approved
updated Mar 09, 2023
Expansion fuel for pending wanted and pending given constraints

!9923 · created Feb 06, 2023 by Apoorv Ingle
- Merged
- 72
- Approved
updated Mar 07, 2023
Draft: Give separate fuel to givens and wanted constraints 0 of 5 checklist items completed

!9888 · created Feb 01, 2023 by Apoorv Ingle
- Closed
- 1
updated Feb 06, 2023
Draft: Sometimes givens need to be given a nudge so that they can catchup with the emited wanteds 0 of 5 checklist items completed

!9423 · created Nov 26, 2022 by Apoorv Ingle
- Closed
- 6
updated Feb 02, 2023
Killing `cc_fundeps` and flip kind coercion orientation in `canEqCanLHSHetero`

!9334 · created Nov 14, 2022 by Apoorv Ingle
- Closed
- 60
updated Nov 29, 2022