Re: Suppressing False Incomplete Pattern Matching Warnings for Polymorphic Pattern Synonyms

2018-10-26 Thread Carter Schonwald
off hand, once we're in in viewpattern/ pattern synonym land, ORDER of the abstracted constructors matters! consider foo,bar,baz,quux,boom :: Nat -> String plus some pattern synonyms i name "PowerOfTwo", "Even" and "Odd" foo (PowerOfTwo x) = "power of two" foo (Even x) = "even" foo (Odd x) =

Re: slow execution of built executables on a Mac

2018-10-26 Thread Eric Seidel
rts_dist_HC is where it builds the various versions of the RTS, right? I noticed a similar slowness building the RTS at ICFP on my MacBook Pro (macOS 10.12). I don't think my battery lasted long enough to get to stage 2. I'm afraid I don't have any clue why it's gotten so slow, but you're not

Re: [ANNOUNCE] GHC 8.4.4 released

2018-10-26 Thread Artem Pelenitsyn
David, when you say "dataToTag# issue", you mean #15696? It seems from the discussion there that it is still under investigation. -- Best, Artem On Fri, 26 Oct 2018 at 17:02 David Feuer wrote: > On Fri, Oct 26, 2018 at 4:43 PM Carter Schonwald > wrote: > > > > Hey David, i'm looking at the

Re: slow execution of built executables on a Mac

2018-10-26 Thread Richard Eisenberg
> On Oct 26, 2018, at 5:02 PM, Carter Schonwald > wrote: > > are you setting the intree gmp flag? and/or dont have gmp the library > installed? maybe your ghc is using integer simple! Intriguing possibility. I haven't done anything to install gmp. I'm now at home, away from this machine,

Re: slow execution of built executables on a Mac

2018-10-26 Thread Carter Schonwald
theory one: are you setting the intree gmp flag? and/or dont have gmp the library installed? maybe your ghc is using integer simple! theory two: dont set -j greater than about 8 or perhaps 16? (some parts of ghc are slower on too paralle a setup?) those are my two off the cuff guesses you

Re: [ANNOUNCE] GHC 8.4.4 released

2018-10-26 Thread David Feuer
On Fri, Oct 26, 2018 at 4:43 PM Carter Schonwald wrote: > > Hey David, i'm looking at the git history andit doesn't seem to have any > commits between 8.4.3 and 8.4.4 related to the dataToTag issue > > does any haskell code in the while trigger the bug on 8.4 series? I don't think anyone knows.

can't get docs / sphinx building for ghc 8.4.4

2018-10-26 Thread Carter Schonwald
hello all, i'm getting the following error quite consistently on OSX, for getting the docs working / built and its quite impossible to install if the docs aren't fully built i've bolded below an except how do i fix this please help me :) many thanks. *Extension error:* *The

Re: [ANNOUNCE] GHC 8.4.4 released

2018-10-26 Thread Carter Schonwald
Hey David, i'm looking at the git history andit doesn't seem to have any commits between 8.4.3 and 8.4.4 related to the dataToTag issue does any haskell code in the while trigger the bug on 8.4 series? On Sun, Oct 21, 2018 at 11:06 AM David Feuer wrote: > Did this release fix the dataToTag#

slow execution of built executables on a Mac

2018-10-26 Thread Richard Eisenberg
Hi devs, I have a shiny, new iMac in my office. It's thus frustrating that it takes my iMac longer to build GHC than my trusty 28-month-old laptop. Building devel2 on a fresh checkout takes just about an hour. By contrast, my laptop is done after 30 minutes of work (same build settings). The

Re: Suppressing False Incomplete Pattern Matching Warnings for Polymorphic Pattern Synonyms

2018-10-26 Thread Richard Eisenberg
Aha. So you're viewing complete sets as a type-directed property, where we can take a type and look up what complete sets of patterns of that type might be. Then, when checking a pattern-match for completeness, we use the inferred type of the pattern, access its complete sets, and if these

ghc-prim package-data.mk failed

2018-10-26 Thread Simon Peyton Jones via ghc-devs
This has started happening when I do 'sh validate -no-clean' "inplace/bin/ghc-cabal" configure libraries/ghc-prim dist-install --with-ghc="/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-stage1" --with-ghc-pkg="/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-pkg" --disable-library-for-ghci

Re: Suppressing False Incomplete Pattern Matching Warnings for Polymorphic Pattern Synonyms

2018-10-26 Thread Sylvain Henry
Sorry I wasn't clear. I'm not an expert on the topic but it seems to me that there are two orthogonal concerns: 1) How does the checker retrieve COMPLETE sets. Currently it seems to "attach" them to data type constructors (e.g. Maybe). If instead it retrieved them by matching types (e.g.

Re: Treatment of unknown pragmas

2018-10-26 Thread Simon Marlow
What pragma syntax should other Haskell compilers use? I don't think it's fair for GHC to have exclusive rights to the pragma syntax form the report, and other compilers should not be relegated to using {-# X-FOOHC ... #-}. But now we have all the same issues again. Cheers Simon On Thu, 25 Oct