Issues · Glasgow Haskell Compiler / GHC · GitLab

-Wredundant-constraints: False positive

#16154 · opened Jan 09, 2019 by Fumiaki Kinoshita 5 Pnormal Trac import bug 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 Trac import bug 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 Trac import bug 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 Trac import bug typechecker
- 7
updated Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · opened Oct 05, 2018 by regnat 5 Pnormal Trac import bug typechecker
- 2
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 Trac import bug 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 Trac import bug 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 Trac import TypeFamilies bug error messages typechecker
- 11
updated Jan 25, 2021
Higher rank types in pattern synonyms

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

#15351 · opened Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal QuantifiedConstraints Trac import bug typechecker
- 14
updated Dec 03, 2020
QuantifiedConstraints: Implication constraints with type families don't work

#15347 · opened Jul 05, 2018 by aaronvargo 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- 21
updated Sep 18, 2019
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
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
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

Prev
1
2
3
4
5
6
7
…
14
Next