tcfail174, T2494 and Simple14 failing

[Simon Peyton-Jones]

Just to confirm, I'm about to push a fix to this.  Mea cupla

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
| Joachim Breitner
| Sent: 15 November 2013 21:33
| To: ghc-devs at 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 at joachim-breitner.de • http://www.joachim-breitner.de/
|   Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
|   Debian Developer: nomeata at debian.org