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/gadt/gadt13.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/gadt/gadt13.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index b03ff492fa..3b39f07b8f 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,16 +1,16 @@ -
-gadt13.hs:15:13:
- Couldn't match expected type `t'
- with actual type `String -> [Char]'
- `t' is untouchable
- inside the constraints (t1 ~ Int)
- bound by a pattern with constructor
- I :: Int -> Term Int,
- in an equation for `shw'
- at gadt13.hs:15:6-8
- `t' is a rigid type variable bound by
- the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1
- Relevant bindings include
- shw :: Term t1 -> t (bound at gadt13.hs:15:1)
- In the expression: ("I " ++) . shows t
- In an equation for `shw': shw (I t) = ("I " ++) . shows t
+ +gadt13.hs:15:13: + Couldn't match expected type ‛t’ + with actual type ‛String -> [Char]’ + ‛t’ is untouchable + inside the constraints (t1 ~ Int) + bound by a pattern with constructor + I :: Int -> Term Int, + in an equation for ‛shw’ + at gadt13.hs:15:6-8 + ‛t’ is a rigid type variable bound by + the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1 + Relevant bindings include + shw :: Term t1 -> t (bound at gadt13.hs:15:1) + In the expression: ("I " ++) . shows t + In an equation for ‛shw’: shw (I t) = ("I " ++) . shows t |