tcfail174, T2494 and Simple14 failing

Joachim Breitner mail at joachim-breitner.de
Fri Nov 15 21:32:43 UTC 2013


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.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131115/4d918b74/attachment.sig>


More information about the ghc-devs mailing list