Not necessarily to do with Duncan's stuff. Might conceivably be me, but I can't validate at the moment because of the "bundle" failure I reported. Alas. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | Joachim Breitner | Sent: 15 November 2013 21:33 | To: ghc-devs@haskell.org | Subject: tcfail174, T2494 and Simple14 failing | | 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/a8030acfc591f4069c27c9df86a806ddb6a30003) | | 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