diff options
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 |