Timeline


and

Aug 6, 2013:

10:42 PM Building/CrossCompiling/iOS edited by StephenBlackheath
Change what needs to be in the mk/build.mk (diff)
6:07 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
implemented syntactic sugar (diff)
11:04 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
todos and queries (diff)
8:45 AM Ticket #7884 (Cannot build hedgewars with new haskell 7.6) closed by LocutusOfBorg
invalid
8:00 AM Changeset in ghc [253a5b75]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <mainland@…>
Rename SSE -> XMM for consistency. We were using SSE is some places and XMM in others. Better to keep a consistent naming scheme.
8:00 AM Changeset in ghc [3e598fe0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <mainland@…>
Only use real XMM registers when assigning arguments. My original change to the calling convention mistakenly used all 6 XMM registers---which live in the global register table---on x86 (32 bit). This royally screwed up the floating point code generated for that platform because floating point arguments were passed in global registers instead of on the stack!
7:55 AM Records/OverloadedRecordFields/Plan edited by adamgundry
missed some Get -> Has changes (diff)
7:53 AM Records/OverloadedRecordFields/Plan edited by adamgundry
telling the latest story (diff)
7:24 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:20 AM Changeset in ghc [0daee29]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
sync-all : Replace '~~' operator with something supported by older Perl.
2:07 AM Ticket #8116 (Segfault/panic of 32bit GHCi on Mac) created by kazu-yamamoto
32bit GHCi on Mac causes segfault/panic: With GHC 7.6.3: […] With …

Aug 5, 2013:

4:58 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
type-changing update (diff)
4:28 PM Changeset in ghc [9082111d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Added support for writing and checking closed type families is hs-boot files. As documented in the users' guide, you can now write type family Foo a where .. in a hs-boot file to declare an abstract closed type family.
4:26 PM Changeset in ghc [902cf01b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Added test cases for closed type families in .hs-boot files.
4:26 PM Changeset in testsuite [9ba44e3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Added test cases for closed type families in .hs-boot files.
11:04 AM Internships/JanStolarek edited by jstolarek
(diff)
10:33 AM Changeset in ghc [334131bc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
.gitignore : Add libffi-tarballs.
9:34 AM Changeset in ghc [cda50541]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
mk/config.mk.in : Add powerpc-unknown-linux to NoSharedLibsPlatformList. Dynamic libraries on powerpc linux are currently broken. See: http://hackage.haskell.org/trac/ghc/ticket/8024
1:23 AM Changeset in ghc [968998e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
sync-all : Warn on 'pull' operation if not on master branch.
12:04 AM Ticket #8115 (GHC 64-bit Windows build failures with LLVM) created by schyler
When using LLVM 2.9, 3.1 or 3.4svn on Windows with the 64-bit GHC from the …

Aug 4, 2013:

5:38 PM Ticket #8114 (GHC panic when building `thyme`) created by Ptharien's Flame
While attempting to build thyme from Hackage with core, stg, and cmm …
4:36 PM Ticket #7938 (Unbound kind variable can appear in RHS of associated type) closed by goldfire
fixed: Ack. I got caught in the same misunderstanding about return kinds as …
4:33 PM Changeset in ghc [fd20b873]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
4:33 PM Changeset in testsuite [ccc29fb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
4:32 PM Changeset in ghc [a3a99eb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add test case for #7938.
4:32 PM Changeset in testsuite [54a9631]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test case for #7938.
4:24 PM Changeset in ghc [733b6eea]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Wibbles to output from refactoring datacon code
4:24 PM Changeset in testsuite [51e1b8b]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Wibbles to output from refactoring datacon code
3:45 PM Changeset in ghc [3cd1360]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Refactor checking for GADT-like datacons' return types This check is somewhat subtle. See Note [Checking GADT return types] in TcTyClsDecls. The new plan is to check *before* desugaring the type from HsType to Type. This avoids problems with the pattern-match in rejigConRes. As a nice side benefit to this, I discovered that Template Haskell splices were a little conservative in their treatment of valid data constructors. (For example, a kind signature in the return type caused failure.) Now, the TH code uses exactly the same function as the "real" code, which is nice. See hsTyGetAppHead_maybe in HsTypes.

Aug 3, 2013:

8:06 PM Ticket #8111 (Kinds as "I don't care" type variables) closed by wvv
invalid
5:12 PM Ticket #8113 (Cannot override ghci builtin commands with :def[!]) created by duncan
In cabal we have a feature called "cabal repl" where it loads ghci with …
10:01 AM Ticket #8112 (Kinds as "I don't care" type variables) closed by wvv
invalid
10:00 AM Ticket #8112 (Kinds as "I don't care" type variables) created by wvv
Let's allow to use kinds as "I don't care"/"it doesn't matter" type …
10:00 AM Ticket #8111 (Kinds as "I don't care" type variables) created by wvv
Let's allow to use kinds as "I don't care"/"it doesn't matter" type …

Aug 2, 2013:

10:15 PM Ticket #8110 (Off-by-one error in FastString.getFastStringTable) created by parcs
There is an off-by-one-error in FastString.getFastStringTable that …
3:06 PM Ticket #7148 (generalized newtype and type families is unsound) closed by goldfire
fixed
3:06 PM Ticket #1496 (Newtypes and type families combine to produce inconsistent FC(X) axiom ...) closed by goldfire
fixed: A long-standing bug finally put to rest.
3:05 PM Ticket #4846 (Newtype derving used wrongly) closed by goldfire
fixed
2:59 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
tests (diff)
2:59 PM Changeset in ghc [40cd71a9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
2:59 PM Changeset in testsuite [37806fb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
2:52 PM Changeset in ghc [649219a]wip/T9016wip/ampwip/coveritywip/orf by Richard Eisenberg <eir@…>
Implement roles into Template Haskell. The biggest change is to the TyVarBndr type, which now can deal with role annotations.
2:52 PM Changeset in base [ab9e8e3]ghc-7.8 by Richard Eisenberg <eir@…>
Mark the roles of Ptr and FunPtr as R, not P!
2:52 PM Changeset in ghc [bdde811]wip/T9016wip/ampwip/coveritywip/orf by Richard Eisenberg <eir@…>
Mark the roles of Ptr and FunPtr as R, not P!
2:50 PM Changeset in ghc [929155fa]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add tests for roles. Many of the files modified are just wibbles to output, because now tycons have roles attached to them, which are produced in the debugging dumps.
2:50 PM Changeset in testsuite [3711f76]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add tests for roles. Many of the files modified are just wibbles to output, because now tycons have roles attached to them, which are produced in the debugging dumps.
2:47 PM Changeset in ghc [e8aa8ccb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Implement "roles" into GHC. Roles are a solution to the GeneralizedNewtypeDeriving type-safety problem. Roles were first described in the "Generative type abstraction" paper, by Stephanie Weirich, Dimitrios Vytiniotis, Simon PJ, and Steve Zdancewic. The implementation is a little different than that paper. For a quick primer, check out Note [Roles] in Coercion. Also see http://ghc.haskell.org/trac/ghc/wiki/Roles and http://ghc.haskell.org/trac/ghc/wiki/RolesImplementation For a more formal treatment, check out docs/core-spec/core-spec.pdf. This fixes Trac #1496, #4846, #7148.
2:46 PM Changeset in ghc [303d3de]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Update to Cabal to allow RoleAnnotations
11:58 AM Ticket #8020 (Closed type families break substitution) closed by goldfire
fixed
11:56 AM Changeset in ghc [65a5305]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add new test for #8020.
11:56 AM Changeset in testsuite [ccd0054]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add new test for #8020.
10:33 AM Changeset in ghc [bd0ab6c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #8020. The solution is to use a different notion of apartness. See http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf for the gory details. Some comments are also in Notes [Compatibility] and [Apartness] in FamInstEnv.
9:35 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
GADT record updates make my brain hurt (diff)
9:25 AM Internships/JanStolarek edited by jstolarek
(diff)
2:47 AM Status/SLPJ-Tickets edited by simonpj
(diff)

Aug 1, 2013:

11:03 PM Ticket #8109 (Type family patterns should support as-patterns.) created by carlhowells
I recently wrote code similar to the following: […] There were …
9:58 PM Ticket #8108 (getGroupEntryForID segfaults in multi-threaded applications) created by redneb
The following program […] segfaults when executed after less than a …
6:09 PM Ticket #7881 (Warning for pointless ranges like [5..2]) closed by igloo
fixed: Thanks for the suggestion; now done.
6:00 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
future considerations (diff)
5:58 PM Ticket #8107 (need types to express constant argument for primop correctness) created by carter
(not sure if this is a bug or a feature request, or a task, or a dialogue, …
5:11 PM Changeset in ghc [5207c0ff]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7881
5:11 PM Changeset in testsuite [73ce7b1]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7881
5:08 PM Changeset in ghc [abb3a9fa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a warning for empty enumerations; fixes #7881 We now give a warning about enumerations like [5 .. 3] :: Int8.
4:10 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
GADT record updates (diff)
3:18 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
simple update is now supported (diff)
2:53 PM Changeset in ghc [02b7c1c8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add -XNegativeLiterals to the flag list
1:33 PM Ticket #8106 (Confusing parse error for missing do keyword) closed by monoidal
fixed: In HEAD you get […] (see also #3746).
11:49 AM Roles edited by goldfire
(diff)
Note: See TracTimeline for information about the timeline view.