Timeline


and

Dec 3, 2002:

3:43 PM Changeset in ghc [c8bc11b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-03 15:43:55 by simonmar] omit some tests in GHCi mode
3:43 PM Changeset in testsuite [c48a9f9]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 @ 2002-12-03 15:43:55 by simonmar] omit some tests in GHCi mode
2:30 PM Changeset in base [c02cf39]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2002-12-03 14:30:12 by simonmar] Eeek! A nasty bug has been lurking in waitQSemN, which as far as I can make out has been there for ever. Presumably no-one uses this abstraction... The bug is that waitQSemN would discard any other blocked threads (presumably waiting for a larger chunk of the semaphore) if it succeeds. It still looks to me like the quantity semaphores in here can suffer from starvation: if one thread requests a large chunk, while lots of other threads are requesting smaller chunks, then the thread requesting the large chunk might never get to run. I'm sure this must be a well-known problem. MERGE TO STABLE
2:30 PM Changeset in directory [c02cf39]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2002-12-03 14:30:12 by simonmar] Eeek! A nasty bug has been lurking in waitQSemN, which as far as I can make out has been there for ever. Presumably no-one uses this abstraction... The bug is that waitQSemN would discard any other blocked threads (presumably waiting for a larger chunk of the semaphore) if it succeeds. It still looks to me like the quantity semaphores in here can suffer from starvation: if one thread requests a large chunk, while lots of other threads are requesting smaller chunks, then the thread requesting the large chunk might never get to run. I'm sure this must be a well-known problem. MERGE TO STABLE
2:30 PM Changeset in ghc [0f9d7cc] by simonmar <unknown>
[project @ 2002-12-03 14:30:12 by simonmar] Eeek! A nasty bug has been lurking in waitQSemN, which as far as I can make out has been there for ever. Presumably no-one uses this abstraction... The bug is that waitQSemN would discard any other blocked threads (presumably waiting for a larger chunk of the semaphore) if it succeeds. It still looks to me like the quantity semaphores in here can suffer from starvation: if one thread requests a large chunk, while lots of other threads are requesting smaller chunks, then the thread requesting the large chunk might never get to run. I'm sure this must be a well-known problem. MERGE TO STABLE
2:30 PM Changeset in process [c02cf39]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2002-12-03 14:30:12 by simonmar] Eeek! A nasty bug has been lurking in waitQSemN, which as far as I can make out has been there for ever. Presumably no-one uses this abstraction... The bug is that waitQSemN would discard any other blocked threads (presumably waiting for a larger chunk of the semaphore) if it succeeds. It still looks to me like the quantity semaphores in here can suffer from starvation: if one thread requests a large chunk, while lots of other threads are requesting smaller chunks, then the thread requesting the large chunk might never get to run. I'm sure this must be a well-known problem. MERGE TO STABLE
1:00 PM Changeset in ghc [b883765]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-03 13:00:32 by simonmar] Fix this test - it had a race condition
1:00 PM Changeset in testsuite [59663f8]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 @ 2002-12-03 13:00:32 by simonmar] Fix this test - it had a race condition
12:42 PM Changeset in ghc [40b71f8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-03 12:42:44 by simonmar] omit conc021 for ghci
12:42 PM Changeset in testsuite [0938342]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 @ 2002-12-03 12:42:44 by simonmar] omit conc021 for ghci

Dec 2, 2002:

