blob: 8f97746510f5a636d34a1058d4c1c6a6f0e683c3 (
plain)
1
2
3
4
5
6
|
SimpleFail15.hs:5:1:
Illegal polymorphic or qualified type: a ~ b => t
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `foo':
foo :: (a, b) -> (a ~ b => t) -> (a, b)
|