Issues · Glasgow Haskell Compiler / GHC · GitLab

Overzealous free-floating kind check causes deriving clause to be rejected

#14331 · opened Oct 07, 2017 by Ryan Scott 5 Pnormal Trac import bug deriving typechecker
- 68
updated Jan 23, 2020
Stuck type families can lead to lousy error messages

#14319 · opened Oct 04, 2017 by David Feuer 5 Pnormal Trac import TypeFamilies TypeInType bug error messages typechecker
- 7
updated Jan 23, 2020
Inconsistent treatment of implicitly bound kind variables as free-floating

#14198 · opened Sep 08, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- 69
updated Dec 28, 2020
Typeable imposes seemingly redundant constraints on polykinded instances

#14190 · opened Sep 07, 2017 by David Feuer 5 Pnormal Trac import Typeable bug typechecker
- 18
updated Jan 09, 2021
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 5 Pnormal Trac import TypeInType bug levity polymorphism typechecker
- 18
updated Sep 16, 2020
Report an error for a missing class instance before an error for type family instances of an associated type.

#14132 · opened Aug 17, 2017 by Douglas Wilson 5 Pnormal Trac import feature request typechecker
- 8
updated Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes
- 17
updated Jan 23, 2020
Family instance consistency checks happens too early when hs-boot defined type occurs on LHS

#13981 · opened Jul 15, 2017 by Edward Z. Yang 5 Pnormal Trac import bug hs-boot typechecker
- 16
updated Jan 23, 2020
Type family expansion is too lazy, allows accepting of ill-typed terms

#13775 · opened Jun 01, 2017 by fizruk 5 Pnormal Trac import bug custom type errors typechecker
- 11
updated Jul 07, 2019
GHC-8.0.2+ spits out $dm names in error messages

#13755 · opened May 25, 2017 by Zilin Chen 5 Pnormal Trac import bug error messages typechecker
- 6
updated Feb 11, 2020
Variables pretty-printed from -ddump-deriv are not scoped properly

#13748 · opened May 23, 2017 by Ryan Scott 5 Pnormal Trac import bug deriving typechecker
- 0
updated Jul 07, 2019
Code using ConstraintKinds needs explicit kind signature with GHC 8.2.1

#13742 · opened May 22, 2017 by albertov 5 ConstraintKinds Pnormal Trac import bug typechecker
- 13
updated Jul 07, 2019
Spurious untouchable type variable in connection with rank-2 type and constraint family

#13655 · opened May 06, 2017 by Wolfgang Jeltsch 5 Pnormal Trac import bug typechecker
- 13
updated Feb 15, 2021
GHC incorrectly warns that a scoped type variable used in a term's body is unused

#13512 · opened Apr 02, 2017 by Ryan Scott 5 Pnormal Trac import TypeApplications bug error messages typechecker
- 1
- 11
updated Dec 29, 2020
Typeclass resolution errors quite puzzling

#13443 · opened Mar 18, 2017 by tomjaguarpaw 8.6.1 5 Pnormal Trac import error messages feature request typechecker
- 3
updated Jul 07, 2019
Typecheck multiple modules at the same time

#13299 · opened Feb 19, 2017 by Edward Z. Yang 5 Pnormal Trac import feature request hs-boot typechecker
- 2
updated Jul 07, 2019
Failure to resolve type parameter determined by type family

#13295 · opened Feb 18, 2017 by alexvieth 5 Pnormal Trac import bug typechecker
- 4
updated Jul 07, 2019
Source locations from signature merging/matching are bad

#13266 · opened Feb 10, 2017 by Edward Z. Yang 5 Pnormal Trac import backpack bug typechecker
- 0
updated Jul 07, 2019
Perf: Make dep_finsts a map from type family Name to Module

#13252 · opened Feb 09, 2017 by Edward Z. Yang 5 Pnormal Trac import task typechecker
- 1
updated Jul 07, 2019
Must perform family consistency check on non-imported identifiers

#13251 · opened Feb 09, 2017 by Edward Z. Yang 5 Pnormal Trac import TypeFamilies bug typechecker
- 8
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
14
Next