- ghc-devs - Haskell.org

Re: ambiguous type stuff
by David Feuer 06 Dec '15

06 Dec '15

I think I didn't explain myself well enough. I'm not talking about expanded defaulting, although that may be tied up with the same mechanisms. Perhaps the best thing is just to work on the error message text for certain ambiguous type situations. Notably, situations where adding a proxy argument or similar is needed to avoid the error tend to be pretty mysterious until you realize that the system is not complaining because it can't determine a type, but rather because there is no way to pinpoint that type at the use site. If F is a type family then f :: Foo x => F x has a perfectly sensible translation, namely f :: forall x . Foo x -> F x The problem is purely one of inference on the Haskell side: there is no way to add a signature *at the call site* that determines what value of x to pass to f. The error message about x being ambiguous because F is a type family has to be read a bit backwards. At a *use site*, it'll be pretty clear-cut what's ambiguous, and it will soon become clear why it can't be pinned down. Perhaps it would pay to change the error message to explain why the type signature renders the term unusable.

2 1

Plugins: How to determine ghc vs ghci
by Levent Erkok 05 Dec '15

05 Dec '15

I'm working on a plugin, and would like to be able to tell if it's GHC or GHCi that's running. I tried: df <- getDynFlags let isGHCi = ghcMode df == CompManager Alas, while that correctly tells apart "ghci" from "ghc -c", it also returns True when ghc is called without the "-c" argument. Is there a better/more robust way of figuring out whether we're in an interactive session? -Levent.

4 5

warnings in stage1
by Richard Eisenberg 04 Dec '15

04 Dec '15

Hi devs, I'm getting pattern-match warnings in my stage1 compiler. I assume that this is due to enhanced pattern-match checking. This is good! But I like to build (even stage1) with -Werror. Is this expected? Is someone working on this? Thanks! Richard

1 1

RE: [GHC] #11160: New exhaustiveness checker breaks ghcirun004
by Simon Peyton Jones 04 Dec '15

04 Dec '15

No let’s not revert. But: · Please put a list of the tickets (there are several) on the wiki page (where is the wiki page?) o perf/compiler/T783 o #11163: perf/compiler/T5642 o · Let’s have a flag to skip overlap testing so that there is always a workaround · Are you happy to continue to work on these perf issues? Simon From: George Karachalias [mailto:george.karachalias@gmail.com] Sent: 04 December 2015 09:41 To: Simon Peyton Jones <simonpj(a)microsoft.com> Subject: Re: [GHC] #11160: New exhaustiveness checker breaks ghcirun004 Simon, On Fri, Dec 4, 2015 at 10:34 AM, GHC <ghc-devs(a)haskell.org<mailto:ghc-devs@haskell.org>> wrote: Comment (by simonpj): Very fast response thank you. Your commit message is very informative. Did you include the same information in a `Note` in the code, so that we don't lose the information here? I haven't yet but I can. Actually, I wanted to ask you something. At the moment I pass all the normal tests but I fail some performance tests. They do compile but there is a deviation from the expected and HEAD is broken. For the additional expressive power I expected some more memory and time. For example, for perf/compiler/T783.hs which has 500 guards in a single function definition I take ~5 sec to compile but the deviation in allocated bytes is 753%, compared to what the "expected" is. I feel terrible since we are really close to the freeze and I think I am stalling everyone. I know of no good way to reduce memory consumption without losing substantial expressivity. Do you think I shall revert? George -- things you own end up owning you

2 1

The GHC 8.0 feature freeze is coming
by Ben Gamari 04 Dec '15

04 Dec '15

tl;dr: feature freeze is imminent; get any remaining patches in ASAP. Hello all, The GHC 8.0 release cycle is quickly approaching its conclusion. While there are a few patches still outstanding (most notably the no-kinds branch to which we owe the major version number bump), most everything else has at this point been merged. If you are still sitting on a patch then please post it for review as soon as possible. We will enter a formal feature freeze within the next week. If things go according to plan we will have be able to fork the 8.0 branch shortly thereafter and have a release candidate within two weeks. Thanks to everyone who has contributed to this release! Cheers, - Ben

6 8

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