[GHC] #5791: Defer other kinds of errors until runtime, not just type errors

GHC cvs-ghc at haskell.org
Tue Jan 22 17:46:31 CET 2013


#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



More information about the ghc-tickets mailing list