Issues · Glasgow Haskell Compiler / GHC · GitLab

ApplicativeDo breaks compilation with a rank2 let

#17768 · opened Jan 31, 2020 by Kirill Elagin ApplicativeDo Pnormal RankNTypes Tbug 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 5 Pnormal RankNTypes RebindableSyntax Tbug Trac import compiler crash
- 4
updated Jun 17, 2020
ghc accepts non-standard type without language extension

#11540 · opened 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 · opened 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 · opened Sep 23, 2013 by Tinctorius 5 Pnormal RankNTypes Tbug Trac import
- 4
updated May 05, 2020