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 hard

RE: Major commit to the constraint solver

2014-11-04 Thread Simon Peyton Jones
good plan. 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.1

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'

RE: Major commit to the constraint solver

2014-11-04 Thread Simon Peyton Jones
ve a red button saying "617 failed". 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

Re: Major commit to the constraint solver

2014-11-03 Thread Brandon Allbery
On Mon, Nov 3, 2014 at 8:11 PM, Richard Eisenberg 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, it's now lib

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 ) Stdou

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 > thread > with Edward Hello Simon, Here's what you should do for the safePkg01 wibble: 1. Ap

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