diff options
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T10561.stderr | 8 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148.stderr | 24 |
2 files changed, 19 insertions, 13 deletions
diff --git a/testsuite/tests/deriving/should_compile/T10561.stderr b/testsuite/tests/deriving/should_compile/T10561.stderr index 3a158ddb9a..c74967ff43 100644 --- a/testsuite/tests/deriving/should_compile/T10561.stderr +++ b/testsuite/tests/deriving/should_compile/T10561.stderr @@ -1,5 +1,7 @@ T10561.hs:10:52: error: - Couldn't match kind ‘k’ with ‘*’ - arising from the first field of ‘Compose’ (type ‘f (g a)’) - When deriving the instance for (Functor (Compose f g)) + • Couldn't match kind ‘k’ with ‘*’ + arising from the first field of ‘Compose’ (type ‘f (g a)’) + ‘k’ is a rigid type variable bound by + the deriving clause for ‘Functor (Compose f g)’ at T10561.hs:10:52 + • When deriving the instance for (Functor (Compose f g)) diff --git a/testsuite/tests/deriving/should_fail/T7148.stderr b/testsuite/tests/deriving/should_fail/T7148.stderr index 84c8205fb2..afdd1f9d99 100644 --- a/testsuite/tests/deriving/should_fail/T7148.stderr +++ b/testsuite/tests/deriving/should_fail/T7148.stderr @@ -1,14 +1,18 @@ T7148.hs:27:40: error: - Occurs check: cannot construct the infinite type: b ~ 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)’ - When deriving the instance for (IsoUnit (Tagged a b)) + • 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 + • When deriving the instance for (IsoUnit (Tagged a b)) T7148.hs:27:40: error: - Occurs check: cannot construct the infinite type: b ~ 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’ - When deriving the instance for (IsoUnit (Tagged a b)) + • 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 + • When deriving the instance for (IsoUnit (Tagged a b)) |