Timeline


and

Jan 1, 2013:

11:13 PM Changeset in ghc [215cf423]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the comments about SingI and EvLit match current reality See Note [SingI and EvLit] in TcEvidence.
11:11 PM Changeset in ghc [b43fdcf]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
11:09 PM Changeset in ghc [5efe9b11]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor the invariants for ClsInsts We now have the invariant for a ClsInst that the is_tvs field is always completely fresh type variables. See Note [Template tyvars are fresh] in InstEnv. (Previously we frehened them when extending the instance environment, but that seems messier because it was an invariant only when the ClsInst was in an InstEnv. Moreover, there was an invariant that thet tyvars of the DFunid in the ClsInst had to match, and I have removed that invariant altogether; there is no need for it.) Other changes I made at the same time: * Make is_tvs into a *list*, in the right order for the dfun type arguments. This removes the wierd need for the dfun to have the same tyvars as the ClsInst template, an invariant I have always hated. The cost is that we need to make it a VarSet when matching. We could cache an is_tv_set instead. * Add a cached is_cls field to the ClsInst, to save fishing the Class out of the DFun. (Renamed is_cls to is_cls_nm.) * Make tcSplitDFunTy return the dfun args, not just the *number* of dfun args * Make InstEnv.instanceHead return just the *head* of the instance declaration. Add instanceSig to return the whole thing.
10:40 PM Changeset in ghc [18003c9e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix typo in comment (Trac #7526)
9:35 PM Ticket #7542 (GHC doesn't optimize (strict) composition with id) created by shachaf
Newtype constructors and selectors have no runtime overhead, but some uses …
8:20 PM Ticket #7466 ([PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds ...) closed by igloo
fixed: Fixed by: […] […]
7:35 PM Changeset in ghc [9929172c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove references to GHC 6.6 in docs
7:30 PM Ticket #7541 (Unavoidable duplicate constraint warning) created by blamario
The "duplicate constraint" warning can be triggered in a context where …
6:41 PM Changeset in integer-gmp [d86166d]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Fix configure when we don't have a gmp library
5:03 PM Changeset in integer-gmp [2cf2423]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Provide a way for OS X users to indicate a preference for the GMP framework We used to always use the framework if it existed. Now the make variable GMP_PREFER_FRAMEWORK can be used to control whether the library or the framework is preferred. Fixes #7466.
3:57 PM Changeset in directory [213a987]ghc-7.8 by Ian Lynagh <ian@…>
Fix Haddock markup
3:04 PM Changeset in base [05c03d8]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Expose Data.Fixed.Fixed's constructor Discussed on libraries@, and summarised in http://www.haskell.org/pipermail/libraries/2012-December/019076.html
1:24 PM Changeset in ghc [db9c062a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:05 PM Ticket #7540 (Panic on type inference with vectorised parallel arrays) created by tinctorius
[…] Result of ghc --make -fvectorise Y.hs: […] Result of `ghc …
3:24 AM Changeset in ghc [fee81ff]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joey Adams <joeyadams3.14159@…>
Fix T7160 segfault by importing debugBelch2
3:24 AM Changeset in testsuite [73b3144]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Joey Adams <joeyadams3.14159@…>
Fix T7160 segfault by importing debugBelch2

Dec 30, 2012:

7:28 PM ReportABug edited by simonpj
(diff)

Dec 29, 2012:

10:55 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) closed by monoidal
duplicate: Almost certainly a duplicate of #5951 - you have a malformed class …
5:13 PM Ticket #7539 (Hard ghc api crash when calling runStmt on code which has not been ...) created by edsko
(See attached example program demonstrating the crash.) When the session …
5:13 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) created by eli_sennesh
[…]
6:40 AM Ticket #7537 ([PATCH] Incorrect Haskell type for ino_t on MacOS X 10.5) created by PHO
I found a strange problem that System.Posix.Internals.fdStat reporting …
12:18 AM Changeset in testsuite [f3ed78e]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for the type-nat solver.
12:15 AM Changeset in ghc [0ff88164]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats
12:14 AM Changeset in ghc [45279919]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix dictionaries for SingI. This adds the missing coercions in the constructed evidence for SingI. Previously we simply passed an integer or a string for the evidence, which was not quite correct and causes errors when the core lint is enabled. This patch corrects this by inserting the necessary coercions.

Dec 28, 2012:

7:41 PM Changeset in ghc [9efd621]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add the improvement step, for more direct evaluation. Previously we relied on derived constraints to achieve the same, but this is (i) more direct, (ii) using derived constraints delayed evaluation too much, so we ended up interacting constraints that can be solved with existing assumptions, which may lead to non-termination because it generates infinitely many useless constraints.
6:19 PM Ticket #7536 (Panic with TypeFamilies with type synonym instances) created by snowleopard
The code below brings GHC to panic. […] Panic details: […] Can …
4:13 PM Ticket #7535 (Using -with-rtsopts=-N should fail unless -threaded is also specified) created by mhoermann
If ghc can already tell at compile time that the specified -with-rtsopts …
8:13 AM Changeset in base [040313e]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush).
8:13 AM Changeset in base [cb6f03d]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
GHC.IO.Buffer: use memmove instead of memcpy in slideContents

Dec 27, 2012:

9:46 AM Ticket #7534 (allocateRegsAndSpill: Cannot read from uninitialized register) created by erikd
Building git HEAD on linux-powerpc64 and I get: […]
Note: See TracTimeline for information about the timeline view.