diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330a.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330a.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330a.stderr b/testsuite/tests/indexed-types/should_fail/T3330a.stderr index 220eb522ba..2d6482baa4 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330a.stderr @@ -9,9 +9,9 @@ T3330a.hs:19:34: -> r ix1 -> Writer [AnyF s] (r'0 ix1) Actual type: s ix Relevant bindings include - children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) + p :: s ix (bound at T3330a.hs:19:10) + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) In the first argument of ‛hmapM’, namely ‛p’ In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ @@ -24,9 +24,9 @@ T3330a.hs:19:34: -> r ix1 -> Writer [AnyF s] (r'0 ix1) Actual type: s ix Relevant bindings include - children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) + p :: s ix (bound at T3330a.hs:19:10) + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) In the first argument of ‛hmapM’, namely ‛p’ In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ @@ -38,8 +38,8 @@ T3330a.hs:19:44: Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0)) Actual type: PF s r ix Relevant bindings include - children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) + p :: s ix (bound at T3330a.hs:19:10) + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) In the third argument of ‛hmapM’, namely ‛x’ In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ |