Major commit to the constraint solver

Joachim Breitner mail at joachim-breitner.de
Mon Nov 3 18:18:19 UTC 2014


Hi,


Am Montag, den 03.11.2014, 17:28 +0000 schrieb Simon Peyton Jones:
> I’ve pushed branch wip/new-flatten-skolems-Oct14.  (It has some
> rebasing near the top.)
>  
> It branches off master some a few days ago; i.e. it is almost
> completely up to date.
>  
> Can you try building it?  I want to push it to HEAD, but would like
> some independent validation first.

Travis build branches automatically, and is already trying to build it:
https://travis-ci.org/ghc/ghc/builds/39856856

It just finished, but it is not completely happy:

Actual stderr output differs from expected:
--- /dev/null	2014-11-03 17:30:32.067943898 +0000
+++ ./indexed-types/should_compile/PushedInAsGivens.comp.stderr	2014-11-03 18:11:53.225519481 +0000
@@ -0,0 +1,27 @@
+
+PushedInAsGivens.hs:10:31:
+    Couldn't match expected type ‘a1’ with actual type ‘a’
+      because type variable ‘a1’ would escape its scope
+    This (rigid, skolem) type variable is bound by
+      the type signature for foo :: (F Int ~ [a1]) => a1 -> Int
+      at PushedInAsGivens.hs:9:20-44
+    Relevant bindings include
+      x :: a1 (bound at PushedInAsGivens.hs:10:17)
+      foo :: a1 -> Int (bound at PushedInAsGivens.hs:10:13)
+      y :: a (bound at PushedInAsGivens.hs:9:5)
+      bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
+    In the expression: y
+    In the first argument of ‘length’, namely ‘[x, y]’
+
+PushedInAsGivens.hs:11:15:
+    Couldn't match expected type ‘[a]’ with actual type ‘F Int’
+    Relevant bindings include
+      y :: a (bound at PushedInAsGivens.hs:9:5)
+      bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
+    In the expression: foo y
+    In the expression: (y, foo y)
+    In the expression:
+      let
+        foo :: (F Int ~ [a]) => a -> Int
+        foo x = length [...]
+      in (y, foo y)
=====> T2715(normal) 3281 of 4140 [0, 0, 0] 
*** unexpected failure for PushedInAsGivens(normal)

Actual stdout output differs from expected:
--- ./safeHaskell/check/pkg01/safePkg01.stdout	2014-11-03 17:30:57.327803827 +0000
+++ ./safeHaskell/check/pkg01/safePkg01.run.stdout	2014-11-03 18:12:11.178706914 +0000
@@ -29,17 +29,17 @@
 require own pkg trusted: True
 
 M_SafePkg6
-package dependencies: array-0.5.0.1 at array_<HASH>
+package dependencies: array-0.5.0.1 base-4.8.0.0*
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg7
-package dependencies: array-0.5.0.1 at array_<HASH>
+package dependencies: array-0.5.0.1 base-4.8.0.0*
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg8
-package dependencies: array-0.5.0.1 at array_<HASH>
+package dependencies: array-0.5.0.1 base-4.8.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
*** unexpected failure for safePkg01(normal)

Is there more you want us to do besides what Travis just did for us?

Greetings,
Joachim

-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141103/240c1b0f/attachment.sig>


More information about the ghc-devs mailing list