Opened 9 years ago

Closed 9 years ago

Last modified 6 years ago

#875 closed bug (fixed)

assert fails on HEAD

Reported by: guest Owned by:
Priority: high Milestone: 6.6
Component: Compiler Version: 6.5
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

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)

comment:1 Changed 9 years ago by simonmar

  • Milestone set to 6.6
  • Priority changed from normal to high

comment:2 Changed 9 years ago by igloo

  • Resolution set to fixed
  • Status changed from new to closed

Fixed, thanks (although the example program given is not type correct either - Control.Exception.assert has type Bool -> a -> a ).

Thanks Ian

comment:3 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:5 Changed 6 years ago by simonmar

  • difficulty changed from Easy (1 hr) to Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.