diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
commit | d6588276e819f088e29a6c16ba0a0c82acfd05cc (patch) | |
tree | fb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/indexed-types/should_fail/T3330a.stderr | |
parent | 11237cf673876f6ef85918383cb46b8b1e8ca099 (diff) | |
download | haskell-d6588276e819f088e29a6c16ba0a0c82acfd05cc.tar.gz |
Update outputs following the unicode quote change in GHC's output
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330a.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330a.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330a.stderr b/testsuite/tests/indexed-types/should_fail/T3330a.stderr index e44ab4d6f7..9c4fedfa45 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330a.stderr @@ -1,8 +1,8 @@ T3330a.hs:19:34: - Couldn't match type `ix' - with `r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)' - `ix' is a rigid type variable bound by + Couldn't match type ‛ix’ + with ‛r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)’ + ‛ix’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: (s0 ix0 -> ix1) @@ -12,13 +12,13 @@ T3330a.hs:19:34: 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) - In the first argument of `hmapM', namely `p' - In the first argument of `execWriter', namely `(hmapM p collect x)' + In the first argument of ‛hmapM’, namely ‛p’ + In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ In the expression: execWriter (hmapM p collect x) T3330a.hs:19:34: - Couldn't match type `s' with `(->) (s0 ix0 -> ix1)' - `s' is a rigid type variable bound by + Couldn't match type ‛s’ with ‛(->) (s0 ix0 -> ix1)’ + ‛s’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: (s0 ix0 -> ix1) @@ -28,13 +28,13 @@ T3330a.hs:19:34: 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) - In the first argument of `hmapM', namely `p' - In the first argument of `execWriter', namely `(hmapM p collect x)' + In the first argument of ‛hmapM’, namely ‛p’ + In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ In the expression: execWriter (hmapM p collect x) T3330a.hs:19:44: - Couldn't match type `ix' with `r0 ix0 -> Writer [AnyF s0] (r0 ix0)' - `ix' is a rigid type variable bound by + Couldn't match type ‛ix’ with ‛r0 ix0 -> Writer [AnyF s0] (r0 ix0)’ + ‛ix’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0)) @@ -43,6 +43,6 @@ T3330a.hs:19:44: 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) - In the third argument of `hmapM', namely `x' - In the first argument of `execWriter', namely `(hmapM p collect x)' + In the third argument of ‛hmapM’, namely ‛x’ + In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ In the expression: execWriter (hmapM p collect x) |