GitLab

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 ()

Trac metadata

Trac field	Value
Version	None
Type	Bug
TypeOfFailure	OtherFailure
Priority	high
Resolution	ResolvedFixed
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture