Issues · Glasgow Haskell Compiler / GHC · GitLab

A deferred type error inferferes with the monomorphism restriction

#21024 · created Jan 30, 2022 by Richard Eisenberg MonomorphismRestriction Pnormal Tbug deferred type errors typechecker
- 5
updated Feb 03, 2022
Missing module imports could be defered with -fdefer-out-scope-variables?

#20511 · created Oct 13, 2021 by Matthew Pickering Pnormal Tfeature request deferred type errors newcomer
- 1
- 4
updated Oct 19, 2021
Linear types and -fdefer-type-errors

#20083 · created Jul 05, 2021 by Krzysztof Gogolewski LinearTypes Pnormal Tfeature request deferred type errors
- 1
updated Aug 23, 2021
Out-of-scope variables not deferred with type constructors

#19966 · created Jun 08, 2021 by Krzysztof Gogolewski Plow Tbug deferred type errors newcomer
- 1
- 5
updated Jun 11, 2021
RebindableSyntax cannot defer-out-of-scope-variables

#18636 · created Sep 01, 2020 by Richard Eisenberg Pnormal RebindableSyntax Tbug deferred type errors program incorrectly rejected
- 1
- 0
updated Feb 16, 2021
-fdefer-out-of-scope-variables should also defer ambiguous occurrences

#17102 · created Aug 22, 2019 by Chris Smith Tfeature request deferred type errors
- 0
updated Oct 14, 2021
no runtime error for -fdefer-type-errors with TypeError constraint

#16249 · created Jan 28, 2019 by Guillaume Bouchard 5 Pnormal Tbug Trac import custom type errors deferred type errors
- 1
- 3
updated Dec 17, 2021
Error message points to wrong location

#14722 · created Jan 26, 2018 by Icelandjack 5 Pnormal Tfeature request Trac import deferred type errors error messages
- 2
updated Aug 31, 2021
improve documentation of -fdefer-typed-holes for naked expressions in ghci

#14370 · created Oct 18, 2017 by Bertram Felgenhauer 5 Pnormal Tbug Ttask Trac import deferred type errors documentation error messages
- 5
updated Jul 07, 2019
Overeager deferred type errors

#11197 · created Dec 11, 2015 by Richard Eisenberg 5 Pnormal Tbug Trac import deferred type errors
- 19
updated Aug 12, 2021
Location in -fdefer-type-errors

#7668 · created Feb 06, 2013 by Krzysztof Gogolewski 8.0.1 5 Pnormal Tbug Trac import deferred type errors typechecker
- 6
updated Sep 25, 2020