Opened 13 years ago

Closed 13 years ago

Last modified 44 years ago

#533 closed bug (Fixed)

monotypes w/ IP broken

Reported by: lewie Owned by: nobody
Priority: high Milestone:
Component: Compiler (Type checker) Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

x () = (?wibble :: Int)

y () = x ()

yields:

    Couldn't match `{?wibble :: Int}' against `()'
	Expected type: {?wibble :: Int}
	Inferred type: ()
    In the first argument of `x', namely `()'
    in the definition of function `y': x ()

Change History (1)

comment:1 Changed 13 years ago by lewie

  • Status changed from assigned to closed
Note: See TracTickets for help on using tickets.