GHC Weekly News - 2014/10/31 (Halloween Edition)

2014-10-31 Thread Austin Seipp
Hello *, Welcome to the GHC Weekly news. And it's just in time before you go out and eat lots of candy and food. * David Feuer and Joachim Brietner spent some time this past week talking about more optimizations for Haskell code for fusing code, and creating better consumers and producers. This

Re: cabal error: http://hackage.haskell.org/packages/archive/00-index.tar.gz : ErrorMisc "Error HTTP code: 502"

2014-10-31 Thread George Colpitts
Thanks for the quick response, yes it's up. Next time I'll check the status page which I was unaware of. Thanks again On Fri, Oct 31, 2014 at 4:52 PM, Mikolaj Konarski wrote: > Yes, unfortunatley, hackage was down. See > > https://status.haskell.org/ > > I think it's being brought up right now

Re: cabal error: http://hackage.haskell.org/packages/archive/00-index.tar.gz : ErrorMisc "Error HTTP code: 502"

2014-10-31 Thread Mikolaj Konarski
Yes, unfortunatley, hackage was down. See https://status.haskell.org/ I think it's being brought up right now by our fearless volunteer infrastructure rapid response team (they are drafting!). Please try again. On Fri, Oct 31, 2014 at 8:45 PM, George Colpitts wrote: > When I type > > cabal upda

cabal error: http://hackage.haskell.org/packages/archive/00-index.tar.gz : ErrorMisc "Error HTTP code: 502"

2014-10-31 Thread George Colpitts
​When I type cabal update I get ​http://hackage.haskell.org/packages/archive/00-index.tar.gz : ErrorMisc "Error HTTP code: 502" ​Anybody else seeing this? Thanks George ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/l

Re: git question

2014-10-31 Thread Mikolaj Konarski
On Fri, Oct 31, 2014 at 12:37 PM, Daniel Trstenjak wrote: > To ensure, that you're only operating on your current branch you can > add to your '~/.gitconfig': > > [push] >default = simple Oh, useful. > > (I seem to remember 'push -f' can be blocked on master, > > but I don't know if it is in

RE: Understanding core2core optimisation pipeline

2014-10-31 Thread Simon Peyton Jones
| And if we don't import anything then we're assuming NoOneShotInfo, | which means we don't float in past lambdas? correct ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: Understanding core2core optimisation pipeline

2014-10-31 Thread Jan Stolarek
Thank you for answers. > As people respond on this thread, would you be willing to capture what you > learn in a wiki page in the Commentary? I already created such a wiki page some time ago: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Core2CorePipeline But, since there are things

Re: RFC: Properly stated origin of code contributions

2014-10-31 Thread Mikolaj Konarski
> The current situation is suboptimal, as it's unclear where the threshold > for adding yourself as an author to a module header is > (whitespace/indentation cleanups, fixing/writing docs, removing lines, > adding a 5-line function in a 500 line module, ...?), and it's a bit > unfair to those that

Re: git question

2014-10-31 Thread Daniel Trstenjak
> Newer versions of git have this now as their default behaviour, but > I'm not quite sure which git version was the first one. Ok, it's starting with git 2.0. Greetings, Daniel ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mai

Re: git question

2014-10-31 Thread Mikolaj Konarski
> Right! I'm on branch wip/new-flatten-skolems-Oct14, so > git push --force > should push just that branch right? Right. But don't trust me, try with --dry-run. > If I want to be super-safe, and say "push only this branch" would I say > > git push --force HEAD > or > git

Re: git question

2014-10-31 Thread Daniel Trstenjak
> Right! I'm on branch wip/new-flatten-skolems-Oct14, so > git push --force > should push just that branch right? > > If I want to be super-safe, and say "push only this branch" would I say > > git push --force HEAD > or > git push --force wip/new-flatten-skolems-Oct14 > or

RE: git question

