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

GHC cvs-ghc at haskell.org
Tue Jan 17 17:57:06 CET 2012


#5791: Defer other kinds of errors until runtime, not just type errors
---------------------------------+------------------------------------------
    Reporter:  simonmar          |       Owner:                  
        Type:  task              |      Status:  new             
    Priority:  normal            |   Milestone:  7.6.1           
   Component:  Compiler          |     Version:  7.2.2           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:  5778              |  
---------------------------------+------------------------------------------
 In #5778 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`.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5791>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the Glasgow-haskell-bugs mailing list