- ghc-devs - Haskell.org

Re: [commit: ghc] master: Check: More Clang/CPP wibbles (befc4e4)
by Gabor Greif 04 Dec '15

04 Dec '15

Hi Ben, there are still a bunch left: git grep "ASSERT (" Cheers, Gabor On 12/4/15, git(a)git.haskell.org <git(a)git.haskell.org> wrote: > Repository : ssh://git@git.haskell.org/ghc > > On branch : master > Link : > http://ghc.haskell.org/trac/ghc/changeset/befc4e4c4c76fd89a092240935d9f508d… > >>--------------------------------------------------------------- > > commit befc4e4c4c76fd89a092240935d9f508de2ee664 > Author: Ben Gamari <ben(a)smart-cactus.org> > Date: Fri Dec 4 13:07:16 2015 +0100 > > Check: More Clang/CPP wibbles > > >>--------------------------------------------------------------- > > befc4e4c4c76fd89a092240935d9f508de2ee664 > compiler/deSugar/Check.hs | 10 +++++----- > 1 file changed, 5 insertions(+), 5 deletions(-) > > diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs > index 55dcfc2..dcf3b23 100644 > --- a/compiler/deSugar/Check.hs > +++ b/compiler/deSugar/Check.hs > @@ -370,12 +370,12 @@ translateConPatVec univ_tys ex_tvs c (RecCon > (HsRecFields fs _)) > -- The data constructor was not defined using record syntax. For the > -- pattern to be in record syntax it should be empty (e.g. Just {}). > -- So just like the previous case. > - | null orig_lbls = ASSERT (null matched_lbls) mkPatternVarsSM arg_tys > + | null orig_lbls = ASSERT(null matched_lbls) mkPatternVarsSM arg_tys > -- Some of the fields appear, in the original order (there may be > holes). > -- Generate a simple constructor pattern and make up fresh variables > for > -- the rest of the fields > | matched_lbls `subsetOf` orig_lbls > - = ASSERT (length orig_lbls == length arg_tys) > + = ASSERT(length orig_lbls == length arg_tys) > let translateOne (lbl, ty) = case lookup lbl matched_pats of > Just p -> translatePat p > Nothing -> mkPatternVarsSM [ty] > @@ -616,7 +616,7 @@ process_guards us gs > -- * Basic utilities > > patternType :: Pattern -> Type > -patternType (PmGuard pv _) = ASSERT (patVecArity pv == 1) (patternType p) > +patternType (PmGuard pv _) = ASSERT(patVecArity pv == 1) (patternType p) > where Just p = find ((==1) . patternArity) pv > patternType (NonGuard pat) = pmPatType pat > > @@ -826,8 +826,8 @@ splitConstraints (c : rest) > = case c of > TyConstraint cs -> (cs ++ ty_cs, tm_cs, bot_cs) > TmConstraint e1 e2 -> (ty_cs, (e1,e2):tm_cs, bot_cs) > - BtConstraint cs -> ASSERT (isNothing bot_cs) -- NB: Only one x ~ > _|_ > - (ty_cs, tm_cs, Just cs) > + BtConstraint cs -> ASSERT(isNothing bot_cs) -- NB: Only one x ~ > _|_ > + (ty_cs, tm_cs, Just cs) > where > (ty_cs, tm_cs, bot_cs) = splitConstraints rest > > > _______________________________________________ > ghc-commits mailing list > ghc-commits(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits >

2 1

tyVarsOfTypeAcc
by Richard Eisenberg 03 Dec '15

03 Dec '15

Hi devs, I'm (once again) merging master into my type=kind branch. I see that we now have tyVarsOfTypeAcc :: Type -> FV, distinct from tyVarsOfType :: Type -> TyVarSet. I trust that this new version is more performant. However, I have a question: in the implementation of these functions, the three extra FV parameters (fv_cand in_scope acc) are bound and passed each time. Why? I've always understood that eta-reducing in function definitions is better than expanding. Or is this just a style choice? Thanks, Richard

3 2

Bad interface file
by Simon Peyton Jones 03 Dec '15

03 Dec '15

