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.de • http://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