diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:08:53 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | cf6e65693588cd9d40c895279f2e53d3d25a2c58 (patch) | |
| tree | 7888c54bbd8548293a51e836bbd16de70c3b7616 /testsuite/tests/gadt/gadt-escape1.stderr | |
| parent | 9cdde38144331510673b5296b00c88fbe566adcf (diff) | |
| download | haskell-cf6e65693588cd9d40c895279f2e53d3d25a2c58.tar.gz | |
Testsuite: remove Windows CR [skip ci]
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index ccd428f106..056d451a09 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,19 +1,19 @@ -
-gadt-escape1.hs:19:58: error:
- • Couldn't match type ‘t’ with ‘ExpGADT Int’
- ‘t’ is untouchable
- inside the constraints: t1 ~ Int
- bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int,
- in a case alternative
- at gadt-escape1.hs:19:43-50
- ‘t’ is a rigid type variable bound by
- the inferred type of weird1 :: t at gadt-escape1.hs:19:1-58
- Possible fix: add a type signature for ‘weird1’
- Expected type: t
- Actual type: ExpGADT t1
- • In the expression: a
- In a case alternative: Hidden (ExpInt _) a -> a
- In the expression:
- case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
- • Relevant bindings include
- weird1 :: t (bound at gadt-escape1.hs:19:1)
+ +gadt-escape1.hs:19:58: error: + • Couldn't match type ‘t’ with ‘ExpGADT Int’ + ‘t’ is untouchable + inside the constraints: t1 ~ Int + bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, + in a case alternative + at gadt-escape1.hs:19:43-50 + ‘t’ is a rigid type variable bound by + the inferred type of weird1 :: t at gadt-escape1.hs:19:1-58 + Possible fix: add a type signature for ‘weird1’ + Expected type: t + Actual type: ExpGADT t1 + • In the expression: a + In a case alternative: Hidden (ExpInt _) a -> a + In the expression: + case (hval :: Hidden) of { Hidden (ExpInt _) a -> a } + • Relevant bindings include + weird1 :: t (bound at gadt-escape1.hs:19:1) |