Can anyone confirm that Trac #11122 is fixed in HEAD? When I try to reproduce it, I tried this, with a freshly-built HEAD cabal install parsec --with-ghc=/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-stage2 But that fails as below, with a bizarre “bad interface file” error. Does anyone have a clue about what’s happening? Does it work for you? Simon cabal install parsec --with-ghc=/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-stage2 Resolving dependencies... Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.2.1... Creating package registration file: /tmp/pkgConf-mtl-2.253500.1 Installing library in /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp Registering mtl-2.2.1... Installed mtl-2.2.1 Downloading text-1.2.1.3... Failed to install text-1.2.1.3 cabal: Error: some packages failed to install: parsec-3.1.9 depends on text-1.2.1.3 which failed to install. text-1.2.1.3 failed while downloading the package. The exception was: <socket: 10>: hGetBufSome: resource vanished (Connection reset by peer) simonpj@cam-05-unx:~/5builds/HEAD-5$ cabal install parsec --with-ghc=/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-stage2 Resolving dependencies... Downloading text-1.2.1.3... Configuring text-1.2.1.3... Building text-1.2.1.3... Preprocessing library text-1.2.1.3... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o ) [ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o ) [ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) Data/Text/Encoding/Error.hs:3:14: warning: ‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe! [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) [16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o ) [17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o ) [18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o ) [19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o ) [20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o ) Data/Text/Show.hs:57:11: warning: Rule "TEXT literal UTF8" may never fire because ‘unpackCStringUtf8#’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘unpackCStringUtf8#’ [21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o ) [22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o ) [23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o ) [24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o ) [25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o ) [26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o ) [27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o ) [28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o ) Data/Text.hs:558:1: warning: Rule "TEXT compareN/length -> compareLength" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:563:1: warning: Rule "TEXT ==N/length -> compareLength/==EQ" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:568:1: warning: Rule "TEXT /=N/length -> compareLength//=EQ" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:573:1: warning: Rule "TEXT <N/length -> compareLength/==LT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:578:1: warning: Rule "TEXT <=N/length -> compareLength//=GT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:583:1: warning: Rule "TEXT >N/length -> compareLength/==GT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:588:1: warning: Rule "TEXT >=N/length -> compareLength//=LT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ [29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o ) [30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o ) [31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o ) [32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o ) [33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o ) [34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o ) [35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o ) [36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o ) Data/Text/Lazy.hs:403:11: warning: Rule "TEXT literal UTF8" may never fire because ‘unpackCStringUtf8#’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘unpackCStringUtf8#’ [37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o ) Data/Text/Internal/Builder.hs:311:1: warning: Rule "flush/flush" may never fire because ‘flush’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘flush’ [38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o ) [39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o ) [40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o ) [41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o ) [42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o ) Data/Text/Lazy/Read.hs:3:14: warning: ‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe! [43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o ) [44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o ) In-place registering text-1.2.1.3... Creating package registration file: /tmp/pkgConf-text-1.2.118076.3 Installing library in /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/text_5Rq52TgwV3S3ky6aLF96ly Registering text-1.2.1.3... Installed text-1.2.1.3 Configuring parsec-3.1.9... Building parsec-3.1.9... Preprocessing library parsec-3.1.9... [ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o ) [ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o ) [ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o ) [ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o ) Text/Parsec/Prim.hs:75:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/text_5Rq52TgwV3S3ky6aLF96ly/Data/Text.hi Something is amiss; requested module text-1.2.1.3@text-1.2.1.3-97fb94aeb32201606fe5187cbce5d852:Data.Text differs from name found in the interface file text_5Rq52TgwV3S3ky6aLF96ly:Data.Text Text/Parsec/Prim.hs:76:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/text_5Rq52TgwV3S3ky6aLF96ly/Data/Text/Lazy.hi Something is amiss; requested module text-1.2.1.3@text-1.2.1.3-97fb94aeb32201606fe5187cbce5d852:Data.Text.Lazy differs from name found in the interface file text_5Rq52TgwV3S3ky6aLF96ly:Data.Text.Lazy Text/Parsec/Prim.hs:80:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/Trans.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.Trans differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.Trans Text/Parsec/Prim.hs:81:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/Identity.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.Identity differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.Identity Text/Parsec/Prim.hs:83:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/Reader/Class.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.Reader.Class differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.Reader.Class Text/Parsec/Prim.hs:84:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/State/Class.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.State.Class differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.State.Class Text/Parsec/Prim.hs:85:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/Cont/Class.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.Cont.Class differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.Cont.Class Text/Parsec/Prim.hs:86:1: error: Bad interface file: /home/simonpj/.cabal/lib/x86_64-linux-ghc-7.11.20151125/mtl_29yPYQfz4VvKtYIFBb0Wdp/Control/Monad/Error/Class.hi Something is amiss; requested module mtl-2.2.1@mtl-2.2.1-fd5d2a6f3b4f2b35d982c365df381a09:Control.Monad.Error.Class differs from name found in the interface file mtl_29yPYQfz4VvKtYIFBb0Wdp:Control.Monad.Error.Class Failed to install parsec-3.1.9 cabal: Error: some packages failed to install: parsec-3.1.9 failed during the building phase. The exception was: ExitFailure 1 simonpj@cam-05-unx:~/5builds/HEAD-5$ /home/simonpj/5builds/HEAD-5/inplace/bin/ghc-pkg list /5playpen/simonpj/HEAD-5/inplace/lib/package.conf.d: Cabal-1.23.0.0 array-0.5.1.0 base-4.9.0.0 binary-0.7.5.0 bytestring-0.10.6.0 containers-0.5.6.2 deepseq-1.4.2.0 directory-1.2.5.0 filepath-1.4.1.0 (ghc-7.11.20151125) ghc-boot-0.0.0.0 ghc-prim-0.5.0.0 haskeline-0.7.2.1 hoopl-3.10.2.0 hpc-0.6.0.2 integer-gmp-1.0.0.0 pretty-1.1.2.0 process-1.4.1.0 rts-1.0 template-haskell-2.11.0.0 terminfo-0.4.0.1 time-1.5.0.1 transformers-0.4.3.0 unix-2.7.1.0 xhtml-3000.2.1 /home/simonpj/.ghc/x86_64-linux-7.11.20151125/package.conf.d: mtl-2.2.1 text-1.2.1.3 simonpj@cam-05-unx:~/5builds/HEAD-5$

