Issues · Glasgow Haskell Compiler / GHC · GitLab

Kind error when using partial type signatures

#18542 · opened Aug 05, 2020 by lennart@augustsson.net 9.2.1 Pnormal bug program incorrectly rejected typechecker
- CLOSED
- 4
updated Aug 06, 2020
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · opened Mar 05, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 27, 2020
Infinite loop during kind inference

#18451 · opened Jul 14, 2020 by Simon Peyton Jones Pnormal bug compiler crash typechecker
- CLOSED
- 1
- 7
updated Jul 27, 2020
Standalone-derived anyclass instances aren't as permissive as empty instances

#13154 · opened Jan 20, 2017 by Ryan Scott 8.10.1 5 Pnormal Trac import bug deriving typechecker
- CLOSED
- 3
- 20
updated Jul 22, 2020
Monotype check for case branches should not recur through arrows

#18412 · opened Jul 01, 2020 by Richard Eisenberg Pnormal RankNTypes bug program incorrectly rejected typechecker
- CLOSED
- 2
updated Jul 20, 2020
Standalone deriving fails for GADTs due to inaccessible code

#8128 · opened Aug 13, 2013 by Adam Gundry 8.6.1 5 Pnormal Trac import bug deriving typechecker
- CLOSED
- 12
updated Jul 17, 2020
Lazy instantiation is incompatible with implicit parameters

#17873 · opened Feb 24, 2020 by Richard Eisenberg ImplicitParams Pnormal bug typechecker
- CLOSED
- 6
updated Jul 15, 2020
checkValidType is defeated by a type synonym

#16059 · opened Dec 17, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 17
updated Jul 14, 2020
Rank-n-types without -XRankNTypes

#17213 · opened Sep 19, 2019 by Krzysztof Gogolewski 8.10.1 RankNTypes bug typechecker
- CLOSED
- 2
- 0
updated Jul 14, 2020
UnliftedNewtypesDifficultUnification broken due to simplified subsumption

#18300 · opened Jun 04, 2020 by Ben Gamari 9.0.1 Phigh broken test bug typechecker
- CLOSED
- 2
- 1
updated Jul 03, 2020
GeneralizedNewtypeDeriving produces ambiguously-kinded code

#14579 · opened Dec 13, 2017 by Ryan Scott 8.10.1 5 Pnormal Trac import bug deriving typechecker
- CLOSED
- 30
updated Jun 28, 2020
Permit empty closed type families

#9840 · opened Nov 27, 2014 by Adam Gundry 8.0.1 5 Pnormal Trac import feature request plugins typechecker typechecker plugins
- CLOSED
- 12
updated Jun 17, 2020
Mutually dependent modules with orphan instances causes missing symbols with single-shot compilation

#14481 · opened Nov 17, 2017 by Ben Gamari 8.4.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
- 6
updated May 28, 2020
Should GND infer an instance context when deriving method-free classes?

#12814 · opened Nov 07, 2016 by Ryan Scott 8.2.1 5 Pnormal Trac import bug deriving typechecker
- CLOSED
- 15
updated May 27, 2020
Unexpected type application in default declaration

#16356 · opened Feb 22, 2019 by Vladislav Zavialov 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
- 3
updated May 05, 2020
GHC internal error: "not in scope during TC but it passed the renamer"

#14498 · opened Nov 21, 2017 by Icelandjack 5 Pnormal ScopedTypeVariables Trac import bug compiler crash typechecker
- CLOSED
- 19
updated May 05, 2020
ScopedTypeVariables with nested foralls broken since 8.0.2

#14288 · opened Sep 27, 2017 by Mikolaj Konarski 8.4.1 5 Pnormal ScopedTypeVariables Trac import bug typechecker
- CLOSED
- 23
updated May 05, 2020
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 2
- 2
updated May 05, 2020
Rebindable enumFrom etc. syntax

#12969 · opened Dec 13, 2016 by cactus 5 Pnormal RebindableSyntax Trac import feature request typechecker
- CLOSED
- 4
updated May 03, 2020
Out-of-date commentary in Tc.Deriv.Infer

#18073 · opened Apr 18, 2020 by Richard Eisenberg deriving task typechecker
- CLOSED
- 2
- 4
updated Apr 23, 2020

Prev
1
2
3
4
5
6
7
8
…
49
Next