#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
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
