Issues · Glasgow Haskell Compiler / GHC · GitLab

Have custom type errors imply Void

#14983 · opened Mar 29, 2018 by Icelandjack P::low QuantifiedConstraints Trac import custom type errors task 0
- 2
updated Jul 07, 2019
TypeError reported too eagerly

#14771 · opened Feb 07, 2018 by Sylvain Henry P::normal Trac import bug custom type errors error messages typechecker 5
- 6
updated Jul 07, 2019
Custom type errors don't trigger when matching on a GADT constructor with an error in the constraint

#14141 · opened Aug 21, 2017 by Darwin226 P::normal Trac import bug custom type errors 5
- 2
updated Jul 07, 2019
Type family expansion is too lazy, allows accepting of ill-typed terms

#13775 · opened Jun 01, 2017 by fizruk P::normal Trac import bug custom type errors typechecker 5
- 11
updated Jul 07, 2019
`OverloadedStrings` for types

#12049 · opened May 12, 2016 by Icelandjack P::normal Trac import custom type errors feature request 5
- 1
- 0
updated Jul 07, 2019
Allow CustomTypeErrors in type synonyms (+ evaluate nested type family?)

#12048 · opened May 12, 2016 by Icelandjack P::normal Trac import custom type errors feature request 5
- 5
updated Jul 07, 2019
Custom message when showing functions, comparing functions, ...

#11967 · opened Apr 22, 2016 by Icelandjack P::normal Trac import core libraries custom type errors feature request 5
- 3
updated Jul 07, 2019
Incorrect warning about redundant constraints

#11099 · opened Nov 17, 2015 by Iavor S. Diatchki P::normal Trac import bug custom type errors typechecker 5
- 5
updated Jul 07, 2019
TypeError woes (incl. pattern match checker)

#11503 · opened Jan 28, 2016 by Richard Eisenberg P::normal Trac import bug custom type errors error messages 5
- 8
updated Jan 23, 2020
TypeError hides a second error message

#16894 · opened Jul 02, 2019 by Joey Hess P::normal bug custom type errors error messages typechecker user-facing 5
- 2
updated Jan 23, 2020
User defined Type Warnings

#17027 · opened Aug 05, 2019 by Andreas Klebinger P::normal custom type errors feature request
- 4
- 2
updated Jan 23, 2020
Custom type errors in default signatures are reported over-eagerly

#16906 · opened Jul 04, 2019 by Artyom Kazak bug custom type errors info needed 2
- 1
- 9
updated Jan 23, 2020
Custom TypeError should include "arising from" clause

#17168 · opened Sep 08, 2019 by Adam Gundry custom type errors error messages feature request
- 1
updated Jan 23, 2020