Opened 15 years ago

Closed 15 years ago

Last modified 46 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: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


x () = (?wibble :: Int)

y () = x ()


    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 15 years ago by lewie

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