That's great; I didn't realise that. How can I navigate to the build log. I went to https://travis-ci.org/ghc/ghc/builds clicked on "Branch summary", found my branch, clicked on the link for "617" but it didn't show me the build log that you did. (It did have a red button saying "617 failed". Thanks | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | Joachim Breitner | Sent: 03 November 2014 18:18 | To: ghc-devs@haskell.org | Subject: Re: Major commit to the constraint solver | | 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