Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeError is fragile

#11391 · opened Jan 09, 2016 by Ben Gamari 8.0.1 P::high Trac import bug custom type errors error messages typechecker 7
- CLOSED
- 8
updated Jul 07, 2019
Type families, `TypeError`, and `-fdefer-type-errors` cause "opt_univ fell into a hole"

#12104 · opened May 23, 2016 by antalsz 8.2.1 P::high Trac import TypeFamilies bug compiler crash custom type errors 7
- CLOSED
- 11
updated Jul 07, 2019
Can't create injective type family equation with TypeError as the RHS

#12119 · opened May 25, 2016 by Ryan Scott P::normal Trac import TypeFamilies custom type errors feature request injective type families typechecker 5
- CLOSED
- 9
updated Jul 07, 2019
Constraint resolution vs. type family resolution vs. TypeErrors

#12237 · opened Jun 28, 2016 by cactus P::normal Trac import custom type errors feature request 5
- CLOSED
- 3
updated Jul 07, 2019
GHC 8.2.1 regression when combining GND with TypeError (solveDerivEqns: probable loop)

#14339 · opened Oct 10, 2017 by Ryan Scott 8.2.2 P::high Trac import bug compiler crash custom type errors deriving typechecker 7
- CLOSED
- 6
updated Jul 07, 2019
DeriveAnyClass instances may skip TypeError constraints

#15052 · opened Apr 18, 2018 by Daniel Gorín 8.6.1 P::normal Trac import bug custom type errors 5
- CLOSED
- 14
updated Jul 07, 2019
TypeError is reported as "redundant constraint" starting with GHC 8.2

#15232 · opened Jun 05, 2018 by fsoikin 8.6.1 P::normal Trac import bug custom type errors error messages 5
- CLOSED
- 1
updated Jul 07, 2019
Deriving a class via an instance that has a TypeError constraint using standalone deriving fails during compilation.

#16362 · opened Feb 24, 2019 by j9794 P::normal Trac import bug custom type errors 5
- CLOSED
- 7
updated Jul 07, 2019
`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki P::normal Trac import bug custom type errors typechecker 5
- CLOSED
- 2
updated Jul 07, 2019