Re: Clean build fails with make

2019-05-28 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > A 'sh validate` in a clean tree fails as below. > Is that expected? That is, is validate dead? > If so let's change the shell script to say "game over, just use > Hadrian". > Simon John, it looks like this is more fallout from the recent platform changes

Re: ZuriHac 2019 - GHC Track

2019-05-28 Thread Ben Gamari
Andreas Herrmann writes: > Dear GHC devs, > I've been rather quiet on this since it's been unclear whether I will be able to make it to ZuriHac this year. While I would love to be there (and perhaps do some hiking after), at this point chances are unfortunately looking rather slim; it looks like

RE: newtype workers

2019-05-28 Thread Simon Peyton Jones via ghc-devs
| I'm working on unlifted newtypes. | | In MkId.mkDataConWorkId, I see | | > mkDataConWorkId wkr_name data_con | > | isNewTyCon tycon | > = mkGlobalId (DataConWrapId data_con) wkr_name wkr_ty nt_work_info | > | otherwise | > = mkGlobalId (DataConWorkId data_con) wkr_name wkr_ty a

Clean build fails with make

2019-05-28 Thread Simon Peyton Jones via ghc-devs
A 'sh validate` in a clean tree fails as below. Is that expected? That is, is validate dead? If so let's change the shell script to say "game over, just use Hadrian". Simon "inplace/bin/ghc-cabal" check libraries/ghc-prim "inplace/bin/ghc-cabal" configure libraries/ghc-prim dist-install --with-

RE: Processing MRs very slow?

2019-05-28 Thread Simon Peyton Jones via ghc-devs
David Ben writes (on #16586) @simonpj, in general GHC HQ sets the milestone during triage (which I did in this case; I only realized that Iavor had submitted an MR after I left the comment requesting that he set the milestone). Could you include this point in your workflow revisions? Simon Fr

Re: Building GHC 8.4.3 Cross-Compiler Linux x86 -> Linux ARM

2019-05-28 Thread Moritz Angermann
Hi Michael, any reason you want to build specifically 8.4.3? And any specific reason you want to use 8.0.2 to build it? Anyway, you likely don't want to build unregistered, but use the llvm backend. You want to set the BuildFlavour to quick-cross, e.g. with sed -E "s/^#BuildFlavour[ ]+= quick-

RE: Processing MRs very slow?

2019-05-28 Thread Simon Peyton Jones via ghc-devs
This leave one loose end: /home is left almost empty I think /home can give a little overview of what’s on the wiki, including: * A copy of what’s in the side-bar, annotated with what’s in each bit. * A pointer to the title list for the wiki (which we auto-generate I think). I’m sure oth