Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / T3927b.stderr
1 T3927b.hs:58:5: warning:
2     • Redundant constraint: Restrict op (Implements 'Dealer)
3     • In the type signature for:
4            f :: Restrict op (Implements 'Dealer) =>
5                 SockOp 'Dealer op -> Operation op
6       In an equation for ‘dealer’:
7           dealer
8             = Socket (Proxy :: Proxy Dealer) f
9             where
10                 f ::
11                   Restrict op (Implements Dealer) => SockOp Dealer op -> Operation op
12                 f SRead = undefined
13                 f SWrite = undefined
14
15 T3927b.hs:65:5: warning:
16     • Redundant constraint: Restrict op (Implements 'Push)
17     • In the type signature for:
18            f :: Restrict op (Implements 'Push) =>
19                 SockOp 'Push op -> Operation op
20       In an equation for ‘push’:
21           push
22             = Socket (Proxy :: Proxy Push) f
23             where
24                 f ::
25                   Restrict op (Implements Push) => SockOp Push op -> Operation op
26                 f SWrite = undefined
27
28 T3927b.hs:71:5: warning:
29     • Redundant constraint: Restrict op (Implements 'Pull)
30     • In the type signature for:
31            f :: Restrict op (Implements 'Pull) =>
32                 SockOp 'Pull op -> Operation op
33       In an equation for ‘pull’:
34           pull
35             = Socket (Proxy :: Proxy Pull) f
36             where
37                 f ::
38                   Restrict op (Implements Pull) => SockOp Pull op -> Operation op
39                 f SRead = undefined