Timeline


and

Jan 6, 2006:

4:34 PM Changeset in ghc [f67794c5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2006-01-06 16:34:56 by simonmar] Unicode source tests
4:34 PM Changeset in testsuite [ef95c63]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 simonmar <unknown>
[project @ 2006-01-06 16:34:56 by simonmar] Unicode source tests
4:30 PM Changeset in ghc [9d7da33]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-06 16:30:17 by simonmar] Add support for UTF-8 source files GHC finally has support for full Unicode in source files. Source files are now assumed to be UTF-8 encoded, and the full range of Unicode characters can be used, with classifications recognised using the implementation from Data.Char. This incedentally means that only the stage2 compiler will recognise Unicode in source files, because I was too lazy to port the unicode classifier code into libcompat. Additionally, the following synonyms for keywords are now recognised: forall symbol (U+2200) forall right arrow (U+2192) -> left arrow (U+2190) <- horizontal ellipsis (U+22EF) .. there are probably more things we could add here. This will break some source files if Latin-1 characters are being used. In most cases this should result in a UTF-8 decoding error. Later on if we want to support more encodings (perhaps with a pragma to specify the encoding), I plan to do it by recoding into UTF-8 before parsing. Internally, there were some pretty big changes: - FastStrings are now stored in UTF-8 - Z-encoding has been moved right to the back end. Previously we used to Z-encode every identifier on the way in for simplicity, and only decode when we needed to show something to the user. Instead, we now keep every string in its UTF-8 encoding, and Z-encode right before printing it out. To avoid Z-encoding the same string multiple times, the Z-encoding is cached inside the FastString the first time it is requested. This speeds up the compiler - I've measured some definite improvement in parsing at least, and I expect compilations overall to be faster too. It also cleans up a lot of cruft from the OccName interface. Z-encoding is nicely hidden inside the Outputable instance for Names & OccNames now. - StringBuffers are UTF-8 too, and are now represented as ForeignPtrs. - I've put together some test cases, not by any means exhaustive, but there are some interesting UTF-8 decoding error cases that aren't obvious. Also, take a look at unicode001.hs for a demo.
4:15 PM Changeset in ghc [9a5b6ef]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-06 16:15:19 by simonpj] Add another synonym-performance test (but comment it out of the test file; too slow!)
4:15 PM Changeset in testsuite [bc43068]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 <unknown>
[project @ 2006-01-06 16:15:19 by simonpj] Add another synonym-performance test (but comment it out of the test file; too slow!)
4:14 PM Changeset in ghc [705fda4b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-06 16:14:45 by simonpj] Better type signature for higher-rank
4:14 PM Changeset in testsuite [d805c13]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 <unknown>
[project @ 2006-01-06 16:14:45 by simonpj] Better type signature for higher-rank
4:12 PM Changeset in ghc [048c91d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-06 16:12:42 by simonpj] Add tests for boxy types
4:12 PM Changeset in testsuite [8529e80]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 <unknown>
[project @ 2006-01-06 16:12:42 by simonpj] Add tests for boxy types
4:08 PM Changeset in ghc [7d53bf6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-06 16:08:57 by simonpj] Add GADT tests
4:08 PM Changeset in testsuite [64a68ba]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 <unknown>
[project @ 2006-01-06 16:08:57 by simonpj] Add GADT tests
4:03 PM Changeset in ghc [0b3c43cf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-06 16:03:25 by simonpj] Cosmetic
4:03 PM Changeset in testsuite [ef1e896]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 <unknown>
[project @ 2006-01-06 16:03:25 by simonpj] Cosmetic
3:52 PM Changeset in base [b800a40]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonpj <unknown>
[project @ 2006-01-06 15:52:36 by simonpj] Use a type sig rather than a pattern signature, to avoid depending on GHC's precise impl of scoped type variables. (Which I'm about to change.)
3:52 PM Changeset in directory [b800a40]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonpj <unknown>
[project @ 2006-01-06 15:52:36 by simonpj] Use a type sig rather than a pattern signature, to avoid depending on GHC's precise impl of scoped type variables. (Which I'm about to change.)
3:52 PM Changeset in ghc [7a044004]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by simonpj <unknown>
[project @ 2006-01-06 15:52:36 by simonpj] Use a type sig rather than a pattern signature, to avoid depending on GHC's precise impl of scoped type variables. (Which I'm about to change.)
3:52 PM Changeset in process [b800a40]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonpj <unknown>
[project @ 2006-01-06 15:52:36 by simonpj] Use a type sig rather than a pattern signature, to avoid depending on GHC's precise impl of scoped type variables. (Which I'm about to change.)
3:51 PM Changeset in base [94dc10b]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonpj <unknown>
[project @ 2006-01-06 15:51:23 by simonpj] Eta-expand some higher-rank functions. GHC is about to move to *invariant* rather than *contra-variant* in function arguments, so far as type subsumption is concerned. These eta-expansions are simple, and allow type inference to go through with invariance.
3:51 PM Changeset in directory [94dc10b]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonpj <unknown>
[project @ 2006-01-06 15:51:23 by simonpj] Eta-expand some higher-rank functions. GHC is about to move to *invariant* rather than *contra-variant* in function arguments, so far as type subsumption is concerned. These eta-expansions are simple, and allow type inference to go through with invariance.
3:51 PM Changeset in ghc [ae57dba8]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by simonpj <unknown>
[project @ 2006-01-06 15:51:23 by simonpj] Eta-expand some higher-rank functions. GHC is about to move to *invariant* rather than *contra-variant* in function arguments, so far as type subsumption is concerned. These eta-expansions are simple, and allow type inference to go through with invariance.
3:51 PM Changeset in process [94dc10b]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonpj <unknown>
[project @ 2006-01-06 15:51:23 by simonpj] Eta-expand some higher-rank functions. GHC is about to move to *invariant* rather than *contra-variant* in function arguments, so far as type subsumption is concerned. These eta-expansions are simple, and allow type inference to go through with invariance.
3:46 PM Changeset in base [42184f4]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonpj <unknown>
[project @ 2006-01-06 15:46:09 by simonpj] Fix one-char typo in scanl1P
3:46 PM Changeset in directory [42184f4]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonpj <unknown>
[project @ 2006-01-06 15:46:09 by simonpj] Fix one-char typo in scanl1P
3:46 PM Changeset in ghc [d0698406]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by simonpj <unknown>
[project @ 2006-01-06 15:46:09 by simonpj] Fix one-char typo in scanl1P
3:46 PM Changeset in process [42184f4]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonpj <unknown>
[project @ 2006-01-06 15:46:09 by simonpj] Fix one-char typo in scanl1P
11:04 AM Changeset in ghc [2a2efb7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-06 11:04:07 by simonmar] Document -Rghc-timing

