diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap5.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap5.stderr | 29 |
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 |