Re: Strictness/laziness warnings

2016-05-30 Thread José Manuel Calderón Trilla
This is strictness over sum types. Ömer and I worked on adding it to a fork of GHC. It's definitely possible, the main complications are how to deal with recursive types in the presence of polymorphic recursion and how to detect recursive types in the presence of higher-kinded types. Because the

Parser changes for supporting top-level SCC annotations

2016-05-30 Thread Ömer Sinan Ağacan
I'm trying to support SCCs at the top-level. The implementation should be trivial except the parsing part turned out to be tricky. Since expressions can appear at the top-level, after a {-# SCC ... #-} parser can't decide whether to reduce the token in `sigdecl` to generate a `(LHsDecl (Sig

Re: GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Ben Gamari
Gabor Greif writes: > Thanks for the tip, Ben! I have just tried with ./validate and those > horrific stats are gone. > > `$(MAKE) test` now also works. Apparently the thorough cleaning was > overdue. I'm fine with this. > > Cheers, > > Gabor > > PS: Out of sheer curiosity,

Re: GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Gabor Greif
Thanks for the tip, Ben! I have just tried with ./validate and those horrific stats are gone. `$(MAKE) test` now also works. Apparently the thorough cleaning was overdue. I'm fine with this. Cheers, Gabor PS: Out of sheer curiosity, what could have caused the hiccups? On 5/30/16, Ben

Re: GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Ben Gamari
Gabor Greif writes: > Hi devs, > > I get some pretty bad allocation statistics when testing GHC HEAD. Not sure > why, > but this is with a stage-0 compiler that is also GHC HEAD. (I doubt > that that is the reason, though.) > I presume this wasn't with ./validate. Have you

Re: GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Jan Stolarek
Sanity check: was the stage0 compiler built using "perf" settings? Janek Dnia poniedziałek, 30 maja 2016, Gabor Greif napisał: > Hi devs, > > I get some pretty bad allocation statistics when testing GHC HEAD. Not sure > why, but this is with a stage-0 compiler that is also GHC HEAD. (I doubt >

Re: GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Ben Gamari
Gabor Greif writes: > Hi devs, > > I get some pretty bad allocation statistics when testing GHC HEAD. Not sure > why, > but this is with a stage-0 compiler that is also GHC HEAD. (I doubt > that that is the reason, though.) > Hmm, I haven't been able to reproduce this on

GHC HEAD (built with itself) blows allocation stats :-(

2016-05-30 Thread Gabor Greif
Hi devs, I get some pretty bad allocation statistics when testing GHC HEAD. Not sure why, but this is with a stage-0 compiler that is also GHC HEAD. (I doubt that that is the reason, though.) I see on a linux x64 system (RHEL6) : Unexpected stat failures: