Issues · Glasgow Haskell Compiler / GHC · GitLab

Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · opened Apr 08, 2018 by Edward Z. Yang 8.4.3 5 Pnormal PatternSynonyms Trac import bug error messages pattern match warnings typechecker
- 0
updated Jul 07, 2019
QuantifiedConstraints: Can't be RHS of type family instances

#14968 · opened Mar 24, 2018 by josef 5 Pnormal Trac import bug typechecker
- 1
- 11
updated Jul 07, 2019
QuantifiedConstraints: Can't quantify constraint involving type family

#14860 · opened Feb 27, 2018 by Ryan Scott 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- 33
updated Feb 07, 2020
Typed hole subtitution search fails in the REPL

#14858 · opened Feb 26, 2018 by paf31 8.4.1 5 Pnormal Trac import bug typechecker typed holes
- 1
updated Jul 07, 2019
Keep Role Annotations in the renamed syntax tree

#14772 · opened Feb 07, 2018 by lazac 5 Pnormal Trac import feature request typechecker
- 0
updated Jul 07, 2019
TypeError reported too eagerly

#14771 · opened Feb 07, 2018 by Sylvain Henry 5 Pnormal Trac import bug custom type errors error messages typechecker
- 6
updated Jul 07, 2019
Ordering of declarations can cause typechecking to fail

#14668 · opened Jan 14, 2018 by heptahedron 5 Pnormal Trac import TypeInType bug typechecker
- 7
updated Jul 07, 2019
Untouchable error arises from type equality, but not equivalent program with fundeps

#14570 · opened Dec 10, 2017 by Alexis King 5 Pnormal Trac import bug typechecker
- 4
updated Jul 07, 2019
Abstract pattern synonyms (for hsig and hs-boot)

#14478 · opened Nov 17, 2017 by Edward Z. Yang 5 Pnormal Trac import backpack feature request typechecker
- 4
updated Jul 07, 2019
{-# complete #-} should be able to handle | like {-# minimal #-}

#14423 · opened Nov 05, 2017 by Edward Kmett 5 Pnormal PatternSynonyms Trac import feature request typechecker
- 0
updated Jul 07, 2019
{-# complete #-} should be able to be at least partially type directed

#14422 · opened Nov 05, 2017 by Edward Kmett 5 Pnormal PatternSynonyms Trac import feature request pattern match warnings typechecker
- 2
- 10
updated Jan 05, 2021
Rename AND typecheck types before values

#14340 · opened Oct 11, 2017 by Edward Z. Yang 5 Pnormal Trac import task typechecker
- 0
updated Jul 07, 2019
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

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