assert fails on HEAD
Example of failure
[andy@thunderegg should_run]$ cat dsrun014.hs
module Main where
import Control.Exception ( assert )
main = assert "Hello" True $ print "World"
[andy@thunderegg should_run]$ $GHC66 dsrun014.hs
dsrun014.hs:5:7:
Couldn't match expected type `GHC.Prim.Addr#'
against inferred type `[Char]'
In the first argument of `GHC.Err.assertError', namely
`"dsrun014.hs:5:7-12"'
In the call (GHC.Err.assertError "dsrun014.hs:5:7-12" "Hello" True)
In the first argument of `($)', namely
`GHC.Err.assertError "dsrun014.hs:5:7-12" "Hello" True'
Change History (5)
Milestone: |
→ 6.6
|
Priority: |
normal →
high
|
Resolution: |
→ fixed
|
Status: |
new →
closed
|
Architecture: |
Unknown →
Unknown/Multiple
|
Operating System: |
Unknown →
Unknown/Multiple
|
difficulty: |
Easy (1 hr) →
Easy (less than 1 hour)
|
Fixed, thanks (although the example program given is not type correct either - Control.Exception.assert has type
Bool -> a -> a
).Thanks Ian