Timeline


and

Dec 11, 2007:

9:35 PM Ticket #1940 (GHCi triggers firewall by sending unexpected packet) closed by igloo
invalid: OK, if allowing the packet doesn't result in more packets being detected …
12:32 PM Ticket #1972 (Shadowed binding warning message lacks essential information) created by NeilMitchell
[…] The problem is that this warning talks only about h, and the …
12:30 PM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
12:29 PM Commentary/Compiler/BackEndTypes edited by simonpj
(diff)
12:29 PM Commentary/Compiler/BackEndTypes created by simonpj
12:10 PM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
11:52 AM Ticket #1971 (unjustified warning about documentation) created by maeder
[…] When installing (using make install) the wrong directory is …
11:32 AM DarcsEvaluation edited by vvv
recent Tom Moertel's article added to references (diff)
11:30 AM BadContent created by simonmar
pinched from http://trac.edgewall.org/wiki/BadContent
11:16 AM Commentary edited by simonpj
(diff)
11:03 AM Ticket #1967 (Allow runhaskell to execute not .hs/.lhs files) closed by simonmar
duplicate: See #1232.
7:51 AM TypeFunctionsStatus edited by chak
(diff)
7:51 AM Ticket #1808 (type families: impossible happened, at runtime in GHCi) closed by chak
fixed
7:49 AM TypeFunctionsStatus edited by chak
(diff)
7:48 AM Ticket #1754 (Border case type families/type equality coercions cause the impossible to ...) closed by chak
fixed: Fixed this while working through the regressions caused by type checking …
7:37 AM TypeFunctionsStatus edited by chak
(diff)
7:36 AM TypeFunctionsStatus edited by chak
(diff)
7:35 AM Ticket #1716 (panic when running program from GHCi) closed by chak
fixed: Repaired this as part of fixing the GADT regression tests after moving to …
7:25 AM TypeFunctionsStatus edited by chak
(diff)
7:16 AM Ticket #1723 (type unsafety with type family + GADT) closed by chak
fixed: Replacing GADT refinement by equality constraints fixed this as expected.
7:14 AM Changeset in ghc [fec51623]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 Manuel M T Chakravarty <chak@…>
Test for #1723
7:14 AM Changeset in testsuite [56ad23d]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Test for #1723
6:32 AM TypeFunctionsStatus edited by chak
(diff)
6:31 AM Ticket #1722 (Code using type synonym families requires workarounds to compile) closed by chak
fixed: As expected, the replacement of GADT refinement with equality constraints …
6:24 AM Changeset in ghc [4945a1a]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 Manuel M T Chakravarty <chak@…>
Test for #1722
6:24 AM Changeset in testsuite [a302197]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Test for #1722
5:53 AM TypeFunctionsStatus edited by chak
(diff)
5:50 AM Changeset in ghc [3fb5d60]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 Manuel M T Chakravarty <chak@…>
Test from #1815
5:50 AM Changeset in testsuite [029e656]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Test from #1815
5:43 AM Ticket #1815 (Occurs check error from equality constraint) closed by chak
fixed
3:45 AM Ticket #1970 (ghci -hide-all-packages gives bad error message) created by dfranke
Let's output something a bit more graceful here? […]
3:30 AM Ticket #1969 (enormous compile times) created by duncan
Some modules cause ghc to take a very very long time (and a lot of memory) …
2:19 AM TypeFunctionsStatus edited by chak
(diff)
1:44 AM Status/Nov07 edited by chak
(diff)

Dec 10, 2007:

11:08 PM Ticket #1968 (data family + GADT: not implemented yet) created by Remi
My very first attempt at playing with data type families + GADTs went …
5:34 PM Ticket #1961 (sh gen_contents_index --inplace does not work under Solaris) closed by igloo
fixed: The new file is now in both the HEAD and the 6.8 branch.
4:05 PM DarcsEvaluation edited by vvv
cgit (a fast webinterface for git) referenced (diff)
2:33 PM DarcsEvaluation edited by JulesBean
(diff)
8:55 AM Status/Nov07 edited by simonpj
(diff)
8:51 AM ViewPatterns edited by simonpj
(diff)
8:51 AM ViewPatterns edited by simonpj
(diff)
8:49 AM Status/Nov07 edited by simonpj
(diff)

Dec 9, 2007:

9:44 PM Ticket #1967 (Allow runhaskell to execute not .hs/.lhs files) created by NeilMitchell
Given a file foo.html, which is secretly a literate Haskell script, you …
6:21 PM Changeset in ghc [6b373c5]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 Pepe Iborra <mnislaih@…>
Adapt to changes in :print (contents of references)
6:21 PM Changeset in testsuite [d658e02]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Pepe Iborra <mnislaih@…>
Adapt to changes in :print (contents of references)
7:57 AM Ticket #1966 (Incorrect Outputable instance for InstDecl) created by guest
The pretty-printer produces trash output for instance declarations. This …

