Issues · Glasgow Haskell Compiler / GHC · GitLab

Multiple occurrences of the same polykinded type don't unify

#16675 · opened May 20, 2019 by Christopher Rodrigues Tquestion documentation typechecker
- 11
updated May 31, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov Tbug TypeInType typechecker
- 1
- 22
updated Sep 25, 2019
Trouble resolving Typeable 'LiftedRep

#16627 · opened May 03, 2019 by David Feuer Tbug Typeable typechecker
- 11
updated Jan 08, 2021
Pattern matching breaks injective type families

#16436 · opened Mar 14, 2019 by Vladislav Zavialov injective type families typechecker
- 7
updated Dec 21, 2019
Inconsistent results with inaccessible code due to (~) vs. (~~)

#16422 · opened Mar 11, 2019 by Ryan Scott 5 Pnormal typechecker
- 5
updated Mar 19, 2021
Cannot deduce constraint from itself with poly-kinded type family

#16374 · opened Mar 01, 2019 by roland 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jul 07, 2019
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · opened Feb 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import typechecker visible dependent quantification
- 4
updated Nov 09, 2020
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry 5 OverloadedRecordFields Pnormal Tfeature request Trac import ghc proposal records typechecker
- 5
updated Feb 28, 2021
-Wredundant-constraints: False positive

#16154 · opened Jan 09, 2019 by Fumiaki Kinoshita 5 Pnormal Tbug Trac import error messages typechecker
- 7
updated Jul 07, 2019
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
Missing associated type instance not reported with error

#16115 · opened Dec 31, 2018 by David Feuer 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jan 23, 2020
Adding extra quantified constraints leads to resolution failure

#15989 · opened Dec 02, 2018 by eror 8.6.3 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · opened Oct 05, 2018 by regnat 5 Pnormal Tbug Trac import typechecker
- 2
updated Jul 07, 2019
More liberally kinded coercions for newtypes

#15707 · opened Oct 05, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import roles typechecker
- 5
updated Jul 07, 2019
Provide the provenance of unification variables in error messages when possible

#15678 · opened Sep 26, 2018 by Ryan Scott 9.2.1 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jan 25, 2021
Surprising failure combining QuantifiedConstraints with Coercible

#15639 · opened Sep 13, 2018 by David Feuer 8.6.1 5 Pnormal Tbug Trac import typechecker
- 10
updated Jul 07, 2019
Error message involving type families points to wrong location

#15621 · opened Sep 08, 2018 by Ryan Scott 9.2.1 5 Pnormal Tbug Trac import TypeFamilies error messages typechecker
- 11
updated Jan 25, 2021
When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!

#15596 · opened Sep 03, 2018 by kindaro 9.2.1 5 Pnormal Tfeature request Trac import TypeApplications error messages typechecker
- 3
updated Jan 25, 2021
Reduce type families in equations' RHS when testing equation compatibility

#15557 · opened Aug 22, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import TypeFamilies typechecker
- 7
updated Jul 07, 2019
Higher rank types in pattern synonyms

#15416 · opened Jul 19, 2018 by mniip 9.2.1 5 Pnormal PatternSynonyms Tbug Trac import typechecker
- 4
updated Jan 23, 2021

Prev
1
2
3
4
5
6
7
8
9
…
14
Next