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@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@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@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@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org