Issues · Glasgow Haskell Compiler / GHC · GitLab

SPECIALISE instance pragmas allow nested `forall`s/contexts

#18455 · opened Jul 14, 2020 by Ryan Scott 9.0.1 RankNTypes backport needed:9.0 bug
- 3
- 5
updated Jul 30, 2020
Inferred type variable check is defeated by nested foralls

#18432 · opened Jul 07, 2020 by Ryan Scott 9.0.1 DefaultSignatures RankNTypes backport needed:9.0 bug
- 3
- 17
updated Jul 30, 2020
Regression with PartialTypeSignatures in 8.10

#18008 · opened Apr 03, 2020 by Adam Sandberg Eriksson 8.10.2 Phighest RankNTypes backport needed:8.10 bug partial type sigs
- 2
- 5
updated Aug 06, 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
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott Pnormal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- 1
- 5
updated Aug 11, 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