Timeline


and

Dec 3, 2013:

4:31 PM Ticket #8593 (vector is being built even with `--no-dph`) created by nomeata
I usually use ./sync-all --no-dph get to speed up things a bit. But …
4:17 PM Changeset in ghc [586bc855]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Edsko de Vries <edsko@…>
Mask async exceptions in forkM_ See #8006 for the reason why. This is not a fix as such; more of a workaround.
4:17 PM Changeset in ghc [d14e5bf3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Edsko de Vries <edsko@…>
Export getHscEnv from HscMain
1:30 PM Ticket #8576 (Improve deriving error messages) closed by nomeata
fixed: After some encouragement by SPJ, I did the refactoring, introducing …
1:27 PM Ticket #8592 (FunDep error message regression) created by nomeata
This code (provided by Cale Gibbard) […] produced this error message in …
12:19 PM Changeset in ghc [84e0b8d]wip/T8592 by Joachim Breitner <mail@…>
Use PredOrigin in FunDeps.lhs
10:42 AM Changeset in ghc [4025d66]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Elaborate "deriving" error messages If "deriving (C)" fails, it will now, if possible, indicate which particular field of which constructor has caused the failure. (This fixes #8576)
10:42 AM Changeset in ghc [f6f82a91]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update output: New error messages as per #8576
10:42 AM Changeset in testsuite [b3b88db]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update output: New error messages as per #8576
10:38 AM Status/GHC-7.8/Libraries edited by hvr
released process-1.2.0.0 (diff)
10:21 AM Ticket #2301 (Proper handling of SIGINT/SIGQUIT) closed by hvr
fixed
10:21 AM Ticket #2233 (Overhaul System.Process) closed by hvr
fixed
8:57 AM Changeset in ghc [51bebb7c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Refactor: Origin of inferred Thetas When doing non-standalone deriving, annotate each individual unsimplified constraint with its own CtOrigin. This is just the refactoring, so the CtOrigin is still CtDeriv in each case.
1:27 AM Ticket #8591 (Concurrent executions of ghc-pkg can cause inconstant package.cache files) created by janm
I am doing 24 way parallel builds of system images, including all packages …

Dec 2, 2013:

10:05 PM Changeset in ghc [0fe399c9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Gabor Greif <ggreif@…>
Some popular typos in comments
9:38 PM Ticket #8590 (Reduce code size of CAFs) created by parcs
The size of each CAF could be reduced by moving the code that allocates …
6:42 PM Changeset in ghc [90588c1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Move FunDeps to typecheck That’s where all its users are...
6:42 PM Changeset in ghc [cb17c1f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Note [HyperStr and Use demands] This note is a summary of an explanation by SPJ to me.
6:13 PM Changeset in ghc [aba39d0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Wibbles to output caused by change in checking role annotations
6:13 PM Changeset in testsuite [6741cfd]wip/nested-cprwip/pattern-synonyms by Richard Eisenberg <eir@…>
Wibbles to output caused by change in checking role annotations
6:02 PM Changeset in ghc [102fe6a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test case about HyperStr and UseDemand which was used by SPJ to reduce my ignorance, so I want to ensure I do not break it.
6:02 PM Changeset in testsuite [3cb91b3]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test case about HyperStr and UseDemand which was used by SPJ to reduce my ignorance, so I want to ensure I do not break it.
6:02 PM Changeset in ghc [b84fff3d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Fix location of spliced-in role annotations.
5:33 PM Changeset in ghc [20cc5941]better-ho-cardinality by Simon Peyton Jones <simonpj@…>
Improve the handling of used-once stuff Joachim and I are committing this onto a branch so that we can share it, but we expect to do a bit more work before merging it onto head. Nofib staus: - Most programs, no change - A few improve - A couple get worse (cacheprof, tak, rfib) Investigating the "get worse" set is what's holding up putting this on head. The major issue is this. Consider map (f g) ys where f's demand signature looks like f :: <L,C1(C1(U))> -> <L,U> -> . So 'f' is not saturated. What demand do we place on g? Answer C(C1(U)) That is, the inner C1 should stay, even though f is not saturated. I found that this made a significant difference in the demand signatures inferred in GHC.IO, which uses lots of higher-order exception handlers. I also had to add used-once demand signatures for some of the 'catch' primops, so that we know their handlers are only called once.
4:42 PM Changeset in ghc [3fecf81]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Remove dead code orphaned by implementing GND with `coerce`.
4:42 PM Changeset in ghc [4067340]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Rejig rejigConRes & friends, doing role checks in a second pass. This commit is just a refactoring, intended to make the use of rejigConRes (which sorts out the return types of GADT-like constructors) less delicate. The idea is that, if we perform role checking in a second top-level pass, we can use checkValidDataCon to check for valid return types. Previously, checking roles would force the rejigConRes thunk before we knew that rejigConRes was safe to call!
3:43 PM Changeset in ghc [ca80875]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Looks like plugin06 really only works with dynamic libraries enabled Otherwise we get ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20131202 for x86_64-unknown-linux): Static flags have not been initialised! Please call GHC.parseStaticFlags early enough.
3:43 PM Changeset in testsuite [cf499fe]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Looks like plugin06 really only works with dynamic libraries enabled Otherwise we get ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20131202 for x86_64-unknown-linux): Static flags have not been initialised! Please call GHC.parseStaticFlags early enough.
1:38 PM Changeset in ghc [acdb3a46]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
TH_import_loops fails for GHCi again This reverts commit c0e50e9214b5ecb21435d7da70986d30d6128402 and is related to ticket #1012.
1:38 PM Changeset in testsuite [84b4e9b]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
TH_import_loops fails for GHCi again This reverts commit c0e50e9214b5ecb21435d7da70986d30d6128402 and is related to ticket #1012.
1:31 PM Changeset in ghc [c838eb11]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Try to set flags for some tests involving TH right this tries to imporve upon 435c5955359d6e46a2fb905231678ac37ac0e71a.
1:31 PM Changeset in testsuite [4a8477b]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Try to set flags for some tests involving TH right this tries to imporve upon 435c5955359d6e46a2fb905231678ac37ac0e71a.
1:31 PM Changeset in ghc [e1fffa6c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Mark type-rep as broken until #5869 is fixed
1:31 PM Changeset in testsuite [7baefa8]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Mark type-rep as broken until #5869 is fixed
1:04 PM Changeset in ghc [c4296b9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update apirecomp001 output
1:04 PM Changeset in testsuite [8c9b01c]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update apirecomp001 output
12:27 PM Ticket #8589 (Bad choice of loop breaker with INLINABLE/INLINE) created by NickSmallbone
Take the following program, which defines a pair of lists recursively: …
12:08 PM Building/RunningTests/Adding edited by nomeata
Correctly explain compiler_debugged (diff)
11:50 AM PatternSynonyms edited by simonpj
(diff)
11:40 AM Ticket #8567 (Poor error message when GeneralizedNewtypeDeriving fails) closed by nomeata
fixed: This is implemented and in master, see the test suite update at …
11:36 AM Changeset in ghc [49cbda5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Bump T3064 perf values
11:36 AM Changeset in testsuite [c37e2fb1]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Bump T3064 perf values
11:11 AM Changeset in ghc [eb98c81]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update testsuite for nicer Coercible message
11:11 AM Changeset in testsuite [522563a]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update testsuite for nicer Coercible message
11:05 AM Changeset in ghc [b859c188]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
More links to [Coercible Instances]
11:02 AM Changeset in ghc [06facab6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Refactor deferTcSForAllEq: Do not bind, but return EvTerm
11:02 AM Changeset in ghc [249d47a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Bind monadic stuff in getCoercibleInst locally, not via parameters
11:02 AM Changeset in ghc [e1e9faf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Handle Coercible (forall a. t) (forall a. t2) in TcInteract
11:00 AM Changeset in ghc [bd7a125b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
With GND, report Coercible errors earliy just like other type errors occurring during deriving.
11:00 AM Changeset in ghc [1791ea0a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Print nicer error message for Coercible errors It now reads Could not coerce from ‛S a’ to ‛S (NT a)’ and does not mention Coercible any more (as discussed in #8567).
10:20 AM WorkingConventions edited by simonmar
add link to Repositories (diff)
10:03 AM Emacs edited by simonmar
typo (diff)
9:22 AM Changeset in ghc [5e86ea50]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
TcDeriv: s/isomorphism/coercible in comments and function names, to use less names for the same thing.
8:18 AM Ticket #8275 (Loopification breaks profiling) closed by simonmar
fixed: Ok, looks good, thanks. I'll re-open if I find any problems.
2:38 AM Changeset in ghc [fac831fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Revert "Respect the ordering of -package directives" This commit was accidentally pushed. This reverts commit 574ccfa231ca05d03d1da9d31e5bc81e74cc5e1e.

Dec 1, 2013:

11:35 PM Ticket #8493 (Can't compile happy + ghc with clang's CPP) closed by carter
fixed: I think this issue *should be resolved now* make sure you're using the …
8:54 PM Changeset in ghc [ac31b79]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Move the LDV code below the self-loop label (#8275)
8:54 PM Changeset in ghc [574ccfa]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Respect the ordering of -package directives
8:54 PM Changeset in ghc [6178f6e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Don't explicitly refer to nodeReg in ldvEnterClosure
7:47 PM Ticket #8588 (ForeignImport coercion evaluated before typechecking) closed by zcourts
invalid: As usual stuff doesn't become obvious until after you've made a fool of …
7:33 PM Ticket #8588 (ForeignImport coercion evaluated before typechecking) created by zcourts
I'm fairly new to Haskell by all accounts this could have been caused by …
6:09 PM Ticket #8587 (Add operator <%>, or similar, as <%> = flip fmap) closed by monoidal
invalid: Proposals to add new functions or instances should be discussed on the …
5:36 PM Ticket #8587 (Add operator <%>, or similar, as <%> = flip fmap) created by bunimo
Often, piping results through one function after another provides a good …
3:37 PM Building/Preparation/MacOSX edited by adamse
Information on how to use clang on OS X 10.9 (diff)
1:17 PM Ticket #8586 (internal error: evacuate(static): strange closure type 5189) created by guest
I cannot reproduce this reliably, but it happened once. Here’s what I did: …
10:28 AM Changeset in ghc [6d24076b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Document solution to #8275
10:25 AM Changeset in process [b2f1133]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Minor update to changelog file Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:21 AM Changeset in process [edda1be]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock note to `call{Command,Process}` wrt execptions (#2233) This also tweaks Haddock comments & markup in "System.Process" while at it. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:15 AM Ticket #8585 (Loopification should omit stack check) created by jstolarek
When we optimize a self-recursive tail call using loopification we don't …
10:15 AM Changeset in process [776a260]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Make `cleanupProcess` resistant to SIGPIPE Otherwise, `cleanupProcess` may exit prematurely if trying to flush out data to the process' stdin handle even though the endpoint has already vanished, and fail to complete the cleanup process. See also 228297ec53e9ee7a1a6a3c5964ca7e89a6474c9b and #2233. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:08 AM Ticket #8275 (Loopification breaks profiling) closed by jstolarek
fixed: OK, I see how the loopification patch works. Previously we had: […] …
8:44 AM WorkingConventions edited by jstolarek
(diff)
8:08 AM Changeset in ghc [adb9964]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Fix loopification with profiling and enable it by default (#8275)
5:11 AM PatternSynonyms edited by cactus
(diff)
4:47 AM PatternSynonyms edited by cactus
(diff)
4:44 AM Ticket #8584 (Pattern synonym type signatures) created by cactus
Currently, the only way to specify a type signature for a pattern synonym …
4:41 AM Ticket #8583 (Associated pattern synonyms) created by cactus
The PatternSynonyms wiki page has a section on (typeclass-)associated …
4:39 AM Ticket #8582 (Record syntax for pattern synonyms) created by cactus
Implement syntax for […] which can then be used just like a regular …
4:31 AM Ticket #8581 (Add support for explicitly-bidirectional pattern synonyms) created by cactus
Some patterns cannot, by themselves, be turned over into an expression, so …

Nov 30, 2013:

10:38 PM Changeset in process [228297e]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop redundant hFlush & add ignoreSigPipe to hClose This is a follow-up to 79ae975aab5866de38e1a01aca7ac5bd9cde2285 (addressing #2233) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:14 PM Ticket #8580 (Integer size mismatch errors) created by heatsink
There is an integer size mismatch in rts/Stats.c that causes validation …
3:52 PM Ticket #8574 (Failure to require FlexibleContexts) closed by monoidal
fixed: Documentation fixed.
3:50 PM Changeset in ghc [4bbffb4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Fix documentation of FlexibleContexts (#8574)
3:32 PM Commentary edited by jstolarek
(diff)
3:28 PM Commentary edited by jstolarek
(diff)
2:23 PM Ticket #8579 (Loading a module in GHCi affects shadowing) created by monoidal
In GHCi we can redefine a data declaration; last definition counts. But …
12:53 PM Changeset in ghc [de9f17e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update "stolen syntax" section (#8575)
1:32 AM Ticket #8578 (Improvements to SpinLock implementation) created by parcs
The SpinLock? implementation has a number of deficiencies. Here is a pair …
1:13 AM Changeset in ghc [9c3c1527]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Call busy_wait_nop() in the spin-wait loop in shutdown_gc_threads()

Nov 29, 2013:

11:24 PM Ticket #8577 (Polymorphism and typed TH) created by monoidal
Consider […] $$x is given type A a, as expected. However, $$y
9:48 PM Ticket #8575 (remove obsolete "stolen syntax") closed by monoidal
fixed: I've pushed it, thanks. Also added typed TH syntax.
9:44 PM Changeset in ghc [2e3c6a53]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update "stolen syntax" section (#8575) Thanks to aavogt
9:25 PM Ticket #8576 (Improve deriving error messages) created by nomeata
Instead of […] for […] we want something like […] where we tell …
8:57 PM Ticket #8575 (remove obsolete "stolen syntax") created by aavogt
Hi. The quasiquotes [:x| |] and implicitparams %x syntax …
7:08 PM Changeset in ghc [a96f715f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add test case for #8569
7:08 PM Changeset in testsuite [c9d164a]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add test case for #8569
7:08 PM Changeset in ghc [3526198]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test the strictness analyzer using annotations This adds a new directory, tests/stranal/sigs. Tests therein are expected to use the StrAnalAnnotation GHC plugin (also therein) to annotate (some of) their top level functions like this: foo x = x {-# ANN foo (StrAnal "<S,1*U>") #-} Then the test will fail if the strictness analyzer finds a different strictness signature.
7:08 PM Changeset in testsuite [b0358f4]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test the strictness analyzer using annotations This adds a new directory, tests/stranal/sigs. Tests therein are expected to use the StrAnalAnnotation GHC plugin (also therein) to annotate (some of) their top level functions like this: foo x = x {-# ANN foo (StrAnal "<S,1*U>") #-} Then the test will fail if the strictness analyzer finds a different strictness signature.
6:44 PM Changeset in ghc [ceb600de]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Minor fix to example GHC plugin in the documentation
3:14 PM Ticket #8574 (Failure to require FlexibleContexts) created by Feuerbach
GHC accepts the following code without any extensions: […] It ought …
2:43 PM Ticket #8573 ("evacuate: strange closure type 0" when creating large array) created by nad
Consider the following code: […] If I compile the program using `ghc …
9:28 AM Changeset in ghc [23efdd6f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update Notes for Coercible
8:33 AM Changeset in process [d95a670]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Be even more careful with the threads that consume output (#2233) There is a potential deadlock with withCreateProcess in the case that there's an exception: cleanupProcess will try to hClose the various handles, but if another thread holds the Handle lock then that hClose will block. Takano Akio fixed the main case of this (in patch 32223a9ab174c22e939c81e24b6f48223c7cb020) by terminating the process (before closing the handles) This works because terminating the process will eventually cause those other threads to finish and release the Handle lock, so we can hClose. However on Unix terminateProcess is not guaranteed to terminate the process since it uses SIGTERM, which can be handled or ignored. So we have to separately guarantee that the handles can be hClosed, and the simplest way to do this is to ensure that the thread reading from the handles get killed in the case there's an exception. So we change forkWait to withForkWait that will kill off the thread if the body gets an exception. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:33 AM Changeset in process [79ae975]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Improve the code for ignoring EPIPE (#2233) Factor it out into an ignoreSigPipe util, and use it in both readProcess and readProcessWithExitCode. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 AM Changeset in process [b601209]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
All new sync process functions now terminate on an exception (#2233) Now all the functions that call a process synchronously have the same behaviour. Previously just readProcess, readProcessWithExitCode did this, now callProcess and callCommand do too. If a thread running one of these functions gets an exception, including async exceptions (such as from timeout or killThread), then the external process gets terminated. Introduce a helper function to implement this behaviour. Currently it is not exposed to users, but that could be changed easily. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:09 AM Changeset in ghc [9641641]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Remove whitespace between macro identifiers and `(` This is a kludge to workaround Clang's CPP lacking traditional-mode CPP (This was reported by Kazu Yamamoto) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:45 AM Ticket #8570 (In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus ...) closed by simonpj
fixed: Thank you!
7:31 AM Changeset in ghc [59e17d6e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fail (rather than addErr) if you use a bogus field in a pattern This fixes Trac #8570
7:30 AM Changeset in ghc [c5fa5d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8570
7:30 AM Changeset in testsuite [162765e]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8570
7:26 AM Changeset in ghc [76f8a4b3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles when fixing Trac #8570
7:26 AM Changeset in testsuite [5f3c989]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles when fixing Trac #8570

Nov 28, 2013:

7:06 PM Ticket #8572 (Building an empty module with profiling requires profiling libraries for ...) created by parcs
[…] […] I can't built module A without profiling libraries for …
5:19 PM Ticket #8571 (Validation fails) created by khyperia
[…] followed by an infinite hang. If I comment out that specific …
4:07 PM Ticket #8557 (Panic "tcTyVarDetails" when :forcing a kind-polymorphic data family ...) closed by simonpj
fixed
4:06 PM Changeset in ghc [a95a20b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8557
4:06 PM Changeset in testsuite [45f2d29]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8557
4:02 PM Ticket #8540 (Template Haskell handling bug in ghc-7.7.20131115 ?) closed by simonpj
fixed
4:02 PM Changeset in ghc [cefe67b0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:02 PM Changeset in ghc [88d06d9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fixed Trac #8540
4:02 PM Changeset in testsuite [e00c604]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:02 PM Changeset in testsuite [3549b37]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Fixed Trac #8540
3:59 PM Changeset in ghc [a8ac471d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix the deugger (fixing Trac #8557) The runtime debugger (which has not received any love from anyone for many years) looks wrong to me; it was failing to instantiate the outer foralls of a variable when called from :force, which calls cvObtainTermFromId, which calls cvObtainTerm I simplified the code too. But I'm flaky on how this debugger stuff is really supposed to work, so I'm partly guessing. Tests pass though.
3:59 PM Changeset in ghc [f3a84161]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
More faff to get GHCi's top-level environment right This fixes #8540 (again), and simplifies matters a bit more. In particular, I got rid of ic_sys_vars altogether. Mostly they can just go in ic_tythings, apart from dfuns, which are readily gettable from the instances anyway. See documentation in Note [Initialising the type environment for GHCi] in TcEnv.
3:56 PM Changeset in ghc [d79ecb4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Explain skipping compiler-perf tests when debugging is on
3:56 PM Changeset in testsuite [14958ae]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Explain skipping compiler-perf tests when debugging is on
2:36 PM Ticket #8570 (In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus ...) created by rzetterberg
Hello, This is my first bug report for GHC. I encountered a type error …
2:20 PM Building/RunningTests/Adding edited by nomeata
Mention that compiler_stats_num_field skips the test with DEBUG on (diff)
2:17 PM Changeset in ghc [3ec7f39]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Summarily skip compiler_perf tests when DEBUG is on by ensuring this in the test runner.
2:17 PM Changeset in testsuite [715e313]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Summarily skip compiler_perf tests when DEBUG is on by ensuring this in the test runner.
1:50 PM Changeset in ghc [6da3797]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Undo my wrong bumps to T6048 which were obtained when running with -DDEBUG. Sorry about that.
1:50 PM Changeset in testsuite [ee9c477]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Undo my wrong bumps to T6048 which were obtained when running with -DDEBUG. Sorry about that.
12:57 PM Ticket #6084 (Add stg_ap_pnnv and related call patterns) closed by simonmar
fixed: Thanks - I pushed this today, with some more comments after peering at the …
12:53 PM Changeset in ghc [52b96a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add Note about residency tests
12:53 PM Changeset in ghc [eebf8d87]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for T6084
12:53 PM Changeset in testsuite [43e82d1]wip/nested-cprwip/pattern-synonyms by Simon Marlow <marlowsd@…>
add Note about residency tests
12:53 PM Changeset in testsuite [3d9ebe96]wip/nested-cprwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add test for T6084
12:52 PM Changeset in ghc [4d1ea48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Implement shortcuts for slow calls (#6084)
12:52 PM Changeset in ghc [e9b0d368]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Fix up shortcut for slow calls
12:52 PM Changeset in ghc [9021737d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Comments on slow-call-shortcutting
12:52 PM Changeset in ghc [77e33bc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
-ddump-cmm: don't dump the proc point stage if we didn't do anything
12:52 PM Changeset in ghc [6f7fa4e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Refactor handleRunStatus some more, add comments and tidy up formatting I liked the idea of combining traceRunStatus and handleRunStatus, but I think we lost a bit of clarity where traceRunStatus wants to fall back to handleRunStatus when the breakpoint is enabled. So I refactored it a bit more.
12:43 PM Commentary/Packages/MultiInstances edited by tibbe
(diff)
12:36 PM Changeset in ghc [1df2116c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
EvCast needs to take a representational coercion as the coercions for type literals are of that role.
12:36 PM Changeset in ghc [25be487]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update some perf results for master
12:36 PM Changeset in testsuite [4afbacc]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update some perf results for master
12:35 PM Ticket #8569 (ASSERT in testcase type-rep, only in some ways:) created by nomeata
On HEAD, I currently (d55cc30658ae7c5afc0d62f3bd118fb2a5fcee40) get …
11:58 AM Changeset in ghc [3fcde749]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comments only
11:50 AM Changeset in ghc [e28006c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Output of T7861 has changed
11:50 AM Changeset in testsuite [a2b2f4b6]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Output of T7861 has changed
11:49 AM Changeset in ghc [d3b14cd4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
#3103 no longer broken, it seems
11:49 AM Changeset in testsuite [2e161a4]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
#3103 no longer broken, it seems
9:46 AM Changeset in ghc [b5b6613]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Ensure nested CPR does not break havoc with repeat ...not that we do have nested CPR right now, but when we do, this should better not break.
9:46 AM Changeset in testsuite [c3646db]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Ensure nested CPR does not break havoc with repeat ...not that we do have nested CPR right now, but when we do, this should better not break.
Note: See TracTimeline for information about the timeline view.