[GHC] #5624: Delay Errors Until Runtime

[GHC]

#5624: Delay Errors Until Runtime
-------------------------------+--------------------------------------------
  Reporter:  atnnn             |          Owner:  atnnn           
      Type:  feature request   |         Status:  closed          
  Priority:  high              |      Milestone:  7.6.1           
 Component:  Compiler          |        Version:  7.3             
Resolution:  fixed             |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by guest):

 I might be doing something wrong, but does it work in GHCi? The ICFP paper
 says it does, the bug was fixed 7 months ago, but my month old version
 gives

 {{{
 $ ghci -fdefer-type-errors
 GHCi, version 7.5.20120719: http://www.haskell.org/ghc/  :? for help
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 Prelude> fst (True, 'a' && False)

 <interactive>:2:12:
     Couldn't match expected type `Bool' with actual type `Char'
     In the first argument of `(&&)', namely 'a'
     In the expression: 'a' && False
     In the first argument of `fst', namely `(True, 'a' && False)'
 }}}

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