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/typecheck/should_fail/tcfail179.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/typecheck/should_fail/tcfail179.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail179.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail179.stderr b/testsuite/tests/typecheck/should_fail/tcfail179.stderr index ed0325acdc..89cd804371 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail179.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail179.stderr @@ -1,18 +1,18 @@ tcfail179.hs:14:39: - Couldn't match expected type `s' with actual type `x' - `x' is a rigid type variable bound by + Couldn't match expected type ‛s’ with actual type ‛x’ + ‛x’ is a rigid type variable bound by a pattern with constructor T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s, in a case alternative at tcfail179.hs:14:14 - `s' is a rigid type variable bound by + ‛s’ is a rigid type variable bound by the type signature for run :: T s -> Int at tcfail179.hs:12:8 Relevant bindings include run :: T s -> Int (bound at tcfail179.hs:13:1) ts :: T s (bound at tcfail179.hs:13:5) g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16) x :: x (bound at tcfail179.hs:14:26) - In the first argument of `g', namely `x' + In the first argument of ‛g’, namely ‛x’ In the expression: g x id In a pattern binding: (x, _, b) = g x id |