Timeline


and

Jan 1, 2005:

11:54 PM Ticket #286 (GADTs Syntax Infelicity with {;}) created by ashley-y
[…]
11:36 PM Changeset in base [6bf0c46]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by krasimir <unknown>
[project @ 2005-01-01 23:36:20 by krasimir] add getTemporaryDirectory to the collection of pre-defined directories.
11:36 PM Changeset in directory [6bf0c46]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by krasimir <unknown>
[project @ 2005-01-01 23:36:20 by krasimir] add getTemporaryDirectory to the collection of pre-defined directories.
11:36 PM Changeset in ghc [b952ffb]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by krasimir <unknown>
[project @ 2005-01-01 23:36:20 by krasimir] add getTemporaryDirectory to the collection of pre-defined directories.
11:36 PM Changeset in process [6bf0c46]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by krasimir <unknown>
[project @ 2005-01-01 23:36:20 by krasimir] add getTemporaryDirectory to the collection of pre-defined directories.

Dec 30, 2004:

10:15 PM Changeset in ghc [7f05f10]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-30 22:14:59 by simonpj] Fix to the pre-Xmas simplifier changes, which should make everything work again. I'd forgotten to attend to this corner. Still not properly tested I fear. Also remove dead code from SimplEnv, and simplify the remainder (hooray).

Dec 27, 2004:

6:28 PM Changeset in ghc [29ca2190]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-27 18:28:21 by simonpj] Wibble
11:27 AM Changeset in ghc [a451fc6]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-27 11:27:56 by simonpj] import wibble

Dec 24, 2004:

4:15 PM Changeset in ghc [339d522]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-24 16:14:36 by simonpj] --------------------------- Refactor the simplifier --------------------------- Driven by a GADT bug, I have refactored the simpifier, and the way GHC treats substitutions. I hope I have gotten it right. Be cautious about updating. * coreSyn/Subst.lhs has gone * coreSyn/CoreSubst replaces it, except that it's quite a bit simpler * simplCore/SimplEnv is added, and contains the simplifier-specific substitution stuff Previously Subst was trying to be all things to all men, and that was making it Too Complicated. There may be a little more code now, but it's much easier to understand.
12:20 PM Changeset in base [f498141]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by krasimir <unknown>
[project @ 2004-12-24 12:20:18 by krasimir] revert the previous commit it was wrong
12:20 PM Changeset in directory [f498141]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by krasimir <unknown>
[project @ 2004-12-24 12:20:18 by krasimir] revert the previous commit it was wrong
12:20 PM Changeset in ghc [d7445b6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by krasimir <unknown>
[project @ 2004-12-24 12:20:18 by krasimir] revert the previous commit it was wrong
12:20 PM Changeset in process [f498141]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by krasimir <unknown>
[project @ 2004-12-24 12:20:18 by krasimir] revert the previous commit it was wrong
12:12 PM Changeset in base [beaf733]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by krasimir <unknown>
[project @ 2004-12-24 12:12:28 by krasimir] minor performance update for withCAStringLen and newCAStringLen functions. We don't need to calculate the string length twice.
12:12 PM Changeset in directory [beaf733]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by krasimir <unknown>
[project @ 2004-12-24 12:12:28 by krasimir] minor performance update for withCAStringLen and newCAStringLen functions. We don't need to calculate the string length twice.
12:12 PM Changeset in ghc [76672c6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by krasimir <unknown>
[project @ 2004-12-24 12:12:28 by krasimir] minor performance update for withCAStringLen and newCAStringLen functions. We don't need to calculate the string length twice.
12:12 PM Changeset in process [beaf733]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by krasimir <unknown>
[project @ 2004-12-24 12:12:28 by krasimir] minor performance update for withCAStringLen and newCAStringLen functions. We don't need to calculate the string length twice.
11:38 AM Changeset in ghc [0498d355]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-24 11:38:09 by simonpj] Reset the export flag for the new bindings in LiberateCase
11:03 AM Changeset in ghc [0ee11df0]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-24 11:02:39 by simonpj] Further wibbles to the scoped-tyvar story. This commit tidies up the ATyVar in TcTyThing, making it ATyVar Name Type instead of the previous misleading ATyVar TyVar Type But the main thing is that we must take care with definitions like this: type T a = forall b. b -> (a,b) f :: forall c. T c f = ... Here, we want only 'c' to scope over the RHS of f. The renamer ensures that... but we must also take care that we freshly instantiate the expanded type signature (forall c b. b -> (c,b)) before checking f's RHS, so that we don't get false sharing between uses of T.

Dec 23, 2004:

