Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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 5 Pnormal Trac import bug custom type errors
- 2
updated Jul 07, 2019
Type family expansion is too lazy, allows accepting of ill-typed terms

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

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

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

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

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

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

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

#17027 · opened Aug 05, 2019 by Andreas Klebinger Pnormal 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 2 bug custom type errors info needed
- 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
TypeError and GADT pattern matching exhaustiveness

#18766 · opened Sep 29, 2020 by Ziyang Liu Pnormal bug custom type errors pattern match warnings
- 3
updated Oct 01, 2020
Have custom type errors imply Void

#14983 · opened Mar 29, 2018 by Icelandjack 0 Plow QuantifiedConstraints Trac import custom type errors task
- 3
updated Oct 30, 2020
Way to scrutinize on unsatisfiable constraint

#18310 · opened Jun 08, 2020 by Oleg Grenrus custom type errors feature request
- 13
updated Oct 30, 2020
Allow users to define an error message that is displayed when a constraint can't be solved

#18978 · opened Nov 23, 2020 by sheaf custom type errors error messages feature request
- 1
- 2
updated Nov 26, 2020