diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr | 28 |
1 files changed, 19 insertions, 9 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr index 63f24fa268..e3ff20d973 100644 --- a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr @@ -1,18 +1,28 @@ ExtraTcsUntch.hs:23:18: error: • Couldn't match expected type: F Int - with actual type: [p] + with actual type: [[a0]] • In the first argument of ‘h’, namely ‘[x]’ In the expression: h [x] In an equation for ‘g1’: g1 _ = h [x] • Relevant bindings include - x :: p (bound at ExtraTcsUntch.hs:21:3) - f :: p -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1) + x :: [a0] (bound at ExtraTcsUntch.hs:21:3) + f :: [a0] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1) -ExtraTcsUntch.hs:25:38: error: - • Couldn't match expected type: F Int - with actual type: [[a0]] - The type variable ‘a0’ is ambiguous - • In the first argument of ‘h’, namely ‘[[undefined]]’ - In the expression: h [[undefined]] +ExtraTcsUntch.hs:25:53: error: + • Couldn't match type ‘a0’ with ‘a’ + arising from a functional dependency between: + constraint ‘C [a0] [a]’ arising from a use of ‘op’ + instance ‘C [a1] [a1]’ at ExtraTcsUntch.hs:9:10-18 + because type variable ‘a’ would escape its scope + This (rigid, skolem) type variable is bound by + a pattern with constructor: TEx :: forall a. a -> TEx, + in a case alternative + at ExtraTcsUntch.hs:25:26-30 + • In the expression: op x [y] In the expression: (h [[undefined]], op x [y]) + In a case alternative: TEx y -> (h [[undefined]], op x [y]) + • Relevant bindings include + y :: a (bound at ExtraTcsUntch.hs:25:30) + x :: [a0] (bound at ExtraTcsUntch.hs:21:3) + f :: [a0] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1) |