summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/Overlap5.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap5.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/Overlap5.stderr29
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr
new file mode 100644
index 0000000000..329d410fdb
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr
@@ -0,0 +1,29 @@
+
+Overlap5.hs:16:7:
+ Couldn't match type `x' with `And x 'True'
+ `x' is a rigid type variable bound by
+ the type signature for
+ g :: Proxy Bool x -> Proxy Bool (And x 'True)
+ at Overlap5.hs:15:6
+ Expected type: Proxy Bool (And x 'True)
+ Actual type: Proxy Bool x
+ Relevant bindings include
+ g :: Proxy Bool x -> Proxy Bool (And x 'True)
+ (bound at Overlap5.hs:16:1)
+ x :: Proxy Bool x (bound at Overlap5.hs:16:3)
+ In the expression: x
+ In an equation for `g': g x = x
+
+Overlap5.hs:19:7:
+ Couldn't match type `x' with `And x x'
+ `x' is a rigid type variable bound by
+ the type signature for h :: Proxy Bool x -> Proxy Bool (And x x)
+ at Overlap5.hs:18:6
+ Expected type: Proxy Bool (And x x)
+ Actual type: Proxy Bool x
+ Relevant bindings include
+ h :: Proxy Bool x -> Proxy Bool (And x x)
+ (bound at Overlap5.hs:19:1)
+ x :: Proxy Bool x (bound at Overlap5.hs:19:3)
+ In the expression: x
+ In an equation for `h': h x = x