Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.2.1 typechecking regression with RankNTypes, TemplateHaskell, and compound expressions

#21077 · created Feb 14, 2022 by Ryan Scott Phighest RankNTypes Tbug TemplateHaskell program incorrectly rejected typechecker
- 1
- 1
updated Mar 26, 2022
Warn when an equality constraint comes into scope without -XMonoLocalBinds

#20737 · created Nov 24, 2021 by Richard Eisenberg Pnormal RankNTypes Ttask TypeFamilies typechecker
- 2
updated Nov 27, 2021
ApplicativeDo breaks compilation with polymorphic bindings

#17768 · created Jan 31, 2020 by Kirill Elagin ApplicativeDo Pnormal RankNTypes Tbug program incorrectly rejected
- 1
- 8
updated Dec 28, 2021
RebindableSyntax with RankNTypes and type class method call yields panic.

#15598 · created Sep 03, 2018 by Roman Borschel 5 Pnormal RankNTypes RebindableSyntax Tbug Trac import compiler crash
- 4
updated Mar 10, 2022
ghc accepts non-standard type without language extension

#11540 · created Feb 05, 2016 by lennart@augustsson.net 5 Pnormal RankNTypes Tbug Trac import
- 14
updated Jun 02, 2020
Poor type error message when an argument is insufficently polymorphic

#10450 · created May 27, 2015 by sjcjoosten 3 Plow RankNTypes Tbug Trac import error messages typechecker
- 3
updated Jul 07, 2019
Rank 1 type signature still requires RankNTypes

#8346 · created Sep 23, 2013 by Tinctorius 5 Pnormal RankNTypes Tbug Trac import
- 4
updated May 05, 2020