Merge requests · Glasgow Haskell Compiler / GHC · GitLab

tcExpr: Push expected types for untyped TH splices inwards

!11057 · created Aug 07, 2023 by Ryan Scott
RankNTypes TemplateHaskell typechecker
- Closed
- 7
- Approved
updated Aug 08, 2023
Draft: Use HsExpanded for untyped TH expression splices

!7574 · created Feb 14, 2022 by Ryan Scott
RankNTypes TemplateHaskell typechecker
- Closed
- 54
updated Aug 02, 2023
Look through untyped TH splices in tcInferAppHead_maybe

!7522 · created Feb 08, 2022 by Ryan Scott 9.2.2
RankNTypes typechecker
- Closed
- 8
- Approved
updated Mar 04, 2022
Clean up the inferred type variable restriction

!3707 · created Jul 16, 2020 by Ryan Scott 9.0.1
DefaultSignatures RankNTypes
- Closed
- 33
- Approved
updated Sep 18, 2020
Make GADT constructors adhere to the forall-or-nothing rule properly

!3337 · created May 23, 2020 by Ryan Scott 9.0.1
GADTs RankNTypes
- Closed
- 49
- Approved
updated Jul 30, 2020
Make isTauTy detect higher-rank contexts

!3201 · created May 03, 2020 by Ryan Scott 9.0.1
ImpredicativeTypes RankNTypes
- Closed
- 8
- Approved
updated May 06, 2020
Enable ImpredicativeTypes internally when typechecking selector bindings

!3030 · created Apr 03, 2020 by Ryan Scott 9.0.1
PatternSynonyms RankNTypes records
- Closed
- 4
- Approved
updated Apr 04, 2020