summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/T3927b.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T3927b.stderr')
-rw-r--r--testsuite/tests/pmcheck/should_compile/T3927b.stderr39
1 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T3927b.stderr b/testsuite/tests/pmcheck/should_compile/T3927b.stderr
new file mode 100644
index 0000000000..fb4449ced9
--- /dev/null
+++ b/testsuite/tests/pmcheck/should_compile/T3927b.stderr
@@ -0,0 +1,39 @@
+T3927b.hs:58:5: warning:
+ • Redundant constraint: Restrict op (Implements 'Dealer)
+ • In the type signature for:
+ f :: Restrict op (Implements 'Dealer) =>
+ SockOp 'Dealer op -> Operation op
+ In an equation for ‘dealer’:
+ dealer
+ = Socket (Proxy :: Proxy Dealer) f
+ where
+ f ::
+ Restrict op (Implements Dealer) => SockOp Dealer op -> Operation op
+ f SRead = undefined
+ f SWrite = undefined
+
+T3927b.hs:65:5: warning:
+ • Redundant constraint: Restrict op (Implements 'Push)
+ • In the type signature for:
+ f :: Restrict op (Implements 'Push) =>
+ SockOp 'Push op -> Operation op
+ In an equation for ‘push’:
+ push
+ = Socket (Proxy :: Proxy Push) f
+ where
+ f ::
+ Restrict op (Implements Push) => SockOp Push op -> Operation op
+ f SWrite = undefined
+
+T3927b.hs:71:5: warning:
+ • Redundant constraint: Restrict op (Implements 'Pull)
+ • In the type signature for:
+ f :: Restrict op (Implements 'Pull) =>
+ SockOp 'Pull op -> Operation op
+ In an equation for ‘pull’:
+ pull
+ = Socket (Proxy :: Proxy Pull) f
+ where
+ f ::
+ Restrict op (Implements Pull) => SockOp Pull op -> Operation op
+ f SRead = undefined