Major commit to the constraint solver
Simon Peyton Jones
simonpj at microsoft.com
Tue Nov 4 08:44:20 UTC 2014
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 at haskell.org] On Behalf Of
| Joachim Breitner
| Sent: 03 November 2014 18:18
| To: ghc-devs at 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 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
More information about the ghc-devs
mailing list