Timeline


and

Dec 31, 2011:

6:47 PM Ticket #5737 (Template Haskell can't derive Read, Show, Eq instances) created by guest
Given the following code: […] The compiler complains with the …
4:04 PM Ticket #5736 (Possible regression with functional dependencies) closed by simonpj
invalid: I think 7.0.4 had a bug. Consider * 'a' determines 'b'. So if two …
10:20 AM Ticket #5736 (Possible regression with functional dependencies) created by magnus
The following program typechecks in GHC-7.0.4, but not in 6.12.3, 7.2.2 or …

Dec 30, 2011:

1:54 PM Ticket #5735 (Build failure on s390(x): Don't know if ArchUnknown is 32bit) created by nomeata
Hi, the 7.4.1 release candidate failed to build on s390(x); previous …
1:52 PM Ticket #5734 (Build failure on mips: ghc-cabal: Failed to read "target arch" value ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on mips; previous …
1:49 PM Ticket #5733 (Build failure on kfreebsd: Don't know if OSUnknown is elf) created by nomeata
Hi, the 7.4.1 release candidate failed to build on the two Debian ports …
1:45 PM Ticket #5732 (Faliure building unregistered GHC: pprGlobalReg: Unsupported register: ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on arm; previous versions …
9:56 AM Records edited by GregWeber
no wiki word (diff)
9:54 AM Records edited by GregWeber
TDNR commentary (diff)
9:39 AM Records edited by GregWeber
typo (diff)
3:27 AM Changeset in base [1eba0a9]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:27 AM Changeset in ghc [3b281a2b]wip/T9016 by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:25 AM Changeset in ghc [4715b871]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the built-in instances for class NatI. Note 1: For the moment, we provide instances only for numbers that fit in a Word. The reason is a quite mundane: to generate evidence for arbitrary integers we need to generate integer literals. In the core syntax this is a monadic operation but the function that generates the core for evidence is pure. It would not be hard to monadify it but requires changes to a bunch of other functions so I thought it is better left for a separate change. Note 2: The evidence that we generate for a NatI is just a word. Technically, we should be generate a word with two coercions: one to turn it into a NatS and another to turn that into a NatI. Operationally, these do not do anything, but it would be better to fix this. I didn't do it yet because I need to look up how to make these coercions.
1:57 AM Changeset in base [b56b66b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:57 AM Changeset in ghc [9697def]wip/T9016 by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:49 AM Changeset in ghc [8c3bc838]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the wired-in names for manipulating type-level nats.
12:45 AM Changeset in ghc [896d20fa]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/typecheck/TcCanonical.lhs compiler/typecheck/TcSMonad.lhs

Dec 29, 2011:

10:58 PM Ticket #5731 (Bad code for Double literals) created by rl
Caught by the vector benchmark suite. Small program: […] The …
10:36 PM Changeset in base [2d05797]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
10:36 PM Changeset in ghc [914da19]wip/T9016 by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
7:26 PM Ticket #5730 (unicode characters in cabal path leads to package installation failure) created by guest
on windows xp/7/8 when path to local cabal packages contains russian …
5:04 PM Records edited by GregWeber
use Frege document for design proposal (diff)
4:54 PM Records edited by GregWeber
commentary on module/record re-use (diff)
4:50 PM Records edited by GregWeber
formatting (diff)
4:48 PM Records edited by GregWeber
namespacing - TDNR & module ideas (diff)
4:42 PM Records edited by GregWeber
how to resolve module/record ambiguity (diff)
4:14 PM Changeset in ghc [2ac64223]ghc-axioms by Simon Peyton Jones <simonpj@…>
Lots of refactoring of the CoAxiom stuff Mainly, I've made the type checker return FamInsts rather than CoAxioms; but there is a lot of renaming and beautification too.
4:13 PM Changeset in ghc [b8178f16]ghc-axioms by Simon Peyton Jones <simonpj@…>
Tidy up lookupPromotedOcc and add -XPolyKinds suggestion
11:03 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:47 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:33 AM Changeset in ghc [9284030]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #4310
10:33 AM Changeset in testsuite [b9c2c43]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #4310
10:33 AM Changeset in ghc [bae7a6b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5721
10:33 AM Changeset in testsuite [bbe7143]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5721
10:33 AM Changeset in ghc [869df3c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Performance test for Trac #5321
10:33 AM Changeset in testsuite [0252d5e]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Performance test for Trac #5321
10:31 AM Changeset in ghc [b0c0205e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Print more informative sizes in -dshow-passes, and add intWithCommas to Outputable for printing large Int/Integers
10:30 AM Changeset in ghc [d276123]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5721; type variables can be quoted in TH
8:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:25 AM Ticket #4310 (Deferred equalities and forall types) closed by simonpj
fixed: Fixed by the same patch as #5595.
8:22 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:18 AM Status/SLPJ-Tickets edited by simonpj
(diff)
2:17 AM Records/OverloadedRecordFields edited by quuxity
few typos (diff)

Dec 28, 2011:

9:45 PM Ticket #5729 (ForeignPtr leak in ghci) closed by judahj
duplicate: OK, it turns out this was an instance of #917. GHC was turning the …
4:28 PM Blog: New directions for Template Haskell edited by simonpj
3:30 PM Records edited by simonpj
(diff)
3:10 PM Changeset in ghc [276c0527]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Documentation wibble: kind -> sort
2:04 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:04 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:23 AM Blog: New directions for Template Haskell edited by simonpj

Dec 27, 2011:

7:47 PM Ticket #5729 (ForeignPtr leak in ghci) created by judahj
I have a program which creates an infinite list of Storable Vectors and …
12:54 PM Platforms edited by juhpetersen
list Linux tier 1 archs together for better readability (diff)
12:52 PM Platforms edited by juhpetersen
yes to dynlibs on Linux x86* archs (diff)
2:20 AM Ticket #5728 (Warnings from -fwarn-incomplete-record-updates even with all constructors ...) created by mjo
I don't think that the following should be considered an incomplete record …

Dec 26, 2011:

11:22 AM Records/OverloadedRecordFields edited by igloo
(diff)
2:09 AM Ticket #5727 (Unclear documentation about .eventlog's spark information flag) created by shelarcy
Unclear documentation about .eventlog's spark information flag GHC 7.4.1 …
12:32 AM Ticket #5726 (GHC 7.4.1 RC1 doesn't work with Xcode 4.2.1) created by shelarcy
Xcode 4.2 removed gcc-4.2 now. But GHC 7.4.1 RC 1 uses gcc-4.2 as gcc. …
Note: See TracTimeline for information about the timeline view.