2014-10-31 Thread Simon Peyton Jones
| You need 'push -f' to force overwriting the old version of your | branch. Please make sure you are not forcefully pushing while on | master branch, though. ;) (I seem to remember 'push -f' can be blocked Right! I'm on branch wip/new-flatten-skolems-Oct14, so git push --force should

Re: git question

2014-10-31 Thread Mikolaj Konarski
> Now I want to rebase to clean up. Can I just do a local rebase and then git > push? Nothing special about the push? You need 'push -f' to force overwriting the old version of your branch. Please make sure you are not forcefully pushing while on master branch, though. ;) (I seem to remember 'pu

Re: git question

2014-10-31 Thread Daniel Trstenjak
Hi Simon, > Now I want to rebase to clean up. Can I just do a local rebase and then git > push? Nothing special about the push? You will most likely need to add a '--force' to your push, to overwrite the branch in the remote repo. Greetings, Daniel ___

git question

2014-10-31 Thread Simon Peyton Jones
Friends I am working on wip/new-flatten-skolems-Oct14. I have pushed lots of patches up to the main repo. Now I want to rebase to clean up. Can I just do a local rebase and then git push? Nothing special about the push? I know that will confuse anyone who is pulling from that branch, but I'

Re: RFC: Properly stated origin of code contributions

2014-10-31 Thread Herbert Valerio Riedel
Hi Austin, On 2014-10-30 at 21:55:14 +0100, Austin Seipp wrote: [...] > Can we get a standardized copyright/comment header across all our > files? It seems as if every single file in the compiler (and RTS) has > different header text, mentioning different people or groups, some > from 10 years ago

RE: Understanding core2core optimisation pipeline

2014-10-31 Thread Simon Peyton Jones
Jan As people respond on this thread, would you be willing to capture what you learn in a wiki page in the Commentary? That way, your successor would have at least those questions answered right away. Somewhere under here https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler would be good

Re: RFC: Properly stated origin of code contributions

2014-10-31 Thread Alexander Berntsen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 30/10/14 21:55, Austin Seipp wrote: > Can we get a standardized copyright/comment header across all our > files? It seems as if every single file in the compiler (and RTS) > has different header text, mentioning different people or groups, > some

Re: Understanding core2core optimisation pipeline

2014-10-31 Thread Jan Stolarek
> What would be the value of knowing that it is definitely used multiple > times? I'm working on core-to-core optimisation that improves code when something is used multiple times. I fear that in practice it might not be beneficial to transform thing that are used just once. Janek _

RE: Understanding core2core optimisation pipeline

2014-10-31 Thread Simon Peyton Jones
| One more question about reading the demand analysis results: | |Str=DmdType | | Here the argument is demanded once. But what if I have: | |Str=DmdType | | Does the lack of `1*` imply that the argument is used many times? Well, *may* be used many times. S ___

Re: Understanding core2core optimisation pipeline

2014-10-31 Thread Joachim Breitner
Hi, Am Freitag, den 31.10.2014, 10:48 +0200 schrieb Jan Stolarek: > One more question about reading the demand analysis results: > > Str=DmdType > > Here the argument is demanded once. But what if I have: > > Str=DmdType > > Does the lack of `1*` imply that the argument is used many time

Re: Understanding core2core optimisation pipeline

2014-10-31 Thread Jan Stolarek
Thanks guys. I've read the wiki page about demand analysis and things start to make a bit more sense now. > If you're looking at super-recent code, that could be Joachim Breitner's > work. He's exposed the one-shot stuff at the Haskell level with the > experimental magic oneShot function I'm loo

RE: Tests with compilation errors

2014-10-31 Thread Simon Peyton Jones
Nick, Where in the wiki would you have looked for it? This isn’t at trick question. It’s quite hard to know where to record info! S From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Nicolas Frisby Sent: 30 October 2014 22:42 To: Austin Seipp Cc: ghc-devs@haskell.org Subject: Re

RE: package hashes

2014-10-31 Thread Simon Peyton Jones
No, I did not. You can try it yourself! | -Original Message- | From: Edward Z. Yang [mailto:ezy...@cs.stanford.edu] | Sent: 30 October 2014 19:50 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: Re: package hashes | | Hmm. I'm not sure, but the right thing might just be to accep