Timeline


and

Nov 25, 2013:

8:09 PM Ticket #8564 (Unhandled ELF relocation types on dynamically loading object files with ...) created by pgj
GHCi cannot handle ELF symbols with relocation types 15 (i386) and 22 …
6:44 PM Ticket #8563 (Deriving with PolyKinds broken) closed by nomeata
fixed: Yes, validate went through (and I need a faster machine so that I can go …
6:44 PM Changeset in ghc [7dcce31]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Mark #8562 as fixed
6:44 PM Changeset in testsuite [66de8c1]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Mark #8562 as fixed
6:17 PM Changeset in ghc [803afa3]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
In toHsType, filter out kind variables (This fixes #8563)
5:54 PM Changeset in ghc [586a251]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Add testcase for #8563
5:54 PM Changeset in testsuite [d7702a1]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add testcase for #8563
5:46 PM Ticket #8563 (Deriving with PolyKinds broken) created by edsko
Compiling […] gives […]
4:59 PM Changeset in ghc [58e19937]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:59 PM Changeset in testsuite [688178e]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:58 PM Changeset in ghc [51deeb0d]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Another raft of Template Haskell clean-up The handling of typed and untyped brackets was extremely convoluted, partly because of the evolutionary history. I've tidied it all up. See Note [How brackets and nested splices are handled] in TcSplice for the full story Main changes: * Untyped brackets: after the renamer, HsRnBracketOut carries PendingRnSplices for splices in untyped brackets. In the typechecker, these pending splices are typechecked quite straigtforwardly, with no ps_var nonsense. * Typed brackets: after the renamer typed brackest still look like HsBracket. The type checker does the ps_var thing. * In TcRnTypes.ThStage, the Brack constructor, we distinguish the renaming from typehecking pending-stuff. Much more perspicuous! * The "typed" flag is in HsSpliceE, not in HsSplice, because only expressions can be typed. Patterns, types, declarations cannot. There is further improvement to be done to make the handling of declaration splices more uniform.
3:52 PM Changeset in ghc [f8b25c30]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Richard Eisenberg <eir@…>
Update to core-spec documentation. This update includes some wibbles to make Co_TyConAppCo clearer, as well as the introduction of forms for AxiomRuleCo.

Nov 24, 2013:

7:38 PM Changeset in ghc [5c904ba]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Mention that the user has to import GHC.Exts for Constraint (required judging from confusion on #haskell right now.)
6:33 PM Ticket #8562 (Builtin function __builtin___clear_cache is unavailable on GCC 4.2) created by heatsink
A recent update to the RTS uses the GCC builtin function …
6:21 PM Changeset in ghc [a56dadc]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Mark break006 break003 print019 as broken by #8540 ...when debugging is on, to keep builds reports clean.
6:21 PM Changeset in testsuite [55eb21b]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Mark break006 break003 print019 as broken by #8540 ...when debugging is on, to keep builds reports clean.
4:53 PM Changeset in ghc [87672e7d]wip/T8959wip/T8968wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Herbert Valerio Riedel <hvr@…>
Update Autoconf tests for recent GMP version This should improve the check for a suitable installed GMP version, to implicitly check if GMP provides __gmpz_powm_sec() which has been added in GMP version 5.0.0 and switch to the in-tree GMP 5.0.3 source otherwise. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:53 PM Changeset in integer-gmp [01c3963]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Update Autoconf tests for recent GMP version This should improve the check for a suitable installed GMP version, to implicitly check if GMP provides __gmpz_powm_sec() which has been added in GMP version 5.0.0 and switch to the in-tree GMP 5.0.3 source otherwise. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:31 PM Ticket #8509 (Doc Formatting - Patch Included) closed by monoidal
fixed: Applied, thanks.
12:30 PM Changeset in directory [b3abf7a]ghc-7.8 by Krzysztof Gogolewski <krz.gogolewski@…>
Fix the formatting of error docs of removeDirectory (#8509)
12:19 PM Changeset in base [d679f5e]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `instance {Bits,FiniteBits} Bool` This interprets `Bool` as an 1-bit "unsigned" bit-field and provides a simple (not particularily optimized) implementation to that end. See "Proposal: Add `instance Bits Bool`" by @ekmett, Nov 2013, http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20663 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:19 PM Changeset in ghc [775d13d]wip/T8959wip/T8968wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Herbert Valerio Riedel <hvr@…>
Add `instance {Bits,FiniteBits} Bool` This interprets `Bool` as an 1-bit "unsigned" bit-field and provides a simple (not particularily optimized) implementation to that end. See "Proposal: Add `instance Bits Bool`" by @ekmett, Nov 2013, http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20663 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:58 AM GitRepoReorganization edited by hvr
(diff)
9:56 AM GitRepoReorganization edited by hvr
(diff)

Nov 23, 2013:

9:57 PM Ticket #8561 (Clang/iOS: __builtin___clear_cache doesn't exist in clang, use ...) created by lukexi
The builtin_clear_cache from GCC is just called clear_cache with …
7:42 PM Ticket #8560 (undeducable Typeable error with data kinds when deriving Data for GADT in ...) created by carter
This may be an artifact of issue #8128 (see …
9:50 AM Ticket #8559 (Compiling dph-lifted fails with "NoSpecConstr" not in scope) created by trommler
Building ghc-7.7.20131120 fails with this on powerpc64 Linux: […]

Nov 22, 2013:

11:56 PM Ticket #8558 (Build xhtml and haddock only when `HADDOCK_DOCS=YES`) created by nomeata
In order to save contributor’s time, and in order to run the test suite …
9:58 PM Ticket #7725 (Operators without colons) closed by monoidal
duplicate: Closing in favor of #8556.
9:50 PM Ticket #8503 (New GeneralizedNewtypeDeriving check still isn't permissive enough) closed by nomeata
fixed: It seems that trac does not do NLP, but Richard does. So again: Closing …
9:50 PM Ticket #8548 (Coercible does not resolve type family application) closed by nomeata
fixed: This has hit master together with the changes for #8503, closing.
9:46 PM Ticket #8557 (Panic "tcTyVarDetails" when :forcing a kind-polymorphic data family ...) created by goldfire
I have […] When I load into GHCi and tried to force x, this …
9:08 PM Ticket #8556 (Invalid constructor names are accepted in data declarations) created by dolio
Earlier today, someone was asking on #haskell why the constructor name …
8:11 PM Changeset in ghc [3b45ada6]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
T5246 and T7474 back working with -DDEBUG thanks to SPJ'S fixes for #8553 in 985663ea47487a9e567814ba000e81d65358bf02
8:11 PM Changeset in testsuite [81a49bc]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
T5246 and T7474 back working with -DDEBUG thanks to SPJ'S fixes for #8553 in 985663ea47487a9e567814ba000e81d65358bf02
6:59 PM Changeset in ghc [f4384647]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Replace (State# RealWorld) with Void# where we just want a 0-bit value We were re-using the super-magical "state token" type (which has VoidRep and is zero bits wide) for situations in which we simply want to lambda-abstract over a zero-bit argument. For example, join points: case (case x of { True -> e1; False -> e2 }) of Red -> f1 Blue -> True ==> let $j1 = \voidArg::Void# -> f1 in case x of True -> case e1 of Red -> $j1 void Blue -> True False -> case e2 of Red -> $j1 void Blue -> True This patch introduces * The new primitive type GHC.Prim.Void#, with PrimRep = VoidRep * A new global Id GHC.Prim.voidPrimId :: Void#. This has no binding because the code generator drops it, but is used as an argument (eg in the call of $j1) * A new local Id, MkId.voidArgId, which can be lambda-bound when you need to lambda-abstract over it. and uses them throughout. Now the State# thing is used only when we need state!
6:57 PM Changeset in ghc [7a22c30]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Untabify and trailing white space
6:57 PM Changeset in ghc [b83666d4]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Move isVoidRep, isGcPtrRep to TyCon to join primRepSizeW etc This is just a modest refactoring
6:57 PM Changeset in ghc [1b282fcc]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Add a missing case to Lint's understanding of empty cases case x:Int# of {} is OK
6:21 PM Changeset in ghc [42370b51]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Updates perf numbers after #8503 implementation
6:21 PM Changeset in testsuite [94128d39]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Updates perf numbers after #8503 implementation
6:01 PM Changeset in ghc [f065205]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Use bindLocalNamesFV in rn_inst_info
6:01 PM Changeset in ghc [e9e413ec]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Large refactor: Move CtLoc field from Ct to CtEvidence
6:01 PM Changeset in ghc [310e7e7f]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Add ctLoc = ctev_loc . cc_ev
6:01 PM Changeset in ghc [db3d9711]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Prevent recursive Coercible dictionaries
6:01 PM Changeset in ghc [335031f]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Extend Coercible to newtype instances This fixes: #8548
6:01 PM Changeset in ghc [2930694d]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Implement GeneralizedNewtypeDeriving in terms of `coerce`.
6:01 PM Changeset in ghc [6ba82b1a]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Use newTyConInstRhs in coerce’d GND
5:54 PM Changeset in ghc [a4c79e3e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Type function application has its own depth counter now
5:54 PM Changeset in ghc [6f49522]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Add test cases for Coercing recursive newtypes (#8503)
5:54 PM Changeset in ghc [d544260]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Testcase for Coercible and newtype families (#8548)
5:54 PM Changeset in ghc [4a2e4a7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Coercible-base GND: update error messages (unfortunately, not to the better, these might need some more massaging.)
5:54 PM Changeset in ghc [d6b0c796]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Update test output of print018 It seems that “Use bindLocalNamesFV in rn_inst_info” makes some names nicer in the debugger output.
5:54 PM Changeset in testsuite [e3b8294]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Type function application has its own depth counter now
5:54 PM Changeset in testsuite [6468bee]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add test cases for Coercing recursive newtypes (#8503)
5:54 PM Changeset in testsuite [8949a7c]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Testcase for Coercible and newtype families (#8548)
5:54 PM Changeset in testsuite [17da038]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Coercible-base GND: update error messages (unfortunately, not to the better, these might need some more massaging.)
5:54 PM Changeset in testsuite [9412c268]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update test output of print018 It seems that “Use bindLocalNamesFV in rn_inst_info” makes some names nicer in the debugger output.
5:51 PM Changeset in ghc [e42ddfe1]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Make SubGoalDepth a type of its own In preparation of counting type function applications and constraint resolving separately.
5:51 PM Changeset in ghc [01b12ca]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Separate SubGoalDepthCounters (constraints and typ fun applications)
5:51 PM Changeset in ghc [b6b5c41]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Add -ftype-function-stack to set type function stack depth
4:49 PM Ticket #8540 (Template Haskell handling bug in ghc-7.7.20131115 ?) closed by simonpj
fixed
4:47 PM Changeset in ghc [7055a16]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #8540
4:47 PM Changeset in testsuite [c0bca88]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8540
4:42 PM Changeset in ghc [e4e7aff0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Error message improvements
4:42 PM Changeset in ghc [d3ea4ce]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:42 PM Changeset in ghc [15bfc03]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Higher residency in Haddock I think there really is a slight worsening in the situation here, but it needs someone to build a profiled compiler and take a proper look. There isn't anything obvious in what I've done, which mainly concerns Template Haskell and hence should not affect Haddock. Strange, annoying, but I'm going to live with it.
4:42 PM Changeset in testsuite [9fa51f9]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message improvements
4:42 PM Changeset in testsuite [7766065]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:42 PM Changeset in testsuite [15c09a33]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Higher residency in Haddock I think there really is a slight worsening in the situation here, but it needs someone to build a profiled compiler and take a proper look. There isn't anything obvious in what I've done, which mainly concerns Template Haskell and hence should not affect Haddock. Strange, annoying, but I'm going to live with it.
4:39 PM Changeset in ghc [e999950]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Clarify what is in ic_tythings, and refactor TcRnDriver.setInteractiveContext Previously there was a ton of cruft to do wtih "visible ids" in setInteractiveContext, but I made it all a lot simpler by providing a way to add to the typecheckers list of "global type variables", via TcEnv.tcExtendGlobalTyVars. This is much nicer.
4:39 PM Changeset in ghc [db53b5aa]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Refactor TcSplice.tcBracket a bit The way that untyped brackets are typechecked is still grotesquely indirect, but I'll sort that out in a subsequent patch
4:39 PM Changeset in ghc [ea49c015]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Wibble to RnSplice (really belongs with b7f35733)
4:39 PM Changeset in ghc [c42d5ca]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Improve pretty-printing of pending splices
4:39 PM Changeset in ghc [3e5905b4]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Refactor traceRunStatus/handleRunStatus No change in behaviour, but I combined these two functions, and I think the result is a good deal clearer
4:39 PM Changeset in ghc [7881488]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
A raft of changes driven by Trac #8540 The root cause of #8450 is that the new Template Haskell story, with the renamer doing more of the work of Template Haskell, wasn't dealing correctly with the keepAlive problem. Consider g = ..blah... f = [| g |] Then f's RHS refers to g's name but not to g, so g was being discarded as dead code. Fixing this sucked me into a deep swamp of understanding how all the moving parts of hte new Template Haskell fit together, leading to a large collection of related changes and better documentation. Specifically: * Instead of putting the TH level of a binder in the LocalRdrEnv, there is now a separate field tcl_th_bndrs :: NameEnv (TopLevelFlag, ThLevel) in the TcLclEnv, which records for each binder a) whether it is syntactically a top-level binder or not b) its TH level This deals uniformly with top-level and non-top-level binders, which was previously dealt with via greviously-delicate meddling with Internal and External Names. Much better. * As a result I could remove the tct_level field of ATcId. * There are consequential changes in TcEnv too, which must also extend the level bindings. Again, more clarity. I renamed TcEnv.tcExtendTcTyThingEnv to tcExtendKindEnv2, since it's only used during kind inference, for (AThing kind) and APromotionErr; and that is relevant to whether we want to extend the tcl_th_bndrs field (no). * I de-crufted the code in RnEnv.extendGlobalRdrEnv, by getting rid of the qual_gre code which said "Seems like 5 times as much work as it deserves!". Instead, RdrName.pickGREs makes the Internal names shadow External ones. * I moved the checkThLocalName cross-stage test to finishHsVar; previously we weren't doing the test at all in the OpApp case! * Quite a few changes (shortening the code) in the cross-stage checking code in TcExpr and RnSplice, notably to move the keepAlive call to the renamer One leftover piece: * In TcEnv I removed tcExtendGhciEnv and refactored tcExtendGlobalTyVars; this is really related to the next commit, but it was too hard to disentangle.
4:10 PM Ticket #8553 (ASSERT failed compiler/typecheck/TcMType.lhs line 809) closed by simonpj
fixed: This really was a bug, now fixed. (The particular manifestation was that …
4:06 PM Changeset in ghc [ea73ef7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
gadt6 is fine now, even with DEBUG
4:06 PM Changeset in testsuite [84bec95]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
gadt6 is fine now, even with DEBUG
3:58 PM Ticket #8537 (confusing error message for specialize pragma) closed by simonpj
fixed: Error message improved! Simon
3:55 PM Ticket #8542 (Suggest NegativeLiterals) closed by simonpj
fixed: I pushed this, modified a bit to give errors like […] That is, we now …
3:50 PM Changeset in ghc [67661b61]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Improved error messages
3:50 PM Changeset in testsuite [bbdee55]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Improved error messages
3:50 PM Changeset in ghc [e38b994]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test #8542
3:50 PM Changeset in ghc [b99d8aa9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #8537
3:50 PM Changeset in testsuite [813ba42]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test #8542
3:50 PM Changeset in testsuite [2a88f8f]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8537
3:50 PM Changeset in ghc [9db49518]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Better constraint-solver tracing
3:50 PM Changeset in ghc [2081bdcb]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Add suggestion of -XNegativeLiterals Based on a draft from Krzysztof Gogolewski. Fixes Trac #8542
3:50 PM Changeset in ghc [7db23406]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Print the correct name when complaining about SPECIALISE pragmas Fixes Trac #8537
3:50 PM Changeset in ghc [985663e]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Fix type-equality in the type checker (fixes Trac #8553) For horrible reasons (Note [Comparison with OpenTypeKind] in Type), the function Type.eqType currently equates OOpenKind with *. This may or may not be a good idea (it's certainly a revolting one) but it DOES NOT WORK in the type checker, which *does* need to distinguish OpenKind and *. Rather than solve the underlying problem (I have some ideas) I just introduced a new, and very short, simple, straightforward function TcType.tcEqType to do the job.
3:33 PM Ticket #8526 (-fforce-recomp does not re-summarise modules) closed by parcs
fixed
3:27 PM Changeset in ghc [0858061]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Patrick Palka <patrick@…>
Always re-summarise modules when -fforce-recomp is set Fixes #8526
3:24 PM Changeset in ghc [0d10c874]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Patrick Palka <patrick@…>
Test Trac #8526
3:24 PM Changeset in testsuite [b8c8a21]wip/nested-cprwip/pattern-synonyms by Patrick Palka <patrick@…>
Test Trac #8526
2:30 PM Ticket #8551 (Fix formatting in docs at one place) closed by thoughtpolice
fixed: Merged, thanks!
2:29 PM Ticket #8380 (Numerous testsuite failures on ARM due to missing mkJumpToAddr) closed by thoughtpolice
fixed
2:28 PM Ticket #8122 (make binary-dist broken on OS X in HEAD) closed by thoughtpolice
fixed
2:27 PM Ticket #5013 (sporadic failures during compilation under solaris) closed by maeder
worksforme: This change improved the situation for me. I did not observe the failure …
2:25 PM Ticket #8533 (Extend new getPhysicalMemorySize ifdef to ios_HOST_OS) closed by thoughtpolice
fixed
2:20 PM Changeset in ghc [eba82bd]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Untabify buffer. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [5bab1a5]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
GHCi: Properly generate jump code for ARM (#8380) This adds code for jumping to given addresses for ARM, written by Ben Gamari. However, when allocating new infotables for bytecode (which is where this jump code occurs), we need to be sure to flush the cache on the execute pointer returned from allocateExec() - on systems like ARM, the processor won't reliably read back code or automatically cache flush, where x86 will. So we add a new flushExec primitive to call out to GCC's __builtin___clear_cache primitive, which will properly generate the correct code (nothing on x86, and a call to libgcc's __clear_cache on ARM) and make sure we use it after writing the code out. Authored-by: Ben Gamari <bgamari.foss@gmail.com> Authored-by: Austin Seipp <austin@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [50055afe]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Fix make binary-dist on OS X (#8122) Authored-by: Christiaan Baaj <christiaan.baaij@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [98a85125]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
M-x delete-trailing-whitespace Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [1bffa2b]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Fix formatting (fixes #8551) Signed-off-by: Arash Rouhani <rarash@student.chalmers.se> Reviewed-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [ac5ff64]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Comment on StgArrWords vs StgArrBytes See #8552 Signed-off-by: Arash Rouhani <rarash@student.chalmers.se> Reviewed-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [9bb909b]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Temporarily lower unfolding threshold on Windows This is a very temporary, very unsatisfactory hack to fix #5987 (for now.) The included comments essentially say it all: we lower the unfolding threshold to minimize some amount of exported symbols from the GHC stage2 DLL. I unfortunately had to lower it quite substantially for the dynamic stage2 build to pass. As of this writing, the DLL split between ghc.dll and ghc-0.dll is something like 26,000 vs 63,000 exported symbols, respectively. So we're still quite in danger of tripping it, but I think we will be OK at this exact moment. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 PM Changeset in ghc [bb73d1d]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Austin Seipp <austin@…>
Extend getPhysicalMemorySize to iOS (#8533) Authored-by: Authored-by: Luke Iannini <lukexi@me.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:00 PM Ticket #8555 (Simplify given `Coercible` constraints) created by nomeata
It would be feasible and possibly useful if […] would work. This …
1:46 PM Changeset in ghc [3fdad85]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Ignore untracked contents in submodules The GHC build creates files there that are not part of the project’s .gitignore, and clutter up "git status" in ghc/. With this patch, these changes are ignored; modifications to existing files in the submodule repositories are still reported.
10:13 AM Changeset in ghc [3f0d453]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
When removing unreachable code, remove unreachable info tables too This bug only shows up when you are using proc-point splitting. What was happening was: * We generate a proc-point for the stack check * And an info table * We eliminate the stack check because it's redundant * And the dangling info table caused a panic in CmmBuildInfoTables.bundle
10:13 AM Changeset in ghc [8ba55ae]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Add debug dump of the list of Cmm proc points
10:13 AM Changeset in ghc [aebc7e1]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Improve panic printout
10:13 AM Changeset in ghc [b3f9c91]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Don't complain about rules overlapping functions with no unfolding This showed up when importing a module that was compiled without -O, so there were no unfoldings in the interface file
9:41 AM Changeset in ghc [9f71101]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Mark tests as expect_broken when borken with -DDEBUG The related bugs are #8553 and #8525.
9:41 AM Changeset in testsuite [9f10d5b]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Mark tests as expect_broken when borken with -DDEBUG The related bugs are #8553 and #8525.
8:12 AM Changeset in ghc [e3b5317]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Gabor Greif <ggreif@…>
Grammar in comments

Nov 21, 2013:

6:37 PM Ticket #8554 (kindFunResult panic when type checking wrongly-kinded function) closed by monoidal
duplicate: Thanks for the report. This is already fixed in HEAD (#7368 and search …
5:29 PM Ticket #8554 (kindFunResult panic when type checking wrongly-kinded function) created by patrick_thomson
While working on some writing about recursion schemes and morphisms, I …
4:39 PM Ticket #8553 (ASSERT failed compiler/typecheck/TcMType.lhs line 809) created by nomeata
With current master (9c2dade94fae5f4fe19cd972ca1f1049c633e4ed) I get …
1:27 PM Changeset in ghc [afb83bc1]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [92b614fc]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [a51c4b5]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
Comment
1:27 PM Changeset in ghc [ef89860]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [e82fa829]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
In the DEBUG rts, track when CAFs are GC'd This resurrects some old code and makes it work again. The idea is that we want to get an error message if we ever enter a CAF that has been GC'd, rather than following its indirection which will likely cause a segfault. Without this patch, these bugs are hard to track down in gdb, because the IND_STATIC code overwrites R1 (the pointer to the CAF) with its indirectee before jumping into bad memory, so we've lost the address of the CAF that got GC'd. Some associated refactoring while I was here.
1:27 PM Changeset in ghc [beaf8c37]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
CheckUnload needs to look at revertible_caf_list Retained CAFs must keep an object file alive.
1:27 PM Changeset in ghc [5874f13f]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
Allow the linker to be used without retaining CAFs unconditionally This creates a new C API: initLinker_ (int retain_cafs) The old initLinker() was left as-is for backwards compatibility. See documentation in Linker.h.
1:26 PM Changeset in ghc [13fd6e2d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
Update linker_unload to cope with CAFs
1:26 PM Changeset in testsuite [9fd0ffd]wip/nested-cprwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Update linker_unload to cope with CAFs
1:24 PM Changeset in ghc [36dbf27]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
refactor tick handling a little
1:24 PM Changeset in ghc [2885ab0]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
Rename mkNoTick to mkNoCount
1:24 PM Changeset in ghc [63c6f6aa]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
mkNoScope: expand the default case
1:24 PM Changeset in ghc [fecf75b]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <marlowsd@…>
tickishCanSplit should be False for HpcTick (no functional changes I hope)
1:16 PM Changeset in ghc [9c2dade9]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Fix branch name check regex in sync-all
1:15 PM Ticket #8552 (Rename StgArrWords to StgArrBytes) created by Tarrasch
Since #3800, StgArrWords contains a certain number of words and not …
12:54 PM Ticket #8551 (Fix formatting in docs at one place) created by Tarrasch
See to-be-attached patch
12:21 PM Ticket #8550 (GHC builds recursive coerctions when using recursive type families) created by nomeata
Consider […] On GHC 7.6.3 it yields a context reduction stack …
11:55 AM Building/RunningTests/Updating edited by simonpj
(diff)
11:03 AM Ticket #8547 (Data.Vector.foldl' hangs GHC indefinitely with -O2) closed by monoidal
duplicate: This is fixed in HEAD (#5550). Thanks for the report.
10:49 AM Ticket #8549 (GHCI incorrectly link symbols defined with foreign import ccall) created by qnikst
I have a problem that ghci when loads modules that uses external symbols …
9:27 AM Ticket #8548 (Coercible does not resolve type family application) created by nomeata
With GND implemented using Coercible (See #8503) the test for #4185
9:05 AM Ticket #8547 (Data.Vector.foldl' hangs GHC indefinitely with -O2) created by blitzcode
Running 'ghc -O2 -fforce-recomp -c Bug.hs' on the following […] will …
7:39 AM Ticket #8546 (Panic during cabal build with profiling enabled.) closed by Mokosha
duplicate: Seems to be a duplicate of bug 7056
7:14 AM Ticket #8546 (Panic during cabal build with profiling enabled.) created by Mokosha
I had been recently using cabal-dev for my development work. Someone …
5:15 AM Changeset in process [ea641e4]ghc-7.8 by Austin Seipp <austin@…>
Fix build (unterminated #ifdef) Signed-off-by: Austin Seipp <austin@well-typed.com>
4:49 AM Changeset in process [de34100]ghc-7.8 by Austin Seipp <austin@…>
Fix windows build. Win32 doesn't have defaultSignal. Signed-off-by: Austin Seipp <austin@well-typed.com>

Nov 20, 2013:

9:08 PM Changeset in process [4425b44]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Minor Haddock markup fix Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:57 PM Changeset in process [7710899]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `/Since: 1.2.0.0/` annotations to recently added entities ...and update changelog Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:34 PM Changeset in process [4c5d7dd]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop redundant `{-# ForeignFunctionInterface #-}` ...which is implied by Haskell2010; moreover add missing `BangPatterns` to `other-extensions`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 PM Changeset in process [0faf513]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Document spawnProcess and spawnCommand (#2233) Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 PM Changeset in process [ebdb5ae]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add TODO notes on what should be marked DEPRECATED later We don't want to do it immediately because some of the replacements have not been around for long. There's no hurry, can do it in a release or two. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:31 PM Changeset in process [a2c3294]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Reorder code sections to be rather clearer And move the deprecated things (as per #2233) to the end, out of the way. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:31 PM Changeset in process [d53196e3]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
API cleanup with new functions and old "soft" deprecated Add callProcess, callCommand, spawnProcess, spawnCommand as per the design in #2233 (but not relying on any of the SIGCHLD stuff). Move the various pre-createProcess functions to a section at the bottom in the Haddock docs. Don't yet mark anything as deprecated. That can come later. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:29 PM Changeset in process [3d8f9bb]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Rename runGenProcess_ and leave a deprecated stub At least Cabal was using runGenProcess_, and the previous patches addressing #2301 changed its type already. So this adds a deprecated stub with the original type and the real function gets to have a less odd name. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:29 PM Changeset in process [1b1f18b]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add tests for the delegated control-C handling (#2301) Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:27 PM Changeset in process [a0467f3]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Implement delegated control-C handling on Unix (#2301) This is a generalisation of the SIGINT-ignoring that system and rawSystem do, to allow it to be used via the general createProcess. For the gory details of SIGINT handling, see http://www.cons.org/cracauer/sigint.html We implement the 'WCE' method described there. That important feature was only available to system and rawSystem (mirroring the C system() behaviour). These functions are very limited and indeed deprecated, so we need this feature in general. In particular projects like Cabal are suffering because they cannot do this properly (or need horrible workarounds copy and pasting much of System.Process and using System.Process.Internals). The feature is available now via a new delegate_ctlc flag in the CreateProcess options record. The use of signal handlers is still a little hairy, but probably better than before (for situations where there were multiple concurrent calls to system/rawSystem). One thing to note is that waitForProcess and getProcessExitCode can now throw the UserInterrupt exception. This is all documented in the haddock docs (both a short description and also the excruciating details). Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:48 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:53 AM Changeset in ghc [a1ca534]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Test cases for context stack overflow one for constraints, one for type families
9:53 AM Changeset in testsuite [5a880de]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test cases for context stack overflow one for constraints, one for type families
9:39 AM Ticket #8541 (Coercible should be higher-kinded) closed by nomeata
fixed: This has hit master now.
9:20 AM Changeset in ghc [976a1087]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Make Coercible higher-kinded This implements #8541. The changes are fully straight forward and work nicely for the examples from the ticket; this is mostly due to the existing code not checking for saturation and kindness.
9:20 AM Changeset in ghc [2f7d3d87]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Coercible: Do not try to unwrap undersaturated newtypes otherwise we get a panic.
9:20 AM Changeset in ghc [62008092]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Joachim Breitner <mail@…>
Explain higher-kinded Coerctions in Note [Coercible Instances] (although there is not really a lot to explain, it seems.)
9:12 AM GitRepoReorganization created by hvr
initial version
9:07 AM Ticket #8545 (Reorganize Git repositories) created by hvr
This is to track the progress for the GitRepoReorganization which is to be …
9:04 AM Ticket #8544 (Auto-Reference ticket-related branches in tickets) created by nomeata
This has two possible implementations (and both are useful and can …
9:01 AM Ticket #8065 (Set trac up for multiple git repos) closed by hvr
fixed: this has been long resolved
8:52 AM Ticket #8543 (`Coercible` ought to work for recursive newtypes) closed by simonpj
duplicate: I think it's better to keep this ticket with #8503, which has all the …
8:39 AM Ticket #8543 (`Coercible` ought to work for recursive newtypes) created by nomeata
The approach (developed by SPJ and me) is to A) Add a feature to the …
Note: See TracTimeline for information about the timeline view.