GitLab

x () = y where y = ?wibble

Yields:

    Could not deduce `?wibble :: t' from the context ()
    Probable fix:
	Add `?wibble :: t' to the banding(s) for {y}
	Or add an instance declaration for `?wibble :: t'
    arising from use of implicit parameter `?wibble' at
T.hs:16
    in the definition of function `y': wibble

What, by the way, is a `banding'?

Trac metadata

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