diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11347.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T11347.stderr | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11347.stderr b/testsuite/tests/typecheck/should_fail/T11347.stderr index 1de61cdeca..6154984201 100644 --- a/testsuite/tests/typecheck/should_fail/T11347.stderr +++ b/testsuite/tests/typecheck/should_fail/T11347.stderr @@ -1,2 +1,11 @@ -dummy stderr: -here should be something about roles _not_ "No skolem info" + +T11347.hs:6:41: error: + • Couldn't match representation of type ‘a’ with that of ‘b’ + arising from the coercion of the method ‘unsafe’ + from type ‘Id1 a -> Discern (Id1 a) b’ + to type ‘Id2 a -> Discern (Id2 a) b’ + ‘a’ is a rigid type variable bound by + the deriving clause for ‘UnsafeCast b (Id2 a)’ at T11347.hs:6:41 + ‘b’ is a rigid type variable bound by + the deriving clause for ‘UnsafeCast b (Id2 a)’ at T11347.hs:6:41 + • When deriving the instance for (UnsafeCast b (Id2 a)) |