From 290a553e9bd98ed43765cf8e7a70ebc95c187253 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 6 Jan 2016 17:11:34 +0000 Subject: 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 --- testsuite/tests/deriving/should_fail/T7148a.stderr | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'testsuite/tests/deriving') 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)) -- cgit v1.2.1