blob: 8708dffa5db4f431ffd7e36a2d3f67d495ade4c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
T3540.hs:4:12:
Predicate used as a type: a ~ Int
In the type signature for `thing':
thing :: a ~ Int
T3540.hs:7:20:
Predicate used as a type: a ~ Int
In the type signature for `thing1':
thing1 :: Int -> (a ~ Int)
T3540.hs:10:13:
Predicate used as a type: a ~ Int
In the type signature for `thing2':
thing2 :: (a ~ Int) -> Int
T3540.hs:13:12:
Predicate used as a type: ?dude :: Int
In the type signature for `thing3':
thing3 :: (?dude :: Int) -> Int
T3540.hs:16:11:
Class `Eq' used as a type
In the type signature for `thing4':
thing4 :: (Eq a) -> Int
|
