RE: Major commit to the constraint solver

2014-11-04 Thread Simon Peyton Jones
. Thanks | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@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 +

Re: Major commit to the constraint solver

2014-11-04 Thread Joachim Breitner
Hi, Am Dienstag, den 04.11.2014, 08:44 + schrieb Simon Peyton Jones: 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

RE: Major commit to the constraint solver

2014-11-04 Thread Simon Peyton Jones
. thanks Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Joachim Breitner | Sent: 04 November 2014 08:55 | To: ghc-devs@haskell.org | Subject: Re: Major commit to the constraint solver | | Hi, | | | Am Dienstag, den 04.11.2014, 08

Re: Major commit to the constraint solver

2014-11-04 Thread Joachim Breitner
Hi, Am Dienstag, den 04.11.2014, 09:41 + schrieb Simon Peyton Jones: Moving the tip to the top, just under What does it do?, and giving a bit more navigation info, would be a good plan. done: https://ghc.haskell.org/trac/ghc/wiki/Travis#Whatdoesitdo Writing good Wiki pages is much harder

Major commit to the constraint solver

2014-11-03 Thread Simon Peyton Jones
Friends 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. Three

Re: Major commit to the constraint solver

2014-11-03 Thread Joachim Breitner
Hi, Am Montag, den 03.11.2014, 17:28 + 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

Re: Major commit to the constraint solver

2014-11-03 Thread Edward Z. Yang
Excerpts from Simon Peyton Jones's message of 2014-11-03 09:28:49 -0800: * I get an odd wibble in safePk01, see this threadhttps://www.haskell.org/pipermail/ghc-devs/2014-November/007065.html with Edward Hello Simon, Here's what you should do for the safePkg01 wibble: 1. Apply

Re: Major commit to the constraint solver

2014-11-03 Thread Richard Eisenberg
I've done a validate on my Mac. Here is the output (indented), with comments (outdented): ../../libraries/base/tests/IO hReady002 [bad stderr] (normal) Succeeded on a later run cabal/cabal01 cabal01 [bad exit code] (normal) Wrong exit code (expected 0 , actual 2 )

Re: Major commit to the constraint solver

2014-11-03 Thread Brandon Allbery
On Mon, Nov 3, 2014 at 8:11 PM, Richard Eisenberg e...@cis.upenn.edu wrote: Stderr: tar: --format: Cannot stat: No such file or directory tar: ustar: Cannot stat: No such file or directory tar: Error exit delayed from previous errors. make[2]: *** [cabal01] Error 1 Apple got rid of gnutar,