2:59 PM Changeset in ghc [fdba799]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-23 14:59:46 by simonpj] Simplifications, dead code elimination
1:44 PM Changeset in ghc [af3dc1f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-23 13:44:06 by simonpj] minor nomenclature wibble
11:50 AM Changeset in ghc [c97ea0c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-23 11:50:55 by simonpj] Enable scoped type variables only where there is an explicit forall
9:37 AM Changeset in ghc [c4592b62]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 <unknown>
[project @ 2004-12-23 09:37:01 by simonpj] Add a test involving existentials
9:37 AM Changeset in testsuite [c05ac27]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 @ 2004-12-23 09:37:01 by simonpj] Add a test involving existentials
9:17 AM Ticket #239 (Template crash on existential types) closed by simonpj
[…]
9:07 AM Changeset in ghc [aaf9f20]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 <unknown>
[project @ 2004-12-23 09:07:39 by simonpj] --------------------------------- Template Haskell: names again --------------------------------- On 2 Dec 04 I made this commit (1.58 in Convert.lhs) Fix a Template Haskell bug that meant that top-level names created with newName were not made properly unique. But that just introduced a new bug! THe trouble is that names created by newName are NameUs; but I was *also* using NameU for names of free varaibles, such as the 'x' in the quoted code here f x = $( g [| \y -> (x,y) |]) But when converting to HsSyn, the x and y must be treated diffferently. The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's in the type environment; but the 'y' must generate a nice unique RdrName. So this commit adds NameL for the lexically-scoped bindings like 'x'.
9:07 AM Changeset in ghc [e12e0bb7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-23 09:07:30 by simonpj] --------------------------------- Template Haskell: names again --------------------------------- On 2 Dec 04 I made this commit (1.58 in Convert.lhs) Fix a Template Haskell bug that meant that top-level names created with newName were not made properly unique. But that just introduced a new bug! THe trouble is that names created by newName are NameUs; but I was *also* using NameU for names of free varaibles, such as the 'x' in the quoted code here f x = $( g [| \y -> (x,y) |]) But when converting to HsSyn, the x and y must be treated diffferently. The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's in the type environment; but the 'y' must generate a nice unique RdrName. So this commit adds NameL for the lexically-scoped bindings like 'x'.
9:07 AM Changeset in testsuite [a3792dba]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 @ 2004-12-23 09:07:39 by simonpj] --------------------------------- Template Haskell: names again --------------------------------- On 2 Dec 04 I made this commit (1.58 in Convert.lhs) Fix a Template Haskell bug that meant that top-level names created with newName were not made properly unique. But that just introduced a new bug! THe trouble is that names created by newName are NameUs; but I was *also* using NameU for names of free varaibles, such as the 'x' in the quoted code here f x = $( g [| \y -> (x,y) |]) But when converting to HsSyn, the x and y must be treated diffferently. The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's in the type environment; but the 'y' must generate a nice unique RdrName. So this commit adds NameL for the lexically-scoped bindings like 'x'.
9:07 AM Changeset in ghc [0043ea06]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-23 09:07:38 by simonpj] --------------------------------- Template Haskell: names again --------------------------------- On 2 Dec 04 I made this commit (1.58 in Convert.lhs) Fix a Template Haskell bug that meant that top-level names created with newName were not made properly unique. But that just introduced a new bug! THe trouble is that names created by newName are NameUs; but I was *also* using NameU for names of free varaibles, such as the 'x' in the quoted code here f x = $( g [| \y -> (x,y) |]) But when converting to HsSyn, the x and y must be treated diffferently. The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's in the type environment; but the 'y' must generate a nice unique RdrName. So this commit adds NameL for the lexically-scoped bindings like 'x'.
12:02 AM Changeset in base [bd1dd53]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ralf <unknown>
[project @ 2004-12-23 00:02:41 by ralf] Resolved stage1 issues related SPJ's commit "Add more scoped type variables". Incidentally, this provides some input for the recent GHC list discussion on whether to provide lex. scope for function signatures. Not too many modules are affected! Good! The example hslibs/data/edison/Seq/BinaryRandList.hs was interesting in so far that indeed up-front function signatures were given in one shot, so one is really a bit confused to see type variables in where clauses to clash with far-removed top-level function signatures. Ralf
12:02 AM Changeset in directory [bd1dd53]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ralf <unknown>
[project @ 2004-12-23 00:02:41 by ralf] Resolved stage1 issues related SPJ's commit "Add more scoped type variables". Incidentally, this provides some input for the recent GHC list discussion on whether to provide lex. scope for function signatures. Not too many modules are affected! Good! The example hslibs/data/edison/Seq/BinaryRandList.hs was interesting in so far that indeed up-front function signatures were given in one shot, so one is really a bit confused to see type variables in where clauses to clash with far-removed top-level function signatures. Ralf
12:02 AM Changeset in ghc [097b243]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ralf <unknown>
[project @ 2004-12-23 00:02:41 by ralf] Resolved stage1 issues related SPJ's commit "Add more scoped type variables". Incidentally, this provides some input for the recent GHC list discussion on whether to provide lex. scope for function signatures. Not too many modules are affected! Good! The example hslibs/data/edison/Seq/BinaryRandList.hs was interesting in so far that indeed up-front function signatures were given in one shot, so one is really a bit confused to see type variables in where clauses to clash with far-removed top-level function signatures. Ralf
12:02 AM Changeset in process [bd1dd53]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ralf <unknown>
[project @ 2004-12-23 00:02:41 by ralf] Resolved stage1 issues related SPJ's commit "Add more scoped type variables". Incidentally, this provides some input for the recent GHC list discussion on whether to provide lex. scope for function signatures. Not too many modules are affected! Good! The example hslibs/data/edison/Seq/BinaryRandList.hs was interesting in so far that indeed up-front function signatures were given in one shot, so one is really a bit confused to see type variables in where clauses to clash with far-removed top-level function signatures. Ralf

Dec 22, 2004:

4:59 PM Changeset in ghc [20e39e0e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-22 16:58:34 by simonpj] ---------------------------------------- Add more scoped type variables ---------------------------------------- Now the top-level forall'd variables of a type signature scope over the right hand side of that function. f :: a -> a f x = .... The type variable 'a' is in scope in the RHS, and in f's patterns. It's implied by -fglasgow-exts, but can also be switched off independently using -fscoped-type-variables (and the -fno variant)
12:16 PM Changeset in ghc [d6fd4179]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 <unknown>
[project @ 2004-12-22 12:16:49 by simonpj] Wibbles
12:16 PM Changeset in testsuite [eb52200]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 @ 2004-12-22 12:16:49 by simonpj] Wibbles
12:07 PM Changeset in ghc [d7c402a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-22 12:06:13 by simonpj] ---------------------------------------- New Core invariant: keep case alternatives in sorted order ---------------------------------------- We now keep the alternatives of a Case in the Core language in sorted order. Sorted, that is, by constructor tag for DataAlt by literal for LitAlt The main reason is that it makes matching and equality testing more robust. But in fact some lines of code vanished from SimplUtils.mkAlts. WARNING: no change to interface file formats, but you'll need to recompile your libraries so that they generate interface files that respect the invariant.
12:04 PM Changeset in ghc [1f3a9ff8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-22 12:04:14 by simonpj] -------------------------- Add -fwarn-orphans flag -------------------------- This gives a decent report for modules that contain 'orphan' instance and rule declarations. These are to be avoided, because GHC has to proactively read the interface file every single time, just in case the instance/rule is needed. The flag just gives a convenient way of identifying the culprits.

