diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-06 17:11:34 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-07 08:37:23 +0000 |
commit | 290a553e9bd98ed43765cf8e7a70ebc95c187253 (patch) | |
tree | 065482e0e1a7556d52d80b4a0bc490b4934297d8 /testsuite/tests/deriving | |
parent | 97c49e9e78e6e0d385b8fd0b8a7de38ba6f10e76 (diff) | |
download | haskell-290a553e9bd98ed43765cf8e7a70ebc95c187253.tar.gz |
Tidy up tidySkolemInfo
Previously tidySkolemInfo used tidyOpenType, and returned a new
TidyEnv. But that's not needed any more, because all the skolems
should be in scope in the constraint tree.
I also removed a (now-unnecessary) field of UnifyForAllSkol
Diffstat (limited to 'testsuite/tests/deriving')
-rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index 8dd23aa034..9a6ea41d96 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,10 +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 forall b1. Proxy b1 -> a -> Result a b1 at T7148a.hs:19:50 - When deriving the instance for (Convert (IS_NO_LONGER a)) + • 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 + • When deriving the instance for (Convert (IS_NO_LONGER a)) |