3 2

RE: The GHC 8.0 feature freeze is coming
by Simon Peyton Jones 03 Dec '15

03 Dec '15

| HEAD is sadly currently broken for unrelated reasons which I am | working on resolving at the moment. I'll send a message to ghc-devs | when I've pushed my fix. Does that mean I should not pull for now? Which means I can't push either. Simon

2 1

FW: [Diffusion] [Build Failed] rGHC52b02e66025f: Comments only (isIrrefutablePat)
by Simon Peyton Jones 03 Dec '15

03 Dec '15

Haddock is a constant mystery. I added five lines of comments to GHC's source code, and one of the Haddock performance tests fails (see below). That's all the patch contains. I am reluctant to fix it by deleting the comments! Simon -----Original Message----- From: noreply(a)phabricator.haskell.org [mailto:noreply@phabricator.haskell.org] Sent: 02 December 2015 16:05 To: Simon Peyton Jones <simonpj(a)microsoft.com> Subject: [Diffusion] [Build Failed] rGHC52b02e66025f: Comments only (isIrrefutablePat) Harbormaster failed to build B7060: rGHC52b02e66025f: Comments only (isIrrefutablePat)! BRANCHES master USERS simonpj (Author) GHC - HsSyn/Parser (Auditor) GHC - Renamer (Auditor) COMMIT https://phabricator.haskell.org/rGHC52b02e66025f EMAIL PREFERENCES https://phabricator.haskell.org/settings/panel/emailpreferences/ To: simonpj, GHC - HsSyn/Parser, GHC - Renamer

3 2

ok to do reformatting commits?
by Evan Laforge 03 Dec '15

03 Dec '15