Dec 21, 2004:

5:09 PM Changeset in ghc [893d7df5]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 17:08:59 by simonpj] --------------------------------- Template Haskell: dynamically scoped qualified names --------------------------------- This commit adds a constructor to TH.Name, so that nameBase (mkName "Foo.baz") == "baz" nameModule (MkName "Foo.baz") == "Foo" We always did parse the module name off the front, but it used to be done in hsSyn/Convert, but now it's done in TH.Syntax, which is a better place.
5:09 PM Changeset in ghc [e6dc22c]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-21 17:09:02 by simonpj] --------------------------------- Template Haskell: dynamically scoped qualified names --------------------------------- This commit adds a constructor to TH.Name, so that nameBase (mkName "Foo.baz") == "baz" nameModule (MkName "Foo.baz") == "Foo" We always did parse the module name off the front, but it used to be done in hsSyn/Convert, but now it's done in TH.Syntax, which is a better place.
4:42 PM Changeset in base [3e23aaae]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-21 16:42:06 by ross] Hugs only: move the Typeable instance for ST back to Control.Monad.ST. Having it in Data.Typeable, which is imported by Data.Dynamic, would mean that every invocation of runhugs or ffihugs would need the -98 option.
4:42 PM Changeset in directory [3e23aaae]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-21 16:42:06 by ross] Hugs only: move the Typeable instance for ST back to Control.Monad.ST. Having it in Data.Typeable, which is imported by Data.Dynamic, would mean that every invocation of runhugs or ffihugs would need the -98 option.
4:42 PM Changeset in ghc [554bbc1]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-21 16:42:06 by ross] Hugs only: move the Typeable instance for ST back to Control.Monad.ST. Having it in Data.Typeable, which is imported by Data.Dynamic, would mean that every invocation of runhugs or ffihugs would need the -98 option.
4:42 PM Changeset in process [3e23aaae]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-21 16:42:06 by ross] Hugs only: move the Typeable instance for ST back to Control.Monad.ST. Having it in Data.Typeable, which is imported by Data.Dynamic, would mean that every invocation of runhugs or ffihugs would need the -98 option.
4:23 PM Changeset in ghc [180484c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 16:23:23 by simonpj] Fix buglet in CSE
2:00 PM Changeset in base [dcc348a]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonpj <unknown>
[project @ 2004-12-21 14:00:12 by simonpj] Add an instance for Typeable RealWorld; and move the Typeable ST instance to Data.Typeable
2:00 PM Changeset in directory [dcc348a]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonpj <unknown>
[project @ 2004-12-21 14:00:12 by simonpj] Add an instance for Typeable RealWorld; and move the Typeable ST instance to Data.Typeable
2:00 PM Changeset in ghc [5f0ba689]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-21 14:00:12 by simonpj] Add an instance for Typeable RealWorld; and move the Typeable ST instance to Data.Typeable
2:00 PM Changeset in process [dcc348a]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonpj <unknown>
[project @ 2004-12-21 14:00:12 by simonpj] Add an instance for Typeable RealWorld; and move the Typeable ST instance to Data.Typeable
12:35 PM Changeset in ghc [970fca0f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:35:10 by simonpj] An old commit about paths on windows
12:23 PM Changeset in ghc [79a8b87c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:22:22 by simonpj] --------------------------------- Improve handling of lexically scoped type variables --------------------------------- If we have f :: T a -> a f (x :: T b) = ... then the lexically scoped variable 'b' should refer to the rigid type variable 'a', without any intervening wobbliness. Previously the in-scope type variables were always mutable TyVars, which were instantatiated to point to the type they were bound to; but since the advent of GADTs the intervening mutable type variable is a bad thing. Hence * In the type environment, ATyVar now carries a type * The call to refineTyVars in tc_pat on SigPatIn finds the types by matching * Then tcExtendTyVarEnv3 extends the type envt appropriately Rater a lot of huff and puff, but it's quite natural for ATyVar to contain a type. Various other small nomenclature changes along the way.
12:21 PM Changeset in ghc [d673a34]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:21:16 by simonpj] Comments
12:14 PM Changeset in ghc [d2655be]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:14:31 by simonpj] Remove debug output
12:12 PM Changeset in base [ca95eb0]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonpj <unknown>
[project @ 2004-12-21 12:12:40 by simonpj] Add GHC.Prim to base package modules
12:12 PM Changeset in directory [ca95eb0]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonpj <unknown>
[project @ 2004-12-21 12:12:40 by simonpj] Add GHC.Prim to base package modules
12:12 PM Changeset in ghc [c257f43a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-21 12:12:40 by simonpj] Add GHC.Prim to base package modules
12:12 PM Changeset in process [ca95eb0]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonpj <unknown>
[project @ 2004-12-21 12:12:40 by simonpj] Add GHC.Prim to base package modules
12:11 PM Changeset in ghc [d04199c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:11:37 by simonpj] Comments
12:09 PM Changeset in ghc [5fa56a9]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:09:55 by simonpj] Add missing NoteTy cases to unify_
12:09 PM Changeset in ghc [6a12006]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 12:09:14 by simonpj] Comments only
10:49 AM Changeset in ghc [c8e2bf8]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 <unknown>
[project @ 2004-12-21 10:49:56 by simonpj] Add more GADT tests
10:49 AM Changeset in testsuite [f9ef6b30]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 @ 2004-12-21 10:49:56 by simonpj] Add more GADT tests
9:58 AM Changeset in ghc [2132742]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-21 09:58:13 by simonpj] Comments only
9:08 AM Changeset in ghc [b783b864]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 09:08:08 by simonpj] Fix bogon in type comparison
8:52 AM Changeset in ghc [39b0063]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 08:52:54 by simonpj] Comment only
8:50 AM Changeset in ghc [2a373c29]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-21 08:50:27 by simonpj] Another wibble to the Panic change; this time on Windows

