Issues · Glasgow Haskell Compiler / GHC · GitLab

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
QuantifiedConstraints ignore FunctionalDependencies

#15351 · opened Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal QuantifiedConstraints Tbug Trac import 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 Tbug Trac import typechecker
- 21
updated Sep 18, 2019
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · opened Jun 25, 2018 by cedricshock 3 Plow Tfeature request Trac import generics typechecker
- 3
updated Jul 07, 2019
A more aggressive version of -fprint-expanded-synonyms that prints all type synonyms

#15043 · opened Apr 16, 2018 by Domen Kožar 5 Pnormal Tfeature request Trac import typechecker
- 13
updated Jan 23, 2020
Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · opened Apr 08, 2018 by Edward Z. Yang 8.4.3 5 Pnormal PatternSynonyms Tbug Trac import error messages pattern match warnings typechecker
- 0
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 9.2.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- 12
updated Jan 23, 2021
QuantifiedConstraints: Can't quantify constraint involving type family

#14860 · opened Feb 27, 2018 by Ryan Scott 5 Pnormal QuantifiedConstraints Tbug Trac import 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 Tbug Trac import 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 Tfeature request Trac import typechecker
- 0
updated Jul 07, 2019
TypeError reported too eagerly

#14771 · opened Feb 07, 2018 by Sylvain Henry 5 Pnormal Tbug Trac import custom type errors error messages typechecker
- 6
updated Jul 07, 2019

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