When I was doing a recent patch, I was annoyed by lint errors about >80 lines when I was just conforming to the existing style. To avoid cluttering my commit with unrelated changes, I decided to fix the lints in a formatting-only commit afterwards. Looking in the archives, I see there was some recent discussion about this, but I didn't see anyone volunteering to just go wrap a bunch of files, or saying that they didn't want anyone to do this (usual reason being cluttering the history, which as a rationale to not do formatting only changes never sat too well with me). Would anyone mind if I went and wrapped a bunch of files, say typecheck/*.hs? This seems simpler than either constant hassling from arc or coming up with more elaborate rules for arc. I would have to make some formatting decisions, so likely to some eyes I would be messing some stuff up, but since there's no real standard that is probably unavoidable.

5 6

HEADS UP: Moving Phabricator to a new server soon
by Austin Seipp 02 Dec '15

02 Dec '15

Hello all, As I said about a week or two ago[1], I still have plans to move the Phabricator server. I'd like to do this tonight. I plan on starting this around 10pm CST or so. This is late at night in the US and quite early in the EU, so I'm hoping to avoid causing problems for anyone. I'll follow up with more emails in response to this one later tonight, as things move forward. Thanks! [1] https://mail.haskell.org/pipermail/ghc-devs/2015-November/010519.html -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

linker error in haddock, D1558
by Alan & Kim Zimmerman 01 Dec '15

01 Dec '15

Does anyone know why a build would be failing with utils/haddock/dist/build/Haddock/GhcUtils.dyn_o: In function `skOK_info': (.text+0x75c8): undefined reference to `stg_ap_0_upd_info' utils/haddock/dist/build/Haddock/GhcUtils.dyn_o: In function `skP5_info': (.text+0x7728): undefined reference to `stg_ap_0_upd_info' collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) utils/haddock/ghc.mk:21: recipe for target 'utils/haddock/dist/build/tmp/haddock' failed make[1]: *** [utils/haddock/dist/build/tmp/haddock] Error 1 This is happening on https://phabricator.haskell.org/harbormaster/build/8393/, a build of https://phabricator.haskell.org/D1558 Alan

1 0

Wildcard refactoring
by Simon Peyton Jones 01 Dec '15

01 Dec '15

OK, I think it’s time to commit my branch wip/spj-wildcard-refactor Ben: could you commit it as a single large patch (ignore the branch history). A commit message appears below. There is a corresponding patch for haddock, with same branch name in the haddock repo. Could you also open a ticket for the performance regression on perf/compiler/T3064? I don’t want to forget it, but it’s past time to commit such a big, invasive patch. There are two other tests failing for me, which appear to do with the version number for the containers sub-module. I think I have failed to get the other submodules (other than haddock) right. I was NOT intending to change them, so just use origin/master for them. Everyone: take a look at the commit message below. I’ve been working on this for far too long, in spare moments. Richard, I’m sorry that it’ll be disruptive to your changes, but in a good way I hope. Simon This patch began as a modest refactoring of HsType and friends, to clarify and tidy up exactly where quantification takes place in types. Although initially driven by making the implementation of wildcards more tidy (and fixing a number of bugs), I gradually got drawn into a pretty big process, which I've been doing on and off for quite a long time. There is one compiler performance regression as a result of all this, in perf/compiler/T3064. I still need to look into that. * The principal driving change is described in Note [HsType binders] in HsType. Well worth reading! * Those data type changes drive almost everything else. In particular we now statically know where (a) implicit quantification only (LHsSigType), e.g. in instance declaratios and SPECIALISE signatures (b) implicit quantification and wildcards (LHsSigWcType) can appear, e.g. in function type signatures * As part of this change, HsForAllTy is (a) simplified (no wildcards) and (b) split into HsForAllTy and HsQualTy. The two contructors appear when and only when the correponding user-level construct appears. Again see Note [HsType binders]. HsExplicitFlag disappears altogether. * Other simplifications - ExprWithTySig no longer needs an ExprWithTySigOut variant - TypeSig no longer needs a PostRn name [name] field for wildcards - PatSynSig records a LHsSigType rather than the decomposed pieces - The mysterious 'GenericSig' is now 'ClassOpSig' * Renamed LHsTyVarBndrs to LHsQTyVars * There are some uninteresting knock-on changes in Haddock, because of the HsSyn changes I also did a bunch of loosely-related changes: * We already had type synonyms CoercionN/CoercionR for nominal and representational coercions. I've added similar treatment for TcCoercionN/TcCoercionR mkWpCastN/mkWpCastN All just type synonyms but jolly useful. * I record-ised ForeignImport and ForeignExport * I improved the (poor) fix to Trac #10896, by making TcTyClsDecls.checkValidTyCl recover from errors, but adding a harmless, abstract TyCon to the envt if so. * I did some significant refactoring in RnEnv.lookupSubBndrOcc, for reasons that I have (embarrassingly) now totally forgotten. It had to do with something to do with import and export

2 1

Wildcards in type functions vs. named wild cards
by Jan Stolarek 01 Dec '15

01 Dec '15

Simon, One of my students (Michał, CCd) is hacking on #10982 and he noticed a rather unexpected behaviour. If I say: {-# LANGUAGE TypeFamilies #-} module T10982 where type family F a where F _t = Int Then everything is fine. But if I enable NamedWildCards extension then suddenly this code is rejected: T10982.hs:7:7: error: Unexpected wild card: ‘_t’ In the declaration for type synonym ‘F’ I am 99% sure this is a bug and the program should be accepted even with NamedWildCards. Am I correct? Does this interact in any way with your upcomming refactoring of wildcards? Janek --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

2 2