Dec 8, 2007:

9:02 PM Ticket #1965 (Allow unconstrained existential contexts in newtypes) created by guest
Declarations like […] ought to be allowed so long as no typeclass …
9:01 PM Ticket #1964 (GHC.Prim) created by igloo
Currently GHC.Prim is advertised to users, but it cannot be processed by …
2:53 PM Building/GettingTheSources edited by guest
(diff)
11:20 AM TypeFunctionsStatus edited by chak
(diff)
11:16 AM Changeset in ghc [8245208c]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 Manuel M T Chakravarty <chak@…>
Remaining regression of change from GADT refinement to equalities * gadt/lazypatok fails * tcfail167's error message gets worse; ie, no more "Inaccessible case alternative: Can't match types `Char' and `Float'" Both of these are minor regressions that will be addressed in due time.
11:16 AM Changeset in testsuite [17d8eb1]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Remaining regression of change from GADT refinement to equalities * gadt/lazypatok fails * tcfail167's error message gets worse; ie, no more "Inaccessible case alternative: Can't match types `Char' and `Float'" Both of these are minor regressions that will be addressed in due time.
11:08 AM Changeset in ghc [5e5ed24f]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 Manuel M T Chakravarty <chak@…>
gadt: slighly changed error msg with equalities
11:08 AM Changeset in testsuite [b67d679d]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
gadt: slighly changed error msg with equalities
11:03 AM Changeset in ghc [6c94991]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 Manuel M T Chakravarty <chak@…>
type families: Temporary fail - GADT3 fails with equalities instead of GADT refinement due to a known bug
11:03 AM Changeset in testsuite [03b3817]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
type families: Temporary fail - GADT3 fails with equalities instead of GADT refinement due to a known bug
11:02 AM Changeset in ghc [84c8d1d]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 Manuel M T Chakravarty <chak@…>
Fixed by removing GADT refinements in favour of equalities
11:02 AM Changeset in testsuite [46bd3d8]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Fixed by removing GADT refinements in favour of equalities
11:00 AM TypeFunctionsStatus edited by chak
(diff)
1:00 AM Ticket #1963 (Pressing ^C at the right moment can trash GHC's package list) created by igloo
In http://www.haskell.org/pipermail/libraries/2007-December/008727.html

Dec 7, 2007:

11:58 PM Ticket #1843 (ghc 6.8.1 broken on Mac OS X Leopard PPC) closed by igloo
fixed: I've applied the patch to HEAD and 6.8 branch, so this bug is now fixed I …
6:19 PM Ticket #1962 (make binary-dist creates nested directories under solaris) created by maeder
[…]
5:07 PM Ticket #1370 (Obscure loop in interaction between arity and case-of-bottom) closed by simonpj
fixed: Actually this is fixed by the same patch as #1947, namely: […] I added …
5:07 PM Ticket #1961 (sh gen_contents_index --inplace does not work under Solaris) created by maeder
when bootstrapping ghc-6.8.1.20071206 under Solaris building failed with: …
5:04 PM Changeset in ghc [113a88c4]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 simonpj <simonpj@…>
Test for Trac #1370
5:04 PM Changeset in testsuite [beb7621]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Test for Trac #1370
3:44 PM Building/Using edited by vvv
fix formatting errors: "\w&mdash;\w", "{{{[}]+$" (diff)
2:30 PM Ticket #1621 (GHCi wrong execution time report) closed by igloo
fixed: Merged
2:26 PM Ticket #1922 (getChar + Ctrl-C on Windows in GHCi breaks) closed by igloo
fixed: Merged
2:16 PM Ticket #1110 (Setting PATH needed in Windows Vista) closed by igloo
fixed: Merged
7:19 AM Changeset in ghc [4da65e79]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 Manuel M T Chakravarty <chak@…>
Fixed by correcting normalisation of dicts
7:19 AM Changeset in testsuite [b68934a]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Fixed by correcting normalisation of dicts
7:11 AM TypeFunctionsStatus edited by chak
(diff)
7:10 AM TypeFunctionsStatus edited by chak
(diff)
7:08 AM TypeFunctionsStatus edited by chak
(diff)

Dec 6, 2007:

9:25 AM Changeset in ghc [31a49e1]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 <simonmar@…>
test now passes
9:25 AM Changeset in testsuite [a2518e5]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <simonmar@…>
test now passes
Note: See TracTimeline for information about the timeline view.