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.dehttp://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