Timeline


and

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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message improvements
4:42 PM Changeset in ghc [d3ea4ce]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:42 PM Changeset in ghc [15bfc03]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test #8542
3:50 PM Changeset in ghc [b99d8aa9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [92b614fc]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [a51c4b5]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Comment
1:27 PM Changeset in ghc [ef89860]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
80 columns
1:27 PM Changeset in ghc [e82fa829]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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 …

Nov 19, 2013:

10:45 PM Changeset in ghc [0346dee9]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update `primitive` to upstream's current HEAD This includes a fix to silence a GCC warning which causes validate failures on OSX (see haskell/primitive#4 for more details)
5:22 PM NewtypeWrappers edited by nomeata
Link to note in source code (diff)
2:51 PM Ticket #8542 (Suggest NegativeLiterals) created by monoidal
If we write -128 :: Int8, we get a useful warning (#7895), but it would be …
12:15 PM Changeset in ghc [ea3c659]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test coercing under under-saturated newtypes
12:15 PM Changeset in testsuite [49a978e]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test coercing under under-saturated newtypes
12:01 PM Changeset in ghc [a37c6ad]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test case for undersaturated newtype in Coercions This is related to #8541.
12:01 PM Changeset in testsuite [90554a8]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test case for undersaturated newtype in Coercions This is related to #8541.
11:48 AM Changeset in ghc [483ff505]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add examples from #8541 to testsuite
11:48 AM Changeset in testsuite [bbfaff2]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add examples from #8541 to testsuite
10:21 AM Ticket #8541 (Coercible should be higher-kinded) created by nomeata
Just discussed with SJP: The Coercible should be higher kinded, and it …
9:04 AM Changeset in ghc [7903476]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Include pairs in this test
9:04 AM Changeset in testsuite [18624e7]wip/nested-cprwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Include pairs in this test
8:15 AM Changeset in ghc [781a1675]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Typos in [CPR for sum types]
7:56 AM Ticket #8534 (DeriveFunctor and PolyKinds) closed by simonpj
fixed: Thanks for identifying this. Simon
7:55 AM Changeset in ghc [e43a4124]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to deriving error messages
7:55 AM Changeset in testsuite [5525a25]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles to deriving error messages
7:55 AM Changeset in ghc [4642f87]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add DeriveDataTypeable (omitted wrongly before)
7:55 AM Changeset in testsuite [ce43f00]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Add DeriveDataTypeable (omitted wrongly before)
7:55 AM Changeset in ghc [ac73a9aa]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8534
7:55 AM Changeset in testsuite [7c10d03]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8534
5:10 AM Building/CrossCompiling/iOS edited by lukexi
Added a note about working around "No cabal file found" errors (diff)
5:05 AM Ticket #8540 (Template Haskell handling bug in ghc-7.7.20131115 ?) created by awson
Compiling this: […] ghc-7.7.20131115 crashes with […]

Nov 18, 2013:

9:53 PM Ticket #8539 (Data.Complex shouldn't use default implementation of (**)) created by jjaredsimpson
[…] So Complex uses the default implementation of (**). Then when …
6:11 PM Changeset in ghc [851548d]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve the 'deriving' code for polykinded data types Fixes Trac #8534. See Note [Match kinds in deriving] in TcDeriv.
6:09 PM Changeset in ghc [54c5fde]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix typo in a836b6, 'Improve orientation' Just a straightforward error, now fixed.
4:33 PM Ticket #8479 (Generic1 crashes with tyConStupidTheta when using associated type families) closed by dreixel
fixed: Fixed in HEAD, thanks.
4:32 PM Ticket #8468 (ghc panic in deriving Generic1 on Array#) closed by dreixel
fixed: Fixed in HEAD, thanks.
4:29 PM Changeset in ghc [3b55ede]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Update output for generics
4:29 PM Changeset in testsuite [eccb982]wip/nested-cprwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Update output for generics
4:15 PM Changeset in ghc [98d0d81]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Generic1 cannot yet be derived for datatypes with tuples with a parameter not in the last position
4:15 PM Changeset in ghc [2c74f989]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
fixing canDoGenerics1 (fixes #8468) (fixes #8479) Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
3:44 PM Ticket #8212 (ghc panic building vector on architectures w/o GHCi) closed by monoidal
fixed: This should be fixed in HEAD (#7824, #8339, #7504).
3:43 PM Ticket #8203 (Yesod platform fails to build on ARM) closed by monoidal
fixed: This should be fixed in HEAD (#7824, #8339, #7504).
2:55 PM Ticket #8339 (Build fails with panic in vector) closed by trommler
fixed
12:57 PM Changeset in ghc [600b36a1]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Typo
12:55 PM Changeset in ghc [8d2617a2]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after typofix
12:55 PM Changeset in testsuite [3e09767]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after typofix
10:53 AM Ticket #8535 (:info (->) doesn't print all relevant instances) closed by simonpj
fixed
10:51 AM Changeset in ghc [cb9a3b38]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8535
10:51 AM Changeset in testsuite [404851a]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8535
10:48 AM Ticket #6068 (Panic in GHCi when using functional dependencies and promoted kinds) closed by simonpj
fixed: The bug showed up because you ran the testsuite with a compiler built with …
12:11 AM Ticket #5212 (waitForProcess: does not exist (No child processes)) closed by chrisdone
invalid: The reason is because XMonad (and presumably some other library I was …

Nov 17, 2013:

11:42 PM Ticket #8538 (confusing specialization CORE warning, also can't mark type class ...) created by carter
As part of writing an array library for numerical purposes, I have a …
10:53 PM Ticket #8537 (confusing error message for specialize pragma) created by carter
I get the following confusing error/warning about SPECIALIZE […] with …
9:03 PM Building/Using edited by bgamari
Describe re* rules (diff)
1:00 PM Changeset in ghc [a0d5566]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
1:00 PM Changeset in testsuite [76deac9]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
12:56 PM Changeset in ghc [71e4950]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Minor change to error message wording One flag is deprecated, other removed
10:13 AM Changeset in ghc [6335c124]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Typo: s/LlVM/LlVM/
Note: See TracTimeline for information about the timeline view.