Dec 20, 2004:

10:20 PM Ticket #285 (hp-ux 11.11 binaries) created by amyhr
Looks like there hasn't been a binary dist for ghc in a very long time, …
5:17 PM Changeset in ghc [c45a0ac]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-20 17:16:24 by simonpj] -------------------------------- Deal properly with dual-renaming -------------------------------- When comparing types and terms, and during matching, we are faced with \x.e1 ~ \y.e2 There are many pitfalls here, and GHC has never done the job properly. Now, at last it does, using a new abstraction VarEnv.RnEnv2. See comments there for how it works. There are lots of consequential changes to use the new stuff, especially in types/Type (type comparison), types/Unify (matching on types) coreSyn/CoreUtils (equality on expressions), specialise/Rules (matching). I'm not 100% certain of that I've covered all the bases, so let me know if something unexpected happens after you update. Maybe wait until a nightly build has worked ok first!
9:28 AM Changeset in ghc [b139e550]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 <unknown>
[project @ 2004-12-20 09:28:15 by simonpj] Add missing flag
9:28 AM Changeset in testsuite [afe4c32]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 @ 2004-12-20 09:28:15 by simonpj] Add missing flag

Dec 18, 2004:

3:45 PM Changeset in ghc [f207c9b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by panne <unknown>
[project @ 2004-12-18 15:45:56 by panne] The documentation breakage continues... >:-( Fixed DocBook. Again: "make html" (or the faster "make validate" in the case of DocBook XML) is your friend! >:-(
3:38 PM Changeset in base [1665160]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by panne <unknown>
[project @ 2004-12-18 15:38:08 by panne] * Fixed Haddock comment. Please: Before committing, everybody should test with "make html" if the documentation is syntactically OK. It is quite frustrating to find a broken RPM build after several hours and 99% of the work done... >:-( * Fixed isPathSeparator comment. * Cleanup
3:38 PM Changeset in directory [1665160]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by panne <unknown>
[project @ 2004-12-18 15:38:08 by panne] * Fixed Haddock comment. Please: Before committing, everybody should test with "make html" if the documentation is syntactically OK. It is quite frustrating to find a broken RPM build after several hours and 99% of the work done... >:-( * Fixed isPathSeparator comment. * Cleanup
3:38 PM Changeset in ghc [14d7589]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by panne <unknown>
[project @ 2004-12-18 15:38:08 by panne] * Fixed Haddock comment. Please: Before committing, everybody should test with "make html" if the documentation is syntactically OK. It is quite frustrating to find a broken RPM build after several hours and 99% of the work done... >:-( * Fixed isPathSeparator comment. * Cleanup
3:38 PM Changeset in process [1665160]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by panne <unknown>
[project @ 2004-12-18 15:38:08 by panne] * Fixed Haddock comment. Please: Before committing, everybody should test with "make html" if the documentation is syntactically OK. It is quite frustrating to find a broken RPM build after several hours and 99% of the work done... >:-( * Fixed isPathSeparator comment. * Cleanup
12:45 AM Changeset in base [2b7edca]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-18 00:45:27 by ross] Add system-dependent filename extensions: exeExtension ("" or ".exe") objExtension (".o" or ".obj") dllExtension (".so" or ".dll")
12:45 AM Changeset in directory [2b7edca]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-18 00:45:27 by ross] Add system-dependent filename extensions: exeExtension ("" or ".exe") objExtension (".o" or ".obj") dllExtension (".so" or ".dll")
12:45 AM Changeset in ghc [057067e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-18 00:45:27 by ross] Add system-dependent filename extensions: exeExtension ("" or ".exe") objExtension (".o" or ".obj") dllExtension (".so" or ".dll")
12:45 AM Changeset in process [2b7edca]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-18 00:45:27 by ross] Add system-dependent filename extensions: exeExtension ("" or ".exe") objExtension (".o" or ".obj") dllExtension (".so" or ".dll")
12:43 AM Changeset in base [58d14b8]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-18 00:43:03 by ross] avoid a warning by defining getDrive only on Windows
12:43 AM Changeset in directory [58d14b8]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-18 00:43:03 by ross] avoid a warning by defining getDrive only on Windows
12:43 AM Changeset in ghc [ba4fdad]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-18 00:43:03 by ross] avoid a warning by defining getDrive only on Windows
12:43 AM Changeset in process [58d14b8]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-18 00:43:03 by ross] avoid a warning by defining getDrive only on Windows

Dec 17, 2004:

5:43 PM Changeset in ghc [39721a36]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-17 17:43:24 by simonpj] Restore a test; fixes rnfail042
4:13 PM Changeset in ghc [de36fea]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-17 16:13:27 by simonpj] Fix breakage in previous commit re signal handling
3:31 PM Ticket #272 (GHCi on Windows can't stand control-C) closed by simonmar
3:26 PM Changeset in ghc [da1625cf]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-17 15:26:07 by simonmar] Add entry about Ctrl-C on Windows
3:19 PM Changeset in ghc [0dacf415]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-17 15:19:53 by simonmar] Add comment about Ctrl-C/Ctrl-Break issue
3:14 PM Changeset in ghc [e4efc1a2]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-17 15:14:47 by simonmar] Support for Ctrl-C on Windows. This works fine in a cmd.exe shell, but in a Cygwin bash shell you have to press Ctrl-Break to get an interrupt. There appears to be a long thread on the cygwin mailing list back in 2002 about this, but life is probably too short to investigate further. http://www.cygwin.com/ml/cygwin/2002-01/msg00163.html
3:12 PM Changeset in base [4c31d64b]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-17 15:12:13 by simonmar] Add GHC.ConsoleHandler
3:12 PM Changeset in directory [4c31d64]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-17 15:12:13 by simonmar] Add GHC.ConsoleHandler
3:12 PM Changeset in ghc [a95091a7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-17 15:12:13 by simonmar] Add GHC.ConsoleHandler
3:12 PM Changeset in process [4c31d64]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-17 15:12:13 by simonmar] Add GHC.ConsoleHandler
1:02 PM Changeset in ghc [cd3baa20]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 simonmar <unknown>
[project @ 2004-12-17 13:02:36 by simonmar] include expected output
1:02 PM Changeset in testsuite [cbc3eb4]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 @ 2004-12-17 13:02:36 by simonmar] include expected output

