Re: Validate on master broken.

2018-11-15 Thread Ömer Sinan Ağacan
This was also reported as #15900. Ömer Simon Peyton Jones via ghc-devs , 16 Kas 2018 Cum, 02:33 tarihinde şunu yazdı: > > Bother -- my fault. Sorry about that. I should have > thought of Haddock. > > Thanks for fixing. > > Simon > > | -Original Message- > | From: ghc-devs On Behalf Of

RE: Validate on master broken.

2018-11-15 Thread Simon Peyton Jones via ghc-devs
Bother -- my fault. Sorry about that. I should have thought of Haddock. Thanks for fixing. Simon | -Original Message- | From: ghc-devs On Behalf Of Alec Theriault | Sent: 15 November 2018 21:41 | To: Andreas Klebinger | Cc: ghc-devs@haskell.org | Subject: Re: Validate on master

Re: Validate on master broken.

2018-11-15 Thread Alec Theriault
Thanks for noticing! I’m fixing this right now. The changes needed are really quite mundane… -Alec > On Nov 15, 2018, at 1:28 PM, Andreas Klebinger > wrote: > > Hello Devs, > > it seems Simons patch "Smarter HsType pretty-print for promoted datacons" > broke ./validate. > > > >> I

Validate on master broken.

2018-11-15 Thread Andreas Klebinger
Hello Devs, it seems Simons patch "Smarter HsType pretty-print for promoted datacons" broke ./validate. I discovered that there were two copies of the PromotionFlag type (a boolean, with helpfully named data cons), one in IfaceType and one in HsType. So I combined into one,

RE: perf stats

2018-11-15 Thread Simon Peyton Jones via ghc-devs
Moreover it takes more than 50% of the time when doing make TEST=T1535 which I do a lot Simon From: Simon Peyton Jones Sent: 15 November 2018 11:43 To: 'ghc-devs@haskell.org' Subject: perf stats This has just started happening in my local build tree Appending 0 stats to git

perf stats

2018-11-15 Thread Simon Peyton Jones via ghc-devs
This has just started happening in my local build tree Appending 0 stats to git notes. fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point