Issues · Glasgow Haskell Compiler / GHC · GitLab

Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs

#17719 · opened Jan 20, 2020 by Richard Eisenberg QuantifiedConstraints typechecker
- 0
updated Jul 14, 2020
checkValidType is defeated by a type synonym

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

#17213 · opened Sep 19, 2019 by Krzysztof Gogolewski 8.10.1 RankNTypes Tbug 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 Tbug broken test typechecker
- CLOSED
- 2
- 1
updated Jul 03, 2020
GeneralizedNewtypeDeriving should not require that constructor be in scope

#17328 · opened Oct 09, 2019 by Richard Eisenberg deriving typechecker
- 9
updated Jul 03, 2020
"overlapping instances" through FunctionalDependencies

#9210 · opened Jun 16, 2014 by rwbarton 5 FunctionalDependencies Pnormal Tbug Trac import typechecker
- 11
updated Jun 30, 2020
GeneralizedNewtypeDeriving produces ambiguously-kinded code

#14579 · opened Dec 13, 2017 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import 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 Tfeature request Trac import plugins typechecker typechecker plugins
- CLOSED
- 12
updated Jun 17, 2020
Outdated commentary in solveNestedImplications?

#18295 · opened Jun 03, 2020 by Richard Eisenberg Ttask documentation typechecker
- 2
updated Jun 04, 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 Tbug Trac import 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 Tbug Trac import deriving typechecker
- CLOSED
- 15
updated May 27, 2020
Panic: piResultTys1 in compiler/types/Type.hs:1022:5

#16127 · opened Jan 04, 2019 by Serge Kosyrev 5 Pnormal Tbug Trac import compiler crash hs-boot typechecker
- 16
updated May 27, 2020
Improve Coercible under foralls

#18220 · opened May 22, 2020 by Simon Peyton Jones typechecker
- 0
updated May 22, 2020
Type synonym lost with GADTs

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal Tbug typechecker
- 1
updated May 18, 2020
Unexpected type application in default declaration

#16356 · opened Feb 22, 2019 by Vladislav Zavialov 5 Pnormal Tbug Trac import 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 Tbug Trac import 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 Tbug Trac import typechecker
- CLOSED
- 23
updated May 05, 2020
Couldn't match kind ‘k1’ with ‘k1’

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

#12969 · opened Dec 13, 2016 by cactus 5 Pnormal RebindableSyntax Tfeature request Trac import typechecker
- CLOSED
- 4
updated May 03, 2020
A cast might get in the way of instantiation

#18062 · opened Apr 15, 2020 by Simon Peyton Jones Pnormal Tbug TypeInType typechecker
- 1
updated Apr 27, 2020

Prev
1
…
5
6
7
8
9
10
11
12
13
…
63
Next