Dec 16, 2004:

10:36 AM Changeset in ghc [c69886a1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-16 10:36:57 by simonmar] Sanity check when configuring for mingw32: make sure that $CC is a mingw gcc before proceeding.
10:23 AM Changeset in ghc [7fd32ef]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-16 10:23:44 by simonmar] --with-gcc: export the CC environment variable, so the setting gets picked up by sub-configures. Perhaps we should be advising people to use CC=c:/mingw/bin/gcc ./configure because that works for all configure scripts, not just the top level one. Background: - We want --with-gcc to do the right thing, because we don't want to require Cygwin users to put c:/mingw/bin first on their path: that would break their Cygwin environment. - The build system should work with *no* gcc on your PATH, as long as you use --with-gcc (equivalently, CC=... ./configure).
8:56 AM Changeset in ghc [13f7d710]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-16 08:56:15 by simonpj] Darn! Forgot this commit, which killed the nightly build

Dec 15, 2004:

4:14 PM Changeset in ghc [57bb44d7]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 simonmar <unknown>
[project @ 2004-12-15 16:14:35 by simonmar] Add :info test
4:14 PM Changeset in testsuite [6b09db6]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 @ 2004-12-15 16:14:35 by simonmar] Add :info test
3:28 PM Changeset in ghc [f8dfc857]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-15 15:28:39 by simonpj] Comments only
3:14 PM Changeset in ghc [81ccf8a]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 <unknown>
[project @ 2004-12-15 15:14:37 by simonpj] Add several more tests
3:14 PM Changeset in testsuite [481a8a3]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 @ 2004-12-15 15:14:37 by simonpj] Add several more tests
12:51 PM Changeset in ghc [ab3e6dba]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-15 12:51:15 by simonpj] Make ghc/lib/compat/Compat/Directory.hs use the C function __compat_long_path_size, rather than __hscore_long_path_size, as the libraries/ version does And make ghc/lib/compat/cbits/directory.c define it. In this way we avoid spurious duplicate-symbol errors when we compile GHC with ghc6.2.1 etc.
12:29 PM Changeset in ghc [9b65ef9]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-15 12:29:08 by simonpj] Pretty print PrimTyConI
12:15 PM Changeset in ghc [4fb581f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-15 12:15:16 by simonpj] Tidy the type of an interactively-bound Id before adding it to the environment. Generally speaking, top level environments are assumed to be in tidied form, so we don't tidy the types before printing.
12:14 PM Changeset in ghc [7428487a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-15 12:14:06 by simonpj] comment

Dec 14, 2004:

1:55 PM Changeset in base [b970da6]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-14 13:55:22 by simonmar] Add Text.Printf
1:55 PM Changeset in directory [b970da6]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-14 13:55:22 by simonmar] Add Text.Printf
1:55 PM Changeset in ghc [f6507c83]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-14 13:55:22 by simonmar] Add Text.Printf
1:55 PM Changeset in process [b970da6]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-14 13:55:22 by simonmar] Add Text.Printf
1:32 PM Changeset in base [5a0dabc]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by malcolm <unknown>
[project @ 2004-12-14 13:32:38 by malcolm] Plumb in the new Text/Printf module.
1:32 PM Changeset in directory [5a0dabc]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by malcolm <unknown>
[project @ 2004-12-14 13:32:38 by malcolm] Plumb in the new Text/Printf module.
1:32 PM Changeset in ghc [317468c]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by malcolm <unknown>
[project @ 2004-12-14 13:32:38 by malcolm] Plumb in the new Text/Printf module.
1:32 PM Changeset in process [5a0dabc]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by malcolm <unknown>
[project @ 2004-12-14 13:32:38 by malcolm] Plumb in the new Text/Printf module.
1:31 PM Changeset in base [bca0cbb]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by malcolm <unknown>
[project @ 2004-12-14 13:31:44 by malcolm] For nhc98, get entities from H'98 libraries, rather than redefine them here.
1:31 PM Changeset in directory [bca0cbb]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by malcolm <unknown>
[project @ 2004-12-14 13:31:44 by malcolm] For nhc98, get entities from H'98 libraries, rather than redefine them here.
1:31 PM Changeset in ghc [c5d9bbb]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by malcolm <unknown>
[project @ 2004-12-14 13:31:44 by malcolm] For nhc98, get entities from H'98 libraries, rather than redefine them here.
1:31 PM Changeset in process [bca0cbb]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by malcolm <unknown>
[project @ 2004-12-14 13:31:44 by malcolm] For nhc98, get entities from H'98 libraries, rather than redefine them here.
12:52 PM Changeset in base [edc5c57]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-14 12:52:03 by simonmar] Some more Typeable instances, as requested on the ghc-users list a while back.
12:52 PM Changeset in directory [edc5c57]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-14 12:52:03 by simonmar] Some more Typeable instances, as requested on the ghc-users list a while back.
12:52 PM Changeset in ghc [d62f2ba]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-14 12:52:03 by simonmar] Some more Typeable instances, as requested on the ghc-users list a while back.
12:52 PM Changeset in process [edc5c57]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-14 12:52:03 by simonmar] Some more Typeable instances, as requested on the ghc-users list a while back.
12:44 PM Changeset in base [f77ec15b]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-14 12:44:52 by simonmar] Add instance Typeable MVar
12:44 PM Changeset in directory [f77ec15b]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-14 12:44:52 by simonmar] Add instance Typeable MVar
12:44 PM Changeset in ghc [4cf1e850]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-14 12:44:52 by simonmar] Add instance Typeable MVar
12:44 PM Changeset in process [f77ec15b]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-14 12:44:52 by simonmar] Add instance Typeable MVar
12:37 PM Changeset in base [62b33ad]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-14 12:37:28 by simonmar] Add Lennart's Printf module, extended by me to include hPrintf.
12:37 PM Changeset in directory [62b33ad]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-14 12:37:28 by simonmar] Add Lennart's Printf module, extended by me to include hPrintf.
12:37 PM Changeset in ghc [c8292d24]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-14 12:37:28 by simonmar] Add Lennart's Printf module, extended by me to include hPrintf.
12:37 PM Changeset in process [62b33ad]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-14 12:37:28 by simonmar] Add Lennart's Printf module, extended by me to include hPrintf.
12:24 PM Ticket #254 (closure type 54000 ) closed by simonmar
[…]
12:06 PM Ticket #269 (gethostent is not available for NetBSD-1.6.2) closed by simonmar

