diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap6.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap6.stderr | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap6.stderr b/testsuite/tests/indexed-types/should_fail/Overlap6.stderr index b2dc99251f..6ffcda02ce 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap6.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap6.stderr @@ -1,13 +1,14 @@ -Overlap6.hs:15:7: - Couldn't match type ‘x’ with ‘And x 'True’ +Overlap6.hs:15:7: error: + • Couldn't match type ‘x’ with ‘And x 'True’ ‘x’ is a rigid type variable bound by - the type signature for: g :: Proxy x -> Proxy (And x 'True) - at Overlap6.hs:14:6 - Expected type: Proxy (And x 'True) - Actual type: Proxy x - In the expression: x - In an equation for ‘g’: g x = x - Relevant bindings include - x :: Proxy x (bound at Overlap6.hs:15:3) - g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1) + the type signature for: + g :: forall (x :: Bool). Proxy x -> Proxy (And x 'True) + at Overlap6.hs:14:6 + Expected type: Proxy (And x 'True) + Actual type: Proxy x + • In the expression: x + In an equation for ‘g’: g x = x + • Relevant bindings include + x :: Proxy x (bound at Overlap6.hs:15:3) + g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1) |