5:10 PM Changeset in ghc [aa78876d]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2002-12-02 17:10:13 by simonpj] Use the right PackageIfaceTable in cmInfoThing
4:58 PM Changeset in ghc [bd87e78]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2002-12-02 16:58:33 by simonpj] Remember to zapToType in tcSpliceExpr
3:37 PM Changeset in ghc [31759650]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 15:37:27 by simonmar] Add some more notes, particularly on using ways, and mention the GHCi way.
3:37 PM Changeset in testsuite [a5d7f2d]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 @ 2002-12-02 15:37:27 by simonmar] Add some more notes, particularly on using ways, and mention the GHCi way.
3:31 PM Changeset in ghc [0accf31]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 15:31:21 by simonmar] oops, remove ghci from compile_ways
3:31 PM Changeset in testsuite [a382f59f]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 @ 2002-12-02 15:31:21 by simonmar] oops, remove ghci from compile_ways
3:26 PM Changeset in ghc [1dc7cb3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 15:26:13 by simonmar] Add support for stdin files in the GHCi way.
3:26 PM Changeset in testsuite [3c0acb0]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 @ 2002-12-02 15:26:13 by simonmar] Add support for stdin files in the GHCi way.
3:11 PM Changeset in ghc [b79c336a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 15:11:49 by simonmar] omit GHCi way
3:11 PM Changeset in testsuite [75e81bb]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 @ 2002-12-02 15:11:49 by simonmar] omit GHCi way
2:48 PM Changeset in ghc [7d5fee1c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 14:48:27 by simonmar] Add support for multi-module tests in GHCi
2:48 PM Changeset in testsuite [e9094b2]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 @ 2002-12-02 14:48:27 by simonmar] Add support for multi-module tests in GHCi
2:40 PM Changeset in ghc [cd73b72]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 14:40:38 by simonmar] GHCi way: set the buffering on stdout to LineBuffering to more correctly match the compiled environment.
2:40 PM Changeset in testsuite [eecbdb1]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 @ 2002-12-02 14:40:38 by simonmar] GHCi way: set the buffering on stdout to LineBuffering to more correctly match the compiled environment.
2:37 PM Changeset in ghc [c9ac5c1f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 14:37:26 by simonmar] Don't run ffi00{1,2} with GHCi; they use foreign export
2:37 PM Changeset in testsuite [388c40ad]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 @ 2002-12-02 14:37:26 by simonmar] Don't run ffi00{1,2} with GHCi; they use foreign export
2:33 PM Changeset in ghc [286a25b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2002-12-02 14:33:10 by simonmar] Fix a bug and clean up some cruft in here: - In each function in the rts_getXXXX() family, there was a test that the object is actually of the desired type by examining its info table. Some of these tests were disabled, but there was no comment explaining why. I've just (re-)discovered the reason: the info table might be dynamically-loaded in the GHCi case. Not all the tests were disabled, which lead to bugs using the FFI in GHCi (in particular with functions that return Float or Double). - I've added consistent, but commented out, assertions to each of the rts_getXXXX() functions, and left a comment explaining why these reasonable-looking assertions are disabled. MERGE TO STABLE
1:43 PM Changeset in ghc [024444a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonmar <unknown>
[project @ 2002-12-02 13:43:43 by simonmar] Add support for running tests with GHCi. This is an additional "way" in the test system, which is enabled automatically if $(GhcWithInterpreter) = YES, and only applies to tests that run (as opposed to tests that just compile).
1:43 PM Changeset in testsuite [99f41cb]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 @ 2002-12-02 13:43:43 by simonmar] Add support for running tests with GHCi. This is an additional "way" in the test system, which is enabled automatically if $(GhcWithInterpreter) = YES, and only applies to tests that run (as opposed to tests that just compile).
10:44 AM Changeset in ghc [12718d14]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2002-12-02 10:44:10 by simonmar] Add a FAQ item about long link times.
9:08 AM Ticket #100 (ghc-5.04: panic! ... tySplitTyConApp ...) closed by simonpj
[…]
9:06 AM Changeset in ghc [42c70ca]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-12-02 09:06:43 by simonpj] This one paniced 5.04
9:06 AM Changeset in testsuite [78d9ccd8]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 @ 2002-12-02 09:06:43 by simonpj] This one paniced 5.04

Nov 30, 2002:

9:11 PM Ticket #100 (ghc-5.04: panic! ... tySplitTyConApp ...) created by mlauer
[…]

Nov 29, 2002:

11:16 AM Changeset in ghc [bad9f9a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-11-29 11:11:12 by simonpj] Update expected output
11:16 AM Changeset in testsuite [790114c]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 @ 2002-11-29 11:11:12 by simonpj] Update expected output

Nov 28, 2002:

5:30 PM Changeset in ghc [b6bb38e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-11-28 17:30:27 by simonpj] update expected output
5:30 PM Changeset in testsuite [4130d2e]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 @ 2002-11-28 17:30:27 by simonpj] update expected output
5:21 PM Changeset in ghc [5a94d52]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-11-28 17:21:52 by simonpj] Add new tests
5:21 PM Changeset in testsuite [dde1539]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 @ 2002-11-28 17:21:52 by simonpj] Add new tests
5:21 PM Changeset in ghc [b504edb3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-11-28 17:21:00 by simonpj] Update expected output for new type-error generation
5:21 PM Changeset in testsuite [5c03810]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 @ 2002-11-28 17:21:00 by simonpj] Update expected output for new type-error generation
5:17 PM Changeset in ghc [3c58c25b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2002-11-28 17:17:41 by simonpj] ------------------------------- A day's work to improve error messages ------------------------------- 1. Indicate when the cause of the error is likely to be the monomorpism restriction, and identify the offending variables. This involves mainly tcSimplifyTop and its error generation. 2. Produce much better kind error messages. No more ../alonzo/DiGraph.hs:40: Couldn't match `* -> *' against `Type bx' Expected kind: * -> * Inferred kind: Type bx When checking that `DiGraph n' is a type It took a surprisingly long time to get the details right.
4:22 PM Ticket #99 (configure doesn't recognise platform) closed by simonmar
[…]
2:47 PM Ticket #99 (configure doesn't recognise platform) created by nobody
[…]
10:04 AM Changeset in ghc [b44c688]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2002-11-28 10:04:52 by simonpj] Report over-size tuples gracefully
10:04 AM Changeset in ghc [e030a747]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2002-11-28 10:04:15 by simonpj] Document a couple more bugs
10:03 AM Changeset in ghc [85630e62]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by simonpj <unknown>
[project @ 2002-11-28 10:03:43 by simonpj] Suppress linking messages in TH_spliceDecl1
10:03 AM Changeset in testsuite [446604a]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 @ 2002-11-28 10:03:43 by simonpj] Suppress linking messages in TH_spliceDecl1
9:41 AM Ticket #98 (interface decl for PrelTup) closed by simonpj
[…]
1:00 AM Changeset in ghc [2c5ca12]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by mthomas <unknown>
[project @ 2002-11-28 01:00:44 by mthomas] Add a getting started example. Someone with Docbook please check the SGML.
Note: See TracTimeline for information about the timeline view.