Re: Moving hadrian to submodule

2017-12-08 Thread Boespflug, Mathieu
Great! A submodule makes a lot more sense to me, at least short term. I would hope that medium term the development processes of GHC-as-a-whole and Hadrian(-a-part-of-GHC) can converge, so that a submodule is no longer necessary. Submodules do have their downsides and it would be odd for such a

Re: Moving hadrian to submodule

2017-12-08 Thread Ara Adkins
Sounds good! Hopefully this doesn’t cause a flood of commit messages. _ara > On 8 Dec 2017, at 18:50, Ben Gamari wrote: > > Hello everyone, > > A bit over a month ago we merged hadrian into the ghc tree as a subtree. > Unfortunately, those working on Hadrian have found

Moving hadrian to submodule

2017-12-08 Thread Ben Gamari
Hello everyone, A bit over a month ago we merged hadrian into the ghc tree as a subtree. Unfortunately, those working on Hadrian have found the subtree mechanism to provide a rather poor developer experience. Consequently, today I will be ripping out the subtree and replacing it with a submodule.

Re: Long standing annoying issue in ghci

2017-12-08 Thread MarLinn
I opened an issue on the Haskeline github (https://github.com/judah/haskeline/issues/72). But it seems to be completely Haskeline-side, so I'm not sure if it's worth re-opening the one for ghci? As missing documentation maybe? (BTW, I found this on the wiki:

RE: unix/tests/user001

2017-12-08 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > | that your user doesn't have a valid group, which is quite odd. What > | does the `id` command say? > > simonpj@cam-05-unx:~/tmp$ id > uid=501(simonpj) gid=1001 groups=1001,27(sudo) Indeed it looks like your group doesn't have

RE: unix/tests/user001

2017-12-08 Thread Simon Peyton Jones via ghc-devs
| that your user doesn't have a valid group, which is quite odd. What | does the `id` command say? simonpj@cam-05-unx:~/tmp$ id uid=501(simonpj) gid=1001 groups=1001,27(sudo) | -Original Message- | From: Ben Gamari [mailto:b...@well-typed.com] | Sent: 08 December 2017 15:13 | To:

Re: unix/tests/user001

2017-12-08 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > On Linux I get this validate failure all the time. What should I do? I've > trained myself to ignore it, but that seems wrong > Simon > > Unexpected failures: > >../libraries/unix/tests/user001.run user001 [bad stdout]

unix/tests/user001

2017-12-08 Thread Simon Peyton Jones via ghc-devs
On Linux I get this validate failure all the time. What should I do? I've trained myself to ignore it, but that seems wrong Simon Unexpected failures: ../libraries/unix/tests/user001.run user001 [bad stdout] (normal) => user001(normal) 1 of 1 [0, 0, 0] cd "./user001.run" &&

RE: Can't push to haddock

2017-12-08 Thread Simon Peyton Jones via ghc-devs
| Yes, the mirroring has a little bit of latency (assuming the mirroring | trigger event notification from github to git.haskell.org didn't get | lost). How much time did you wait between pushing to github and | ghc.git? I didn't allow any time -- I didn't know that time was needed. Perhaps