blob: f4e0c471d6b6ab13ac8fe0c5ec4bb21a88d30470 (
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
26
27
28
29
30
31
32
33
34
35
|
T4426.hs:6:12: Warning:
Variable ‘m’ is implicitly quantified due to a context
Use explicit forall syntax instead.
This will become an error in GHC 7.12.
In the type ‘Monad m => a -> m a’
In the declaration for type synonym ‘F’
T4426.hs:8:15: Warning:
Variable ‘b’ is implicitly quantified due to a context
Use explicit forall syntax instead.
This will become an error in GHC 7.12.
In the type ‘Eq b => a -> b’
In the definition of data constructor ‘X’
T4426.hs:10:21: Warning:
Variable ‘b’ is implicitly quantified due to a context
Use explicit forall syntax instead.
This will become an error in GHC 7.12.
In the type ‘Eq b => a -> b -> c’
In the definition of data constructor ‘Y’
T4426.hs:10:21: Warning:
Variable ‘c’ is implicitly quantified due to a context
Use explicit forall syntax instead.
This will become an error in GHC 7.12.
In the type ‘Eq b => a -> b -> c’
In the definition of data constructor ‘Y’
T4426.hs:12:17: Warning:
Variable ‘m’ is implicitly quantified due to a context
Use explicit forall syntax instead.
This will become an error in GHC 7.12.
In the type ‘Monad m => m b’
In the type signature for ‘f’
|
