Hi, thanks to Duncan for fixing topHandler03. Three new tests are however failing: =====> T2494(normal) 805 of 3821 [0, 0, 0] Actual stderr output differs from expected: --- ./typecheck/should_compile/T2494.stderr 2013-11-15 19:07:53.298771915 +0000 +++ ./typecheck/should_compile/T2494.comp.stderr 2013-11-15 19:41:46.626713597 +0000 @@ -1,10 +1,10 @@ T2494.hs:15:14: - Couldn't match type ‛a’ with ‛b’ - ‛a’ is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:13:16 + Couldn't match type ‛b’ with ‛a’ ‛b’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:14:16 + ‛a’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) Relevant bindings include @@ -17,11 +17,11 @@ In the second argument of ‛foo’, namely ‛(foo g x)’ T2494.hs:15:30: - Couldn't match type ‛a’ with ‛b’ - ‛a’ is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:13:16 + Couldn't match type ‛b’ with ‛a’ ‛b’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:14:16 + ‛a’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) Relevant bindings include *** unexpected failure for T2494(normal) =====> tcfail174(normal) 1068 of 3821 [0, 1, 0] Actual stderr output differs from expected: --- ./typecheck/should_fail/tcfail174.stderr 2013-11-15 19:07:53.462762490 +0000 +++ ./typecheck/should_fail/tcfail174.comp.stderr 2013-11-15 19:42:10.823320120 +0000 @@ -6,11 +6,11 @@ In the expression: Base id tcfail174.hs:13:14: - Couldn't match type ‛a’ with ‛a1’ - because type variable ‛a1’ would escape its scope - This (rigid, skolem) type variable is bound by - the type forall a2. a2 -> a2 - at tcfail174.hs:13:14 + Couldn't match type ‛a1’ with ‛a’ + ‛a1’ is a rigid type variable bound by + the type forall a2. a2 -> a2 at tcfail174.hs:13:14 + ‛a’ is a rigid type variable bound by + the inferred type of h1 :: Capture a at tcfail174.hs:13:1 Expected type: Capture (forall x. x -> a) Actual type: Capture (forall a. a -> a) Relevant bindings include *** unexpected failure for tcfail174(normal) =====> Simple14(normal) 3306 of 3821 [0, 2, 0] Actual stderr output differs from expected: --- ./indexed-types/should_compile/Simple14.stderr 2013-11-15 19:07:52.465819783 +0000 +++ ./indexed-types/should_compile/Simple14.comp.stderr 2013-11-15 19:48:37.218070046 +0000 @@ -1,8 +1,7 @@ Simple14.hs:17:19: - Couldn't match type ‛z0’ with ‛n’ - ‛z0’ is untouchable - inside the constraints (Maybe m ~ Maybe n) + Could not deduce (n ~ z0) + from the context (Maybe m ~ Maybe n) bound by a type expected by the context: Maybe m ~ Maybe n => EQ_ z0 z0 at Simple14.hs:17:12-33 *** unexpected failure for Simple14(normal) I guess these have been introduced by SPJ’s most recent changes (https://github.com/nomeata/ghc-complete/commit/a8030acfc591f4069c27c9df86a80...) Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org