Jan 5, 2006:

1:10 PM Changeset in ghc [dd45134b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2006-01-05 13:10:55 by simonpj] MERGE TO STABLE This commit fixes a nasty problem discovered by Volker Stolz. The problem is described in Note [Multiple instantiation] in TcExpr, which is reproduced below. (Core Lint identifies the problem, incidentally.) tc200 is a test case. Note [Multiple instantiation] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We are careful never to make a MethodInst that has, as its meth_id, another MethodInst. For example, consider f :: forall a. Eq a => forall b. Ord b => a -> b At a call to f, at say [Int, Bool], it's tempting to translate the call to f_m1 where f_m1 :: forall b. Ord b => Int -> b f_m1 = f Int dEqInt f_m2 :: Int -> Bool f_m2 = f_m1 Bool dOrdBool But notice that f_m2 has f_m1 as its meth_id. Now the danger is that if we do a tcSimplCheck with a Given f_mx :: f Int dEqInt, we may make a binding f_m1 = f_mx But it's entirely possible that f_m2 will continue to float out, because it mentions no type variables. Result, f_m1 isn't in scope. Here's a concrete example that does this (test tc200): class C a where f :: Eq b => b -> a -> Int baz :: Eq a => Int -> a -> Int instance C Int where baz = f Current solution: only do the "method sharing" thing for the first type/dict application, not for the iterated ones. A horribly subtle point.
1:08 PM Changeset in ghc [065d2c3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-05 13:08:14 by simonpj] Add a nasty multiple-instantiation test
1:08 PM Changeset in testsuite [f8ea881]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 <unknown>
[project @ 2006-01-05 13:08:14 by simonpj] Add a nasty multiple-instantiation test
10:06 AM Changeset in ghc [839f96c9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-05 10:06:30 by simonpj] Add test for newtype existential
10:06 AM Changeset in testsuite [bb38e36]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 <unknown>
[project @ 2006-01-05 10:06:30 by simonpj] Add test for newtype existential
10:03 AM Ticket #646 (ASSERT fails on newtype + forall) closed by simonpj
fixed: Fixed, thank you. Test is tcfail156
10:02 AM Changeset in ghc [82e428e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2006-01-05 10:02:58 by simonpj] 'newtype' declarations are now parsed exactly like data type declarations, so that you can declare newtypes using GADT syntax. But that means we must check all the newtype restrictions separately, and I mised one. This commit checks that there is no existential context on the newtype. Test is tcfail156
9:42 AM Changeset in ghc [acc7c961]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-05 09:42:54 by simonmar] This file is not quite POSIX compliant; hopefully fix build on MacOS X (Tiger)
9:16 AM Changeset in ghc [7111d55]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2006-01-05 09:16:28 by simonmar] Add test for "scavenge_stack" bug fixed in rev 1.16 of Exception.cmm
9:16 AM Changeset in testsuite [0c1fc99]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 simonmar <unknown>
[project @ 2006-01-05 09:16:28 by simonmar] Add test for "scavenge_stack" bug fixed in rev 1.16 of Exception.cmm

