
#5791: Defer other kinds of errors until runtime, not just type errors ---------------------------------+------------------------------------------ Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.2.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: 5778 | ---------------------------------+------------------------------------------ Description changed by simonpj: Old description:
In #5624 we added `-fdefer-type-errors` to turn type errors into warnings. We can do this for other kinds of errors too, notably out-of- scope errors, and there are plenty more errors that can be deferred by replacing the erroneous subexpression by a call to `error`.
New description: In #5624 we added `-fdefer-type-errors` to turn type errors into warnings. We can do this for other kinds of errors too, notably out-of-scope errors, and there are plenty more errors that can be deferred by replacing the erroneous subexpression by a call to `error`. See also #1341 -- -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5791#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler