Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.0+ regression in checking program with higher-rank kinds

#18855 · opened Oct 16, 2020 by Ryan Scott 9.0.1 Phighest PolyKinds RankNTypes backport needed:9.0 bug program incorrectly rejected
- 3
updated Oct 27, 2020
ApplicativeDo breaks compilation with a rank2 let

#17768 · opened Jan 31, 2020 by Kirill Elagin ApplicativeDo Pnormal RankNTypes bug program incorrectly rejected
- 1
- 6
updated Jun 25, 2020
RebindableSyntax with RankNTypes and type class method call yields panic.

#15598 · opened Sep 03, 2018 by Roman Borschel Pnormal RankNTypes RebindableSyntax Trac import bug compiler crash 5
- 4
updated Jun 17, 2020
ghc accepts non-standard type without language extension

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

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

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