Jan 4, 2006:

11:15 PM Ticket #646 (ASSERT fails on newtype + forall) created by guest
The following module causes an ASSERT failure in the HEAD version of ghc …
3:59 PM Ticket #342 (GHC: panic! (compiler bug?)) closed by simonmar
worksforme: We haven't managed to find a reproducible test case for this one, so …
12:51 PM Changeset in ghc [005f5e7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-04 12:51:59 by simonmar] remove duplicate definition
12:49 PM Changeset in ghc [d19f868a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-04 12:49:38 by simonmar] make 3.79.1 is ok
11:52 AM Changeset in ghc [16edb78a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2006-01-04 11:52:54 by simonpj] Resolve ticket 644; crash when data con returns wrong type
11:51 AM Ticket #644 (Non-exhaustive patterns in function zip_ty_env) closed by simonpj
fixed: Fixed, thank you. Simon
11:50 AM Changeset in ghc [533a379]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2006-01-04 11:50:44 by simonpj] Add test for data con returning wrong type
11:50 AM Changeset in testsuite [fcca268]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 <unknown>
[project @ 2006-01-04 11:50:44 by simonpj] Add test for data con returning wrong type
10:46 AM Ticket #645 (Make tick interval configurable) created by simonmar
The hardwired tick interval of 0.02 seconds is too long. We should make …

Jan 3, 2006:

4:16 PM Ticket #642 (ghci 6.5 (HEAD) starts with wrong module in scope) closed by simonmar
fixed: Fixed, thanks.
4:15 PM Changeset in ghc [8d180b0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 16:15:37 by simonmar] setContextAfterLoad: try to load a target if possible, otherwise load the topmost module in the graph. Previously we were loading the first module in the list, which happened to be right a lot of the time, but not always. Fixes ticket #642
4:14 PM Changeset in ghc [337b09aa]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 16:14:20 by simonmar] export ModLocation(..)
3:30 PM Ticket #644 (Non-exhaustive patterns in function zip_ty_env) created by simonmar
The following code: […] Produces this panic: […]
3:09 PM Ticket #641 (Cross platform repeatable RTS) closed by simonmar
fixed: Now fixed, in both HEAD and STABLE. There was a problem with the state in …
12:57 PM Changeset in ghc [51e758f4]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 12:57:10 by simonmar] sanity bugfix: use TSO_OFFSET_stack instead of OFFSET_stack
12:56 PM Changeset in ghc [ce9d03f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 12:56:10 by simonmar] two fixes for the case when a (synchronous) exception is propagated to the top of a thread's stack, i.e. it is unhandled. 1. store the exception in the right place (we were using the OFFSET_StgTSO_stack macro and not accounting for the TSO's header size) 2. put an stg_enter_info on the stack so that the GC can understand this thread's stack.
12:53 PM Changeset in ghc [c1fa1f50]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 12:53:40 by simonmar] for TSO fields, define a Cmm macro TSO_OFFSET_xxx to get the actual offset including the header and variable parts (we were misusing the headerless OFFSET_xxx macros in a couple of places).
12:16 PM Changeset in ghc [a2a6d28c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 12:16:26 by simonmar] wibble in panic message
11:06 AM Changeset in ghc [176c248]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 11:06:45 by simonmar] emit an error message if GNU make 3.7x is found (3.80 is required).
11:01 AM Changeset in ghc [57c7ce1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2006-01-03 11:01:09 by simonmar] mention that GNU make 3.80 is required.

Jan 2, 2006:

7:38 PM Changeset in base [24d2d69]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by jpbernardy <unknown>
[project @ 2006-01-02 19:38:01 by jpbernardy] * Left-bias restored * Minor documentation improvements
7:38 PM Changeset in directory [24d2d69]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by jpbernardy <unknown>
[project @ 2006-01-02 19:38:01 by jpbernardy] * Left-bias restored * Minor documentation improvements
7:38 PM Changeset in ghc [bf18366]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by jpbernardy <unknown>
[project @ 2006-01-02 19:38:01 by jpbernardy] * Left-bias restored * Minor documentation improvements
7:38 PM Changeset in process [24d2d69]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by jpbernardy <unknown>
[project @ 2006-01-02 19:38:01 by jpbernardy] * Left-bias restored * Minor documentation improvements
7:36 PM Changeset in ghc [fa089da]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by jpbernardy <unknown>
[project @ 2006-01-02 19:36:50 by jpbernardy] minor cleanups
7:36 PM Changeset in testsuite [737bd0a]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 jpbernardy <unknown>
[project @ 2006-01-02 19:36:50 by jpbernardy] minor cleanups
Note: See TracTimeline for information about the timeline view.