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/deriving | |
| parent | 9cdde38144331510673b5296b00c88fbe566adcf (diff) | |
| download | haskell-cf6e65693588cd9d40c895279f2e53d3d25a2c58.tar.gz | |
Testsuite: remove Windows CR [skip ci]
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148.stderr | 36 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 22 |
2 files changed, 29 insertions, 29 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148.stderr b/testsuite/tests/deriving/should_fail/T7148.stderr index a9314f9d64..da07d4f49d 100644 --- a/testsuite/tests/deriving/should_fail/T7148.stderr +++ b/testsuite/tests/deriving/should_fail/T7148.stderr @@ -1,18 +1,18 @@ -
-T7148.hs:27:40: error:
- • Couldn't match type ‘b’ with ‘Tagged a b’
- arising from the coercion of the method ‘iso2’
- from type ‘forall b. SameType b () -> SameType b b’
- to type ‘forall b. SameType b () -> SameType b (Tagged a b)’
- ‘b’ is a rigid type variable bound by
- the deriving clause for ‘IsoUnit (Tagged a b)’ at T7148.hs:27:40-46
- • When deriving the instance for (IsoUnit (Tagged a b))
-
-T7148.hs:27:40: error:
- • Couldn't match type ‘b’ with ‘Tagged a b’
- arising from the coercion of the method ‘iso1’
- from type ‘forall b. SameType () b -> SameType b b’
- to type ‘forall b. SameType () b -> SameType (Tagged a b) b’
- ‘b’ is a rigid type variable bound by
- the deriving clause for ‘IsoUnit (Tagged a b)’ at T7148.hs:27:40-46
- • When deriving the instance for (IsoUnit (Tagged a b))
+ +T7148.hs:27:40: error: + • Couldn't match type ‘b’ with ‘Tagged a b’ + arising from the coercion of the method ‘iso2’ + from type ‘forall b. SameType b () -> SameType b b’ + to type ‘forall b. SameType b () -> SameType b (Tagged a b)’ + ‘b’ is a rigid type variable bound by + the deriving clause for ‘IsoUnit (Tagged a b)’ at T7148.hs:27:40-46 + • When deriving the instance for (IsoUnit (Tagged a b)) + +T7148.hs:27:40: error: + • Couldn't match type ‘b’ with ‘Tagged a b’ + arising from the coercion of the method ‘iso1’ + from type ‘forall b. SameType () b -> SameType b b’ + to type ‘forall b. SameType () b -> SameType (Tagged a b) b’ + ‘b’ is a rigid type variable bound by + the deriving clause for ‘IsoUnit (Tagged a b)’ at T7148.hs:27:40-46 + • When deriving the instance for (IsoUnit (Tagged a b)) diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index cd1e4db351..b0f5cbfb68 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,11 +1,11 @@ -
-T7148a.hs:19:50: error:
- • Couldn't match representation of type ‘b’
- with that of ‘Result a b’
- arising from the coercion of the method ‘coerce’
- from type ‘forall b. Proxy b -> a -> Result a b’
- to type ‘forall b.
- Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’
- ‘b’ is a rigid type variable bound by
- the type Proxy b -> a -> Result a b at T7148a.hs:19:50-56
- • When deriving the instance for (Convert (IS_NO_LONGER a))
+ +T7148a.hs:19:50: error: + • Couldn't match representation of type ‘b’ + with that of ‘Result a b’ + arising from the coercion of the method ‘coerce’ + from type ‘forall b. Proxy b -> a -> Result a b’ + to type ‘forall b. + Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’ + ‘b’ is a rigid type variable bound by + the type Proxy b -> a -> Result a b at T7148a.hs:19:50-56 + • When deriving the instance for (Convert (IS_NO_LONGER a)) |