[ ghc-Bugs-415945 ] monotypes w/ IP broken

[noreply@sourceforge.net]

Bugs item #415945, was updated on 2001-04-13 10:49
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=415945&group_id=8032

Category: Compiler (Type checker)
Group: None
Status: Open
Priority: 7
Submitted By: Jeffrey R. Lewis (lewie)
Assigned to: Nobody/Anonymous (nobody)
Summary: monotypes w/ IP broken

Initial Comment:
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 ()

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=415945&group_id=8032