Dec 13, 2004:

1:54 PM Ticket #283 (ghc-pkg ignores library dirs) closed by simonmar
[…]
12:54 PM Ticket #284 (RPM doesn't support --prefix) closed by simonmar
[…]
12:09 PM Changeset in ghc [acfd7c6]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-13 12:09:25 by simonpj] Comments only
11:11 AM Changeset in ghc [09b8064]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 simonmar <unknown>
[project @ 2004-12-13 11:11:23 by simonmar] expect fail for profasm too.
11:11 AM Changeset in testsuite [38a8db4]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 @ 2004-12-13 11:11:23 by simonmar] expect fail for profasm too.
11:08 AM Changeset in ghc [2f80250]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 simonmar <unknown>
[project @ 2004-12-13 11:08:15 by simonmar] arith008 fails for profasm too
11:08 AM Changeset in testsuite [42ea1dd]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 @ 2004-12-13 11:08:15 by simonmar] arith008 fails for profasm too
11:07 AM Changeset in ghc [c037f4e8]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 simonmar <unknown>
[project @ 2004-12-13 11:07:33 by simonmar] ffi009 fails for profasm too
11:07 AM Changeset in testsuite [26d14f6]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 @ 2004-12-13 11:07:33 by simonmar] ffi009 fails for profasm too
1:54 AM Ticket #284 (RPM doesn't support --prefix) created by skaller
[…]

Dec 12, 2004:

1:45 PM Ticket #283 (ghc-pkg ignores library dirs) created by as49
[…]

Dec 10, 2004:

1:34 PM Changeset in ghc [ea45357]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-10 13:34:38 by simonmar] stg_sel_##offset##_upd_entry: the ENTER() here is unnecessary, because we know the closure in R1 will evaluate to a constructor, so we can save some time by just entering it directly.

Dec 9, 2004:

5:25 PM Changeset in base [7fb73d7]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-09 17:25:15 by simonmar] Haddock only: import Data.Array.IArray, to avoid linking to hidden Data.Array.Base.
5:25 PM Changeset in directory [7fb73d7]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-09 17:25:15 by simonmar] Haddock only: import Data.Array.IArray, to avoid linking to hidden Data.Array.Base.
5:25 PM Changeset in ghc [523390b]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-09 17:25:15 by simonmar] Haddock only: import Data.Array.IArray, to avoid linking to hidden Data.Array.Base.
5:25 PM Changeset in process [7fb73d7]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-09 17:25:15 by simonmar] Haddock only: import Data.Array.IArray, to avoid linking to hidden Data.Array.Base.
11:31 AM Changeset in ghc [0f4648c]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 simonmar <unknown>
[project @ 2004-12-09 11:31:53 by simonmar] add unreg & profasm ways
11:31 AM Changeset in testsuite [1a1760b]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 @ 2004-12-09 11:31:53 by simonmar] add unreg & profasm ways
9:45 AM Changeset in base [dc4c204]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-09 09:45:39 by simonmar] Add subRegex & splitRegex Contributed by: John Goerzen <jgoerzen@complete.org>
9:45 AM Changeset in directory [dc4c204]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-09 09:45:39 by simonmar] Add subRegex & splitRegex Contributed by: John Goerzen <jgoerzen@complete.org>
9:45 AM Changeset in ghc [0af150a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-09 09:45:39 by simonmar] Add subRegex & splitRegex Contributed by: John Goerzen <jgoerzen@complete.org>
9:45 AM Changeset in process [dc4c204]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-09 09:45:39 by simonmar] Add subRegex & splitRegex Contributed by: John Goerzen <jgoerzen@complete.org>
9:29 AM Changeset in ghc [8e4c2ae]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 simonmar <unknown>
[project @ 2004-12-09 09:29:13 by simonmar] accept output
9:29 AM Changeset in testsuite [c642c04]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 @ 2004-12-09 09:29:13 by simonmar] accept output
9:26 AM Changeset in ghc [d09693b5]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 simonmar <unknown>
[project @ 2004-12-09 09:26:51 by simonmar] install --install-prefix ==> copy --copy-prefix
9:26 AM Changeset in testsuite [cb97a4b]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 @ 2004-12-09 09:26:51 by simonmar] install --install-prefix ==> copy --copy-prefix

Dec 8, 2004:

3:09 PM Changeset in ghc [0e6454e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-08 15:09:14 by simonpj] Undo bogus 1.4 commit
3:03 PM Changeset in ghc [3599ea7a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-08 15:03:50 by simonpj] First commit for new Cmm code generation (branch)
2:32 PM Changeset in ghc [7504aca]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-08 14:32:28 by simonpj] Comments and asserts only
12:17 PM Changeset in ghc [6973be9]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 simonmar <unknown>
[project @ 2004-12-08 12:17:09 by simonmar] Add test for Sourceforge bug #1073501.
12:17 PM Changeset in testsuite [1fa8405]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 @ 2004-12-08 12:17:09 by simonmar] Add test for Sourceforge bug #1073501.
12:06 PM Ticket #280 (checkProddableBlock: invalid fixup in runtime linker) closed by simonmar
12:05 PM Changeset in ghc [c418e72]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-08 12:05:51 by simonmar] Fix bug #1073501: checkProddableBlock: invalid fixup in runtime linker The bug manifested when trying to load an object with debugging info (compiled with gcc -g) into GHCi. The problem was that the object loader was ignoring the sections containing debugging info, but then it was later trying to do relocations for those sections, and its own sanity checking code correctly detected that the relocations were in unknown parts of the object file. The fix is to ignore relocations whose target section isn't one of the sections that we're interested in, using the same test in both cases (the code to test section kind has been extracted). The code could probably benefit from more refactoring: it looks like the list of sections we build up in the first phase isn't even used in the second phase, instead we traverse the section table in the image again. This looks like cruft leftover from when the GC used to check whether an address was in text or data space.
11:05 AM Changeset in base [0165461]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by simonmar <unknown>
[project @ 2004-12-08 11:05:31 by simonmar] - Update docs on finalizers: we don't guarantee to run finalizers at all, and you can't express finalizer ordering using touchForeignPtr. - consistently rename finaliser to finalizer.
11:05 AM Changeset in directory [0165461]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by simonmar <unknown>
[project @ 2004-12-08 11:05:31 by simonmar] - Update docs on finalizers: we don't guarantee to run finalizers at all, and you can't express finalizer ordering using touchForeignPtr. - consistently rename finaliser to finalizer.
11:05 AM Changeset in ghc [937f8c08]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonmar <unknown>
[project @ 2004-12-08 11:05:31 by simonmar] - Update docs on finalizers: we don't guarantee to run finalizers at all, and you can't express finalizer ordering using touchForeignPtr. - consistently rename finaliser to finalizer.
11:05 AM Changeset in process [0165461]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by simonmar <unknown>
[project @ 2004-12-08 11:05:31 by simonmar] - Update docs on finalizers: we don't guarantee to run finalizers at all, and you can't express finalizer ordering using touchForeignPtr. - consistently rename finaliser to finalizer.
10:29 AM Changeset in ghc [8d750a5c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-08 10:29:01 by simonmar] deleteThread: don't attempt to delete threads blocked in foreign calls.
9:28 AM Changeset in ghc [5ece0e4]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-08 09:28:57 by simonmar] Prevent any intermediate file deletion using .SECONDARY: and remove now-unnecessary .PRECIOUS and .SECONDARY targets. Suggestion from Ashley Yakeley.

Dec 6, 2004:

11:20 AM Changeset in ghc [fa7ae43]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 simonmar <unknown>
[project @ 2004-12-06 11:20:11 by simonmar] Unregister the package afterward, it interferes with other tests.
11:20 AM Changeset in testsuite [d719de9]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 @ 2004-12-06 11:20:11 by simonmar] Unregister the package afterward, it interferes with other tests.
11:08 AM Changeset in ghc [af7fc16]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 simonmar <unknown>
[project @ 2004-12-06 11:08:02 by simonmar] accept output
11:08 AM Changeset in testsuite [64e9366]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 @ 2004-12-06 11:08:02 by simonmar] accept output
10:58 AM Changeset in ghc [bfb87645]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-06 10:58:06 by simonpj] --------------------- Bug in specialisation --------------------- Laszlo managed to get a function like this: foo :: Enum a => (# a, Int #) The specialiser specialised it, resulting in an unboxed tuple binding, which Lint objected to. This commit adds a dummy argument to the specialised function, very like the case for strictness analysis. For example, at type Char we'd get foo_char :: State# RealWorld -> (# Char, Int #) foo_char = \_ -> ... We use a State# type because it generates no argument-passing code at runtime. (We should really have some other void type for this purpose, because State# is misleading, but this way avoids extra types.)
10:51 AM Changeset in ghc [f6f3819]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-06 10:51:36 by simonpj] ------------------------------------ Bug in loop detection in TcSimplify ------------------------------------ The type-class context simplifier has been able to build recursive dictionaries for some time: co-induction. That is, you can build a proof for constraint C by assuming that C holds when proving the preconditions of C. You need to be in -fallow-undecidable-instances land to make use of this: see comments with [RECURSIVE DICTIONARIES] in TcSimplify.lhs. Anyway, this is all fine, but I'd implemented it wrong! You need to be very careful with superclasses, or you can make a bogus loop by mistake. This commit fixes it; tests LoopOfTheDay{1,2,3} will test it (thanks Ralf Laemmel).
10:47 AM Changeset in ghc [717d6533]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 simonmar <unknown>
[project @ 2004-12-06 10:47:38 by simonmar] accept output
10:47 AM Changeset in testsuite [131312b]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 @ 2004-12-06 10:47:38 by simonmar] accept output
10:47 AM Changeset in ghc [23843129]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-06 10:47:22 by simonmar] Error message fixup

Dec 4, 2004:

2:07 PM Changeset in ghc [5ad32b4]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by panne <unknown>
[project @ 2004-12-04 14:07:25 by panne] Moved GTK_CONFIG detection to ghc subdirectory (untested).
1:48 PM Changeset in ghc [aa9c98ec]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by panne <unknown>
[project @ 2004-12-04 13:48:05 by panne] Nuked some outdated stuff
12:57 PM Changeset in ghc [7e45c22]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by panne <unknown>
[project @ 2004-12-04 12:57:57 by panne] No need for --enable-hopengl anymore

Dec 3, 2004:

4:59 PM Changeset in ghc [ee5881e5]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-03 16:59:43 by simonpj] Make Core Lint check for 1-tuples
4:52 PM Changeset in ghc [bb3ea86]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 simonmar <unknown>
[project @ 2004-12-03 16:52:31 by simonmar] Add a Cabal test (modified version of the test from the Cabal distibution).
4:52 PM Changeset in testsuite [32b3c09]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 @ 2004-12-03 16:52:31 by simonmar] Add a Cabal test (modified version of the test from the Cabal distibution).
4:25 PM Changeset in ghc [fcf5e02f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-03 16:25:58 by simonmar] Get rid of some `...' style quotes
4:02 PM Changeset in ghc [f9b37bc8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-03 16:02:44 by simonpj] Update TH import
3:53 PM Changeset in ghc [82825ea8]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 simonmar <unknown>
[project @ 2004-12-03 15:53:30 by simonmar] Add a test for basic ghc-pkg functionality
3:53 PM Changeset in testsuite [984156e]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 @ 2004-12-03 15:53:30 by simonmar] Add a test for basic ghc-pkg functionality
3:35 PM Changeset in ghc [6f93da7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-03 15:35:56 by simonmar] distclean: clean config.mk only *after* doing the recursive cleaning. Otherwise we don't clean properly in the subdirectories or sub-ways.
2:08 PM Changeset in base [23b82c1]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-03 14:08:07 by ross] added a simple-minded implementation of rawSystem for non-GHC implementations. Also re-instated the doc comment that rawSystem lost in its travels.
2:08 PM Changeset in directory [23b82c1]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-03 14:08:07 by ross] added a simple-minded implementation of rawSystem for non-GHC implementations. Also re-instated the doc comment that rawSystem lost in its travels.
2:08 PM Changeset in ghc [961ba6f9]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-03 14:08:07 by ross] added a simple-minded implementation of rawSystem for non-GHC implementations. Also re-instated the doc comment that rawSystem lost in its travels.
2:08 PM Changeset in process [23b82c1]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-03 14:08:07 by ross] added a simple-minded implementation of rawSystem for non-GHC implementations. Also re-instated the doc comment that rawSystem lost in its travels.
1:57 PM Changeset in ghc [e0ccc77e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-03 13:57:19 by simonmar] - Implement expose/hide - fix parsing of package identifiers (forgot to commit this the other day)
1:49 PM Changeset in ghc [e6d89fb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-03 13:49:00 by simonpj] A fix to kind signatures for GADT data type decls
1:47 PM Changeset in ghc [6601043]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-03 13:47:22 by simonpj] TH refication for primitive TyCons
1:01 PM Changeset in ghc [2153d07]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonmar <unknown>
[project @ 2004-12-03 13:01:28 by simonmar] Support the --auto-ghci-libs option in conjuction with 'register'.
12:19 PM Changeset in ghc [ffe5660]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by simonpj <unknown>
[project @ 2004-12-03 12:19:51 by simonpj] Add nameModule; and PrimTyConI
10:46 AM Ticket #282 (GHCi stdin buffering strange) created by simonpj
[…]

Dec 2, 2004:

11:39 PM Changeset in ghc [a86cd3c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by wolfgang <unknown>
[project @ 2004-12-02 23:39:13 by wolfgang] Mac OS X/Darwin/Mach-O: Improve handling of object files without dynamic symbol tables.
5:20 PM Ticket #275 (Template Haskell: Crash when using newName) closed by simonpj
[…]
5:18 PM Changeset in ghc [759739c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-02 17:18:15 by simonpj] Sorry for the fact that there are overlapping three commits in here... 1. Make -fno-monomorphism-restriction and -fno-implicit-prelude reversible, like other flags 2. Fix a wibble in the new ImportAvails story, in RnNames.mkExportAvails 3. Fix a Template Haskell bug that meant that top-level names created with newName were not made properly unique.
5:17 PM Changeset in ghc [3ed515ed]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-02 17:17:28 by simonpj] Trim imports
4:55 PM Changeset in ghc [a3c686d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-02 16:55:02 by simonpj] Missing include
4:33 PM Changeset in ghc [58fd187]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj <unknown>
[project @ 2004-12-02 16:33:16 by simonpj] Missing import on Windows
3:57 PM Changeset in unix [94e1fc5]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-02 15:57:06 by ross] Hugs only: replace the CBITS pragma (files relative to cbits) with CFILES (files relative to the root of the package).
3:57 PM Changeset in base [993bbeb]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-02 15:57:02 by ross] Hugs only: replace the CBITS pragma (files relative to cbits) with CFILES (files relative to the root of the package).
3:57 PM Changeset in directory [993bbeb]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-02 15:57:02 by ross] Hugs only: replace the CBITS pragma (files relative to cbits) with CFILES (files relative to the root of the package).
3:57 PM Changeset in ghc [1be134c3]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-02 15:57:02 by ross] Hugs only: replace the CBITS pragma (files relative to cbits) with CFILES (files relative to the root of the package).
3:57 PM Changeset in process [993bbeb]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-02 15:57:02 by ross] Hugs only: replace the CBITS pragma (files relative to cbits) with CFILES (files relative to the root of the package).
2:52 PM Changeset in base [949eab2]data-proxydbcsencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classmonad-compsupercompilertype-reasoningwindows-iocp by ross <unknown>
[project @ 2004-12-02 14:52:30 by ross] add Henrik Nilsson's combinators for composing with pure functions
2:52 PM Changeset in directory [949eab2]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by ross <unknown>
[project @ 2004-12-02 14:52:30 by ross] add Henrik Nilsson's combinators for composing with pure functions
2:52 PM Changeset in ghc [74d0298]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by ross <unknown>
[project @ 2004-12-02 14:52:30 by ross] add Henrik Nilsson's combinators for composing with pure functions
2:52 PM Changeset in process [949eab2]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by ross <unknown>
[project @ 2004-12-02 14:52:30 by ross] add Henrik Nilsson's combinators for composing with pure functions
Note: See TracTimeline for information about the timeline view.