Timeline


and

Feb 22, 2011:

8:28 PM Ticket #4973 (building ghc7.0.1.20110217 under x86 solaris fails) closed by igloo
fixed: Fixed in HEAD and 7.0 by: […]
6:18 PM Ticket #4961 (Make the Timeout exception a newtype instead of a datatype) closed by basvandijk
invalid: Simon, I noticed you didn't push yet. That's good because, as you know, …
6:04 PM Ticket #4969 (regression: core-lint failure in agda) closed by igloo
fixed: Merged
3:07 PM Commentary/Rts/HaskellExecution/PointerTagging edited by ezyang
Fix broken link. (diff)
9:55 AM Ticket #4893 (panic! the 'impossible' happened: initC: srt_lbl) closed by simonpj
duplicate: I think this is a dup of #4534, which is fixed. Indeed your example is ok …
9:26 AM DataParallel/Dec2010Release edited by chak
(diff)
9:13 AM DataParallel/Dec2010Release edited by simonpj
(diff)
8:59 AM Builder edited by kgardas
(diff)

Feb 21, 2011:

6:02 PM Ticket #4974 (cabal install unix-compat fails with ghc-7.0.1-rc2) closed by igloo
invalid: Aha, looks like the real problem is that you don't have libutil.h: …
3:18 PM Ticket #4974 (cabal install unix-compat fails with ghc-7.0.1-rc2) created by basvandijk
I get an error when installing unix-compat with GHC-7.0.1-rc2: […] …
1:00 PM Ticket #4972 (ghc-7.0.1.20110217 crash) closed by maeder
duplicate: this seems to be a duplicate of #4893
12:48 PM Ticket #4973 (building ghc7.0.1.20110217 under x86 solaris fails) created by maeder
creating libHSrts-ghc7.0.1.20110217.so with inplace/bin/ghc-stage1
12:33 PM Ticket #4972 (ghc-7.0.1.20110217 crash) created by maeder
[…] I'll see if this happens under linux, too.
4:26 AM Changeset in ghc [36e8579]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
A small fix and a note.

Feb 20, 2011:

10:57 PM Ticket #4971 (All essential C-- transformations in new codegen should have infinite ...) created by ezyang
Before I forget, this is a bug to remind us that we need to give infinite …
1:17 AM Changeset in ghc [6cceac91]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Some rather inefficient support for distributivity.

Feb 19, 2011:

9:51 PM Changeset in ghc [319a4038]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote branch 'origin/master' into type-nats
9:19 PM Ticket #4013 (build fails on OS X: Invalid Mach-O file:Address out of bounds while ...) closed by igloo
fixed: I've just successfully validated with […] in mk/validate.mk, both 32bit …
3:27 PM Ticket #4970 (time002 and time004 (ghci) test failures on OS X 64 bit) created by gwright
The time002 and time004 tests fail for ghci on OS X 64 bit. The …
3:05 PM Building/RunningTests edited by igloo
(diff)
2:53 PM Ticket #4867 (ghci displays negative floats incorrectly (was: Incorrect result from trig ...) closed by igloo
fixed: Applied, thanks!
1:32 PM Changeset in ghc-prim [e32f7ce]ghc-7.2ghc-7.4ghc-7.6ghc-7.8no-pred-ty by Ian Lynagh <igloo@…>
Roll back generics changes in the HEAD repos
11:47 AM Changeset in ghc [3dceaef]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Drop dead core that was kept alive by RULES in CorePrep (#4962)

Feb 18, 2011:

10:40 PM Ticket #4952 (Typechecking regression) closed by igloo
fixed: Merged.
10:40 PM Ticket #4966 (Type checking regression) closed by igloo
fixed: Merged.
10:39 PM Ticket #4209 (LLVM: Vector code segfaults under OSX) closed by igloo
fixed: Merged: […]
10:39 PM Ticket #4838 (LLVM mangler takes too long at runtime) closed by igloo
fixed: Merged: […]
8:57 PM Commentary/Compiler/CoreSynType edited by megacz
Explain what Id is and its equality semantics. (diff)
8:11 PM Ticket #4969 (regression: core-lint failure in agda) created by igloo
This testcase, boiled down from agda 2.2.8, gives a core lint failure with …[…]
2:09 PM ExplicitCallStack edited by guest
Delete spam (diff)
7:40 AM Ticket #4964 (Scale columns in CCS profiling report to their contents) closed by batterseapower
fixed: I pushed the patch to HEAD: […]

Feb 17, 2011:

9:56 PM Ticket #4968 (openTempFile fails on Windows if a directory exists with the file name it ...) created by ganesh
The program below works on Linux but fails on Windows with "permission …
5:50 PM Commentary/Rts/HaskellExecution/PointerTagging edited by dterei
(diff)
5:49 PM Commentary/Rts/HaskellExecution/FunctionCalls edited by dterei
(diff)
5:47 PM Commentary/Rts/HaskellExecution/FunctionCalls edited by dterei
(diff)
5:46 PM Commentary/Rts/HaskellExecution/Registers edited by dterei
(diff)
5:43 PM Commentary/Pipeline edited by dterei
(diff)
5:42 PM Commentary/Pipeline edited by dterei
(diff)
5:29 PM Commentary/Compiler/Backends/LLVM/Design edited by dterei
(diff)
5:26 PM Commentary/Compiler/Backends/LLVM/Installing edited by dterei
(diff)
5:24 PM Commentary/Compiler/Backends/LLVM edited by dterei
(diff)
5:20 PM Commentary/Compiler/Backends/NCG edited by dterei
(diff)
5:11 PM Commentary/Compiler/IfaceFiles edited by dterei
(diff)
5:09 PM Commentary/Compiler/Packages edited by dterei
(diff)
5:08 PM Commentary/Compiler/KeyDataTypes edited by dterei
(diff)
5:08 PM Commentary/Compiler edited by dterei
(diff)
5:07 PM Commentary/Compiler/KeyDataTypes edited by dterei
(diff)
5:05 PM Commentary/Compiler/ModuleTypes created by dterei
11:19 AM Ticket #4967 (internal error: stg_ap_v_ret on forkProcess + executeFile) created by udoprog
I've so far been unable to reproduce the bug, due to my inexperience in …
12:15 AM Ticket #4966 (Type checking regression) created by igloo
This module: […] is accepted by 7.0.1, but not by 7.0-branch or HEAD: …

Feb 16, 2011:

11:46 PM Commentary/Compiler/KeyDataTypes edited by dterei
(diff)
11:44 PM Commentary/Compiler edited by dterei
(diff)
11:37 PM Commentary/Compiler/StrictnessAnalysis edited by dterei
(diff)
11:31 PM Commentary/Compiler/HscMain edited by dterei
(diff)
11:30 PM Commentary/Compiler/HscPipe edited by dterei
(diff)
11:30 PM HscPipe2.png attached to Commentary/Compiler/HscPipe by dterei
11:24 PM Commentary/Compiler/HscMain edited by dterei
(diff)
11:23 PM HscPipe.png attached to Commentary/Compiler/HscMain by dterei
HscPipe
11:23 PM Commentary/Compiler/HscMain edited by dterei
add llvm to graphic (diff)
11:22 PM HscPipe2.png attached to Commentary/Compiler/HscMain by dterei
11:04 PM Commentary/Compiler/IfaceFiles edited by dterei
Add note of where ModIface? lives. (diff)
10:32 PM Commentary/Compiler/HscMain edited by dterei
Fix some formatting (diff)
10:26 PM Commentary/Compiler/HscMain edited by dterei
add llvm code gen info (diff)
10:24 PM Commentary/Compiler/API edited by dterei
Fix link to recompilation checker and remove empty section on stable … (diff)
9:51 PM Ticket #4953 (panic: urk! lookup local fingerprint main:B.throwErr{v rR3}) closed by igloo
fixed: The panics are fixed now, but uni-htk is failing to build. I'll take a …
9:37 PM Ticket #4965 (60% performance regression in continuation-heavy code between 6.12 and 7) created by bos
I have a JSON parsing library whose performance has regressed by a little …
4:16 PM Ticket #4964 (Scale columns in CCS profiling report to their contents) created by batterseapower
If you have long identifiers or module names, they overflow the fixed-size …
11:57 AM Ticket #4963 (Faster implementation of System.Timeout.timeout) created by basvandijk
As described in the …
10:13 AM Ticket #4962 (Dead code fed to CorePrep because RULEs keep it alive spuriously) created by batterseapower
This ticket is split off from #4941. I'm seeing output code that looks …

Feb 15, 2011:

9:29 PM Ticket #4961 (Make the Timeout exception a newtype instead of a datatype) created by basvandijk
The attached patch simply replaces the data with a newtype for the …
2:47 PM Ticket #4957 (Simplifier failes to eliminate redundant boxing/unboxing) closed by simonpj
fixed: Fixed by […] Test added also. Simon
2:13 PM Ticket #4945 (Another SpecConstr infelicity) closed by igloo
fixed: Only performance, and not a regression since 7.0.1 at least, so not …
1:52 PM Ticket #4958 (Ambiguous module name `Prelude' (base haskell98-1.1.0.0)) closed by simonmar
wontfix: GHC starting with version 7.2.1 will not support using the haskell98
1:15 PM Ticket #4960 (Better inlining test in CoreUnfold) created by simonpj
Consider this […] If a function that scrutinises its argument is …

Feb 14, 2011:

9:57 PM Commentary/Compiler/StackAreas edited by ezyang
some notes about the new codegen (diff)
6:09 PM Ticket #4959 (Warning about variables with leading underscore that are used anyway) created by Lemming
I use -Wall all the time, which includes -fwarn-unused-binds and …
5:33 PM ErlangInHaskell edited by jepst
(diff)
4:13 PM Ticket #4958 (Ambiguous module name `Prelude' (base haskell98-1.1.0.0)) created by EvgenijM86
I was trying to compile haskell-src-1.0.1.4 with ghc-7.1.20110213 and got …
1:26 PM Commentary/Compiler/Coercions edited by megacz
typo (diff)
11:09 AM Ticket #4957 (Simplifier failes to eliminate redundant boxing/unboxing) created by simonpj
Consider this […] GHC 6.12 -O generates this: […] Here y is used …

Feb 13, 2011:

9:04 PM Ticket #4898 (internal error: evacuate(static): strange closure type 23675) closed by igloo
worksforme: No response from submitter, so closing.
8:50 PM Ticket #4214 (OSX 64bit: ghci: loadObj internal error) closed by igloo
fixed: GHCi works in the current builds, so I agree that we can close this ticket …
8:45 PM Ticket #4956 (threadDelay behavior 64-bit mac os x) created by perikov
threadDelay 1000000 […] to reproduce: fire up ghci […]
5:31 PM Ticket #4949 (TH typechecking regression) closed by igloo
fixed: Yes, all the above packages now build in the stable branch.
2:43 PM Ticket #4935 (New type error in GHC 7.1 with TypeFamilies, Rank2Types) closed by igloo
fixed: Merged

Feb 11, 2011:

5:18 PM Ticket #4950 (Typechecking regression) closed by simonpj
duplicate: Patch not yet committed, but will be shortly. Dup of #4935.
1:38 PM Ticket #4955 (increase error message detail for module lookups failure due to hi ...) created by duncan
Consider the following build log. In particular note that we start by …
10:32 AM Ticket #4948 (Undefined symbols: ...) closed by simonmar
worksforme
3:50 AM DataParallel/Library edited by chak
(diff)

Feb 10, 2011:

4:21 PM Ticket #4947 (Regenerated cbits/WCsubst.c based on Unicode 6.0.0) closed by simonmar
fixed: no hurry to merge, I think.
4:18 PM Ticket #4902 (Create a primop for getting the size of an Array#) closed by simonmar
fixed: Pushed, thanks! […] […]
3:05 PM BadContent edited by simonmar
(diff)
2:00 PM Commentary/Compiler/NewCodeGenPipeline edited by simonpj
(diff)
1:45 PM Changeset in ghc [c073f23]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add unboxed tuple support to Template Haskell
11:39 AM ErlangInHaskell edited by jepst
Added walkthrough (diff)
12:00 AM Commentary/Compiler/API edited by dterei
(diff)

Feb 9, 2011:

11:20 PM Commentary/Compiler edited by dterei
(diff)
11:14 PM Commentary/Compiler/Backends edited by dterei
(diff)
10:53 PM Ticket #4954 (-eventlog / -debug should imply -rtsopts) created by duncan
The -eventlog flag links the program to the threaded rts. The eventlog …
6:44 PM Changeset in ghc [cb8fb4dc]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Allow TH brackets to contain things of any kind You can now quasi-quote things with unboxed types, and unboxed tuples.
5:50 PM Changeset in ghc [43cc549d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Simpify constraints from a TH bracket eagerly See Trac #4949, where having a TH bracket implication was messing things up. Better to get rid of it right away.
5:49 PM Changeset in ghc [b076da6]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Typo in comment
5:29 PM Ticket #4953 (panic: urk! lookup local fingerprint main:B.throwErr{v rR3}) created by igloo
7.0.1 and HEAD accept the following pair of modules, but the 7.0 branch …
4:31 PM Ticket #4952 (Typechecking regression) created by igloo
7.0.1 accepts this module (cut down from hashed-storage-0.5.4): […] but …
1:23 PM EventLog edited by duncan
link to ghc-events package (diff)
10:08 AM Building/RunningTests edited by simonpj
(diff)
10:07 AM Building/RunningTests edited by simonpj
(diff)
9:15 AM Ticket #4951 (Performance regression 7.0.1 -> 7.0.1.20110201) created by simonmar
Submitted by Kazu Yamamoto on glasgow-haskell-users. This program […] …
12:36 AM Ticket #4950 (Typechecking regression) created by igloo
Reduced from data-category-0.3.1.1, this module: […] is accepted by …

Feb 8, 2011:

10:42 PM Ticket #4949 (TH typechecking regression) created by igloo
The 7.0 branch (and HEAD) behaves differently to 7.0.1 on this modules: …
10:33 AM Ticket #4948 (Undefined symbols: ...) created by ikeg
I met a strange error when building gitit-0.7.3.12 with `ghc …
9:01 AM Changeset in ghc [c21f0768]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix bug introduced in "Implement fuzzy matching for the Finder" The finder was reporting a hidden package when it meant a hidden module, and vice versa (looks like a typo).

Feb 7, 2011:

7:38 PM Ticket #4947 (Regenerated cbits/WCsubst.c based on Unicode 6.0.0) created by basvandijk
I noticed the generated cbits/WCsubst.c was based on Unicode 5.1.0. I …
7:31 PM DarcsConversion edited by igloo
(diff)
7:30 PM GettingStarted edited by igloo
(diff)
7:15 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
2:20 PM Changeset in ghc [6f573eb5]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Call the final build system phase "final" rather than ""
11:30 AM admin/lun edited by simonmar
(diff)
11:13 AM admin/lun edited by simonmar
add Mailman info (diff)
10:25 AM Changeset in ghc [28ca359]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix Trac #4945: another SpecConstr infelicity Well, more a plain bug really, which led to SpecConstr missing some obvious opportunities for specialisation. Thanks to Max Bolingbroke for spotting this.
8:12 AM TypeNats/InductiveDefinitions edited by diatchki
(diff)

Feb 6, 2011:

10:41 PM DarcsConversion edited by igloo
(diff)
10:35 PM DarcsConversion edited by igloo
(diff)
10:34 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:34 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:33 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:32 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:32 PM Building/RunningNoFib edited by igloo
(diff)
10:32 PM Repositories edited by igloo
(diff)
10:31 PM TypeNats/InductiveDefinitions created by diatchki
10:31 PM TypeNats edited by diatchki
(diff)
10:29 PM DarcsConversion edited by igloo
(diff)
10:28 PM Building/Rebuilding edited by igloo
(diff)
10:27 PM Building/SyncAll created by igloo
10:23 PM TypeNats/Examples edited by diatchki
(diff)
9:50 PM Repositories created by igloo
9:28 PM TypeNats/Examples edited by diatchki
(diff)
9:25 PM TypeNats/Examples created by diatchki
9:16 PM TypeNats edited by diatchki
(diff)
8:59 PM DarcsConversion edited by igloo
(diff)
8:58 PM Building/QuickStart edited by igloo
(diff)
8:32 PM Changeset in integer-gmp [3dc84d7]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Call the final build system phase "final" rather than ""
5:27 PM Changeset in ghc [2c72b52]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Cancelation and associativity. This helps with some of the GADT style examples. Currently, the code is rather inefficient but it the idea was to see if it will work at all.
2:01 AM Changeset in ghc [cccd40e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Yet another variation on associativity.

Feb 5, 2011:

11:46 PM Changeset in ghc [c15ae63]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Refactor a bit and report errors due to impossible constraints.
11:23 PM Ticket #4880 (Functor, Monad, Applicative instances for Data.Monoid.First, ...) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:23 PM Ticket #4859 (Add forkOnIO and friends to Control.Concurrent) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:23 PM Ticket #4858 (Add Control.Concurrent.forkIOWithUnmask, deprecate forkIOUnmasked) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:22 PM Ticket #4857 (Add Control.Exception.allowInterrupt) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:20 PM Ticket #4842 (keep Data.Map.foldWithKey) closed by igloo
wontfix: In the absence of a consensus, let's default to sticking to the "no …
11:16 PM Ticket #4834 (New Functor => Applicative => Monad Hierarchy) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:15 PM Ticket #4535 (Add tryReadChan to Chan) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:13 PM Ticket #4517 (Add Data.Functor.Backwards to transformers) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:13 PM Ticket #4482 (Allow type variables to be instantiated as a typeclass) closed by igloo
wontfix: No response from submitter, so closing.
11:12 PM Ticket #4344 (Better toRational for Float and Double) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:12 PM Ticket #4313 (Proposal: Add left, right and strict folds to Data.Set, Data.IntMap and ...) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:11 PM Ticket #4192 (Proposed process piping function to be added to the "process" package) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:03 PM Ticket #3999 (Improved folds for Data.Map and Data.IntMap) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:02 PM Ticket #3339 (Data.Monoid: Add (<>) as a synonym for mappend) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:01 PM Ticket #2717 (Add nubWith, nubOrd) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
10:38 PM Ticket #4865 (Deprecate and remove Prelude.catch and System.IO.Error.{catch,try}) closed by igloo
fixed: Consensus was to apply the proposal, with several people expressing …
8:33 PM Ticket #4943 (Another odd missed SpecConstr opportunity) closed by igloo
fixed: Merged.
8:33 PM Ticket #1333 (core lint failures from arrow notation + HPC) closed by igloo
fixed: Thanks Ross! Merged.
3:13 PM Ticket #4852 (cabal doesn't tell ./configure which gcc to use) closed by igloo
fixed: The Cabal 1.10.0.0 provided with ghc 7.0.1, I assume? That doesn't have …
2:27 PM Ticket #4944 (-fvia-C/asm mangler broken on registerised powerpc-linux build) closed by igloo
wontfix: Registerised PPC/Linux isn't a supported platform, I'm afraid. Note too …
1:42 PM Ticket #4906 (peekCString crashes on handling nullPtr) closed by igloo
invalid: The module is described as "Utilities for primitive marshalling of C …
12:19 PM ErlangInHaskell edited by jepst
Pasted in README from remote-haskell repository (diff)
1:55 AM Ticket #4852 (cabal doesn't tell ./configure which gcc to use) closed by igloo
fixed: Right, cabal-install is using Cabal 1.8.0.6, which doesn't have all the …

Feb 4, 2011:

10:36 PM admin/lun edited by igloo
(diff)
10:31 PM admin/lun edited by igloo
(diff)
10:24 PM admin/lun created by igloo
8:38 PM TypeNats/Naturals edited by hesselink
Interger -> Integer (diff)
3:22 PM Ticket #4895 (hGetBufSome returns 0 when it should not) closed by igloo
fixed: Merged
3:22 PM Ticket #4924 (bizarre strictness analysis bug) closed by igloo
fixed: Merged
3:19 PM Ticket #4504 ("awaitSignal Nothing" does not block thread with -threaded) closed by igloo
All 3 merged
3:17 PM Ticket #4877 (Template Haskell panic when splicing an infix expression with a ...) closed by igloo
fixed: Merged
3:14 PM Ticket #4903 (Inliner looping when specialising across modules (with GADTs and other ...) closed by igloo
fixed: Merged
3:11 PM Ticket #4908 (Easy SpecConstr opportunity that is nonetheless missed) closed by igloo
fixed: Merged
3:11 PM Ticket #4912 (No warnings for orphan instances declared via TypeSynonymInstances) closed by igloo
fixed: Merged
3:10 PM Ticket #4917 (ghc7 does not equate type synonyms under RankNTypes) closed by igloo
fixed: Merged
3:09 PM Ticket #4918 (Rule matcher failing to look through an imported inlining) closed by igloo
fixed: Merged
1:52 PM Changeset in ghc-prim [a7bd533]ghc-7.2ghc-7.4ghc-7.6ghc-7.8no-pred-ty by jpm@…>
We should not use XGenerics in ghc-prim, for now at least.
1:28 PM Ticket #4946 (reify does not work on data structures defined in files without Language ...) created by guest
reify does not work on data structures defined in files compiled without …
1:02 PM ReportABug edited by simonmar
(diff)
9:31 AM Changeset in ghc [d4fd857]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add missing initialisation of ws->todo_large_objects Found-by: Valgrind. Thanks Julian!
8:42 AM Changeset in ghc [8392ba2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add -XNondecreasingIndentation to -XHaskell98 for backwards compatibility. The final straw was when I learned today that Happy broke.

Feb 3, 2011:

11:06 PM Ticket #4945 (Another SpecConstr infelicity) created by batterseapower
I'm beginning to sound like a broken record, but SpecConstr still doesn't …
8:57 PM Changeset in ghc [71d6a2da]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
only the GHC repo is in git for now; add hoopl
5:27 PM Changeset in ghc [2a130b13]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix typo in SpecConstr that made it not work at all There was a terrible typo in this patch; I wrote "env" instead of "env1". Mon Jan 31 11:35:29 GMT 2011 simonpj@microsoft.com * Improve Simplifier and SpecConstr behaviour Anyway, this fix is essential to make it work properly. Thanks to Max for spotting the problem (again).
5:05 PM Changeset in ghc [c9384504]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
An idea about dealing with associative operators.
6:12 AM Ticket #4944 (-fvia-C/asm mangler broken on registerised powerpc-linux build) created by kgardas
Hello, I've build 7.0.1 on powerpc-linux platform, but a lot (if not all) …

Feb 2, 2011:

9:14 PM Changeset in ghc [8d809e0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ross Paterson <ross@…>
avoid adding HPC ticks to arrow constructs (fixes #1333)
5:00 PM Changeset in ghc [367d9a0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix compacting GC
4:04 PM Changeset in ghc [df521c32]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warning
3:49 PM Changeset in ghc [18896fa2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
GC refactoring and cleanup Now we keep any partially-full blocks in the gc_thread[] structs after each GC, rather than moving them to the generation. This should give us slightly better locality (though I wasn't able to measure any difference). Also in this patch: better sanity checking with THREADED.
3:09 PM Ticket #4943 (Another odd missed SpecConstr opportunity) created by batterseapower
Compiling the attached code with HEAD (and without case liberation) has …
1:22 PM Changeset in ghc [104b00d8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix the profiling build
12:30 PM Changeset in ghc [bef3da1e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
A small GC optimisation Store the *number* of the destination generation in the Bdescr struct, so that in evacuate() we don't have to deref gen to get it. This is another improvement ported over from my GC branch.
11:49 AM Changeset in ghc [c226846]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
scheduleProcessInbox: use non-blocking acquire, and take the whole queue This is an improvement from my GC branch, that helps performance for intensive message-passing communication between Capabilities.
11:44 AM Changeset in ghc [26f4bfc8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
do a bit of by-hand CSE
11:43 AM Changeset in ghc [d0bfe30b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add a const
11:32 AM Changeset in ghc [d52d50e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add TRY_ACQUIRE_LOCK()
11:26 AM Changeset in ghc [3290772]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove the per-generation mutable lists Now that we use the per-capability mutable lists exclusively.
9:14 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:11 AM Ticket #2599 (Improve error message for type rigidity) closed by simonpj
invalid: The whole story about "rigidity" has changed, so I don't think this ticket …
9:07 AM Ticket #3169 (Bad occurs-check error message) closed by simonpj
fixed: Happily with the new type checker the error message is almost exactly as I …
1:54 AM Ticket #4942 (GHC.ConsoleHandler does not call back application when Close button is ...) created by Amatic
The test program below is not called back by GHC.ConsoleHandler? when the …

Feb 1, 2011:

5:41 PM Ticket #4887 (add a Location interface for element-wise operations on Data.Map) closed by ross
wontfix: Several people liked the interface, but it's only a little faster than …
4:37 PM Changeset in ghc [0b22a78]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
+RTS -qw hasn't done anything since 7.0.1; remove the implementation & docs It is still (silently) accepted for backwards compatibility.
3:29 PM Ticket #4937 (Remove indirections caused by sum types, such as Maybe) closed by tibbe
wontfix: Replying to rl: > Not to detract from the discussion, but in …
3:10 PM Ticket #4930 (Case-of-case not eliminated when it could be) closed by simonpj
fixed: Good point. Fixed by […] I don't think this is worth merging. Simon
1:05 PM Ticket #4939 (Panic in parsing a stmt) closed by simonmar
invalid
12:29 PM Changeset in ghc [e222292]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix type checker error message See Trac #4940. We had a message The lambda expression `\ x -> x' has one argument one argument, repeating the "one argument" part. Easy fix.
12:28 PM Changeset in ghc [8287e232]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Some refactoring of SpecConstr This was originally to improve the case when SpecConstr generated a function with an unused argument (see Trac #4941), but I ended up giving up on that. But the refactoring is still an improvement. In particular I got rid of BothOcc, which was unused.
12:26 PM Changeset in ghc [46ff3d8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Don't make join points when the case has only one non-bottom alternative This fixes Trac #4930. See Note [Bottom alternatives] in Simplify.lhs
11:30 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:30 AM Ticket #4941 (SpecConstr generates functions that do not use their arguments) created by simonpj
Consider this function: […] SpecConstr does a reasonable job, but …
10:05 AM Ticket #4516 (Over eager non-exhaustive pattern match warnings in lambda expressions.) closed by batterseapower
fixed: Fixed by #4905, I think
10:02 AM Ticket #4940 (Bad error message using poly pat bind with MonoPatBinds) created by batterseapower
This program: […] Is trying to pattern-bind a polymorphic function. …
9:53 AM Ticket #4939 (Panic in parsing a stmt) created by simonpj
Daniel Gorin (dgorin@…) reports: I'm trying to make the hint …
9:50 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:43 AM Ticket #4936 (Unbox sum types without fields) closed by simonmar
duplicate: Duplicate of #605.
8:58 AM Changeset in ghc [8a23f2d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
comments

Jan 31, 2011:

11:48 PM Ticket #4938 (Core2 CPU not detected correctly) created by altaic
This is a HEAD build on a Core2 Duo (i386 & x86_64) MacBook? Pro. …
10:27 PM Ticket #4937 (Remove indirections caused by sum types, such as Maybe) created by tibbe
While null pointers cause correctness issues in languages that allow them, …
10:15 PM Ticket #4936 (Unbox sum types without fields) created by tibbe
In the new I/O manager we use newtyped Ints instead of an ADT to squeeze …
8:06 PM Ticket #4935 (New type error in GHC 7.1 with TypeFamilies, Rank2Types) created by patrick_premont
The following produces a type error with ghc-7.1.20110126. No error is …
4:46 PM TypeNats/Basics edited by diatchki
(diff)
1:59 PM Changeset in ghc [209e0935]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warning
1:24 PM BadContent edited by simonmar
add fire pits spam (diff)
11:35 AM Changeset in ghc [70ad6e6a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Improve Simplifier and SpecConstr behaviour Trac #4908 identified a case where SpecConstr wasn't "seeing" a specialisation it should easily get. The solution was simple: see Note [Add scrutinee to ValueEnv too] in SpecConstr. Then it turned out that there was an exactly analogous infelicity in the mighty Simplifer too; see Note [Add unfolding for scrutinee] in Simplify. This fix is good for Simplify even in the absence of the SpecConstr change. (It arose when I moved the binder- swap stuff to OccAnall, not realising that it *remains* valuable to record info about the scrutinee of a case expression. The Note says why. Together these two changes are unconditionally good. Better simplification, better specialisation. Thank you Max.
9:37 AM TypeNats/Basics edited by simonpj
(diff)
9:32 AM TypeNats/Basics edited by simonpj
(diff)
2:17 AM DataParallel/Dec2010Release edited by chak
(diff)
12:25 AM TypeNats/Operations edited by diatchki
(diff)

Jan 30, 2011:

1:19 AM Changeset in ghc [7c5c9ca]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/typecheck/TcType.lhs
12:43 AM Changeset in ghc [282ce88]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Improve reasoning about ordering to support transitivity and anti-symmetry.

Jan 29, 2011:

3:48 PM Ticket #4934 (threadWaitRead works incorrectly on nonthreaded RTS) created by slyfox
I found out it in xmobar on ghc-7.0.1. When I ran it I got the following …
10:57 AM Ticket #4931 (hsc2hs emits invalid OPTIONS_GHC pragmas) created by awson
If I write […] in my hsc code, hsc2hs emits […] which GHC refuses to …
10:55 AM Ticket #4930 (Case-of-case not eliminated when it could be) created by rl
Small example: […] GHC produces this: […] It ought to produce …

Jan 28, 2011:

3:08 PM ProjectSuggestions edited by simonmar
(diff)
3:07 PM Ticket #4929 (Support all top-level declarations in GHCi) created by simonmar
I thought we had a ticket for this, but I can't find it so I'm creating …
2:53 PM Ticket #3630 (Suggested algorithm to control upper bound of space "leaks") closed by simonmar
invalid
2:48 PM ProjectSuggestions edited by simonmar
(diff)
2:45 PM ProjectSuggestions edited by simonmar
(diff)
2:45 PM ProjectSuggestions edited by simonmar
(diff)
2:43 PM ProjectSuggestions edited by simonmar
(diff)
2:42 PM ProjectSuggestions edited by simonmar
(diff)
2:41 PM ProjectSuggestions edited by simonmar
(diff)
2:35 PM Internships edited by simonmar
(diff)
2:34 PM Internships edited by simonmar
(diff)
2:32 PM Internships edited by simonmar
(diff)
12:08 PM Ticket #4925 (Use explicit language extensions in base) closed by simonpj
fixed: Thanks. I fixed a couple of errors and pushed. Please discard the patch …
11:55 AM Ticket #4905 (New flag to disable warning on incomplete pattern matches in lambdas) closed by simonpj
fixed: Implemented by […] So now -fwarn-incomplete-patterns doesn't warn …
11:54 AM Changeset in ghc [7eb9cce]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix formatting glitch in documentation
10:51 AM Ticket #4928 (Add primops for copying/cloning an array in the new codegen) created by tibbe
Daniel Peebles's benchmarks show that copying arrays using a …
10:36 AM Changeset in ghc [463bbe95]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix warnings
10:11 AM Ticket #4927 (pattern match failure if compiled with -threaded) closed by adept
fixed: With current GHC head (as of 20th Jan 2011 or later) and network HEAD …
9:28 AM Ticket #4927 (pattern match failure if compiled with -threaded) created by helgikrs
Always reproducible with the following program, compiled with ghc -rtsopts …
8:07 AM Changeset in ghc [f1a90f54]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix an egregious strictness analyser bug (Trac #4924) The "virgin" flag was being threaded rather than treated like an environment. As a result, the second and subsequent recursive definitions in a module were not getting a correctly-initialised fixpoint loop, causing much worse strictness analysis results. Indeed the symptoms in Trac #4924 were quite bizarre. Anyway, it's easily fixed. Merge to stable branch.

Jan 27, 2011:

4:50 PM Ticket #4925 (Use explicit language extensions in base) created by basvandijk
Attached is a darcs patch that removes the extension fields from …
4:42 PM Changeset in ghc [784e214]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Annotate thread stop events with the owner of the black hole So we can now get these in ThreadScope: 19487000: cap 1: stopping thread 6 (blocked on black hole owned by thread 4) Note: needs an update to ghc-events. Older ThreadScopes will just ignore the new information.
2:22 PM Ticket #4924 (bizarre strictness analysis bug) created by simonmar
This module: […] contains two identical functions, f and g. If …
1:13 PM Changeset in ghc [a0f6d30]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Refine incomplete-pattern checks (Trac #4905) The changes are: * New flag -fwarn-incomplete-uni-patterns, which checks for incomplete patterns in (a) lambdas, (b) pattern bindings * New flag is not implied by -W or -Wall (too noisy; and many libraries use incomplete pattern bindings) * Actually do the incomplete-pattern check for pattern bindings (previously simply omitted) * Documentation for new flag
9:14 AM Ticket #4923 (HEAD unregisterised build broken: unlit missing) created by kgardas
Hello, unregisterised build of HEAD as of Jan 26 2011 fails with: […] …
8:48 AM Ticket #4922 (Segfault / Assertion failed in RTS (Compact.c)) created by dleuschner
Our application terminates with a segfault or an internal RTS error in …
7:21 AM Ticket #4921 (report ambiguous type variables more consistently) created by Saizan
[…] Both x and y have the same problem, there isn't enough type …
6:18 AM TypeNats edited by diatchki
(diff)
6:16 AM Changeset in ghc [9b5f2e4d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Rename class 'TypeNat' to 'NatI'. NatI is meant to suggest "implicit" natural number parameter, or "introduction" for Nat. I am not sure if this is a good idea, but the 'Type' part of the TypeNat did not seem to convey any useful information.
6:12 AM TypeNats edited by diatchki
(diff)
6:12 AM TypeNats/Implementation edited by diatchki
(diff)
6:05 AM TypeNats/Operations edited by diatchki
(diff)
5:53 AM TypeNats/Operations edited by diatchki
(diff)
5:53 AM TypeNats/Operations edited by diatchki
(diff)
5:26 AM TypeNats/Operations edited by diatchki
(diff)
5:23 AM TypeNats/Operations edited by diatchki
(diff)
5:22 AM TypeNats/Operations edited by diatchki
(diff)
5:19 AM TypeNats/AvoidingPartialTypeFunctions edited by diatchki
(diff)
5:17 AM TypeNats/AvoidingPartialTypeFunctions edited by diatchki
(diff)
5:17 AM TypeNats/AvoidingPartialTypeFunctions created by diatchki
4:57 AM TypeNats edited by diatchki
(diff)
4:52 AM TypeNats edited by diatchki
(diff)
4:34 AM Changeset in ghc [c428b572]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/main/DynFlags.hs
2:14 AM DataParallel/Dec2010Release edited by chak
(diff)
2:09 AM DataParallel/Dec2010Release edited by chak
(diff)
12:17 AM Changeset in ghc [c1e824a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix "make 1" etc following the build system changes The logic is now in mk/compiler-ghc.mk rather than being duplicated in ghc/Makefile and compiler/Makefile.

Jan 26, 2011:

11:18 PM Changeset in ghc [ff3bfae]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Roman Leshchinskiy <rl@…>
Fix vectorisation of recursive types
5:21 PM Changeset in ghc [869984c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix dependencies among specialisations for imported Ids This was a subtle one (Trac #4903). See Note [Glom the bindings if imported functions are specialised] in Speclialise. Fundamentally, a specialised binding for an imported Id was being declared non-recursive, whereas in fact it can become recursive via a RULE. Once it's specified non-recurive the OccAnal pass treats that as gospel -- and that in turn led to infinite inlining. Easily fixed by glomming all the specialised bindings in a Rec; now the OccAnal will sort them out correctly.
5:18 PM Changeset in ghc [6740a5d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix bug in roughTopNames roughTopNames was returning a name that in fact might be "looked though" by the rule matcher. Result: a rule that should match was being pre-emptively discarded. See Note [Care with roughTopName]. Fixes a bug noticed by Pedro (Trac #4918).
5:16 PM Ticket #4918 (Rule matcher failing to look through an imported inlining) created by simonpj
Pedro reported […] The code for f1 was optimised (by rewrite rules) …
5:12 PM Changeset in ghc [92037cb]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only, plus a tiny bit of debug printing
5:12 PM Changeset in ghc [c94920b8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only
5:12 PM Changeset in ghc [e28816f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Look through type synonyms when computing orphans I renamed functions tyClsNamesOfTypes to oprhNamesOfType, because it's only used in that capacity, and we therefore want to look through type synonyms. Similarly exprOrphNames. This fixes Trac #4912.
5:10 PM Changeset in ghc [4dc71b4b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Bleat a bit more informatively in unionLists
4:58 PM Ticket #4485 (Per-class incoherence, and solve incoherent instances last) closed by simonpj
fixed: I've just checked. Both "overlapping-intsances" and "incoherent-instances" …
4:38 PM Ticket #4915 (Segmentation fault or access violation in GHCi (Windows) during ...) closed by simonmar
worksforme: Thanks for the report, and for spending the time trying to reproduce it. …

Jan 25, 2011:

4:24 PM Commentary/Pipeline edited by simonpj
(diff)
4:16 PM Changeset in ghc [a79a531]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Split main/GHC into GHC and GhcMake There are two things going on in main/GHC.hs. * It's the root module of the GHC package * It contains lots of stuff for --make It is also gigantic (2.7k lines) This patch splits it into two * GHC.hs is the root module for the GHC package (1.3k lines) * GhcMake.hs contains the stuff for --make (1.4k lines) Happily the functional split divided it almost exactly in half. This is a pure refactoring. There should be no behavioural change.
4:13 PM Commentary/Pipeline edited by simonpj
(diff)
1:11 PM Changeset in ghc [45bc009]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only
11:10 AM Changeset in ghc [069cd16]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
update debugging code for fragmentation
11:09 AM Ticket #3717 (Superfluous seq no eliminated) closed by simonpj
fixed: Fixed by […] No need to merge; putting this in 7.2 is fine. Simon
11:05 AM Changeset in ghc [d056dfed]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix Trac #3717 by making exprOkForSpeculation a bit cleverer The main change here is to do with dropping redundant seqs. See Note [exprOkForSpeculation: case expressions] in CoreUtils.
11:04 AM Changeset in ghc [5cdc2f1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Improve dataToTag# magic dataToTag# is a bit unsatisfactory because it requires its argument to be evaluated, and we don't have a good way to enforce that. This patch adds some comments, and makes exprOkForSpeculation a bit less picky in the case of dataToTag# (since the argument may, in fact, not be eval'd).
11:01 AM Changeset in ghc [1add108e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix Trac #4917: try a bit harder to unify on-the-fly This is generally a modest improvement but, more important, it fixes a "unify-under-forall" problem. See Note [Avoid deferring]. There's still a lurking unsatisfactory-ness in that we can't defer arbitrary constraints that are trapped under a forall.
9:12 AM DataParallel/Dec2010Release edited by simonpj
(diff)
9:10 AM DataParallel/Dec2010Release edited by simonpj
(diff)
9:09 AM SafeHaskell edited by simonmar
simplify implementation details a bit (diff)
9:03 AM SafeHaskell edited by simonmar
(diff)
5:52 AM DataParallel/Dec2010Release edited by chak
(diff)
5:51 AM DataParallel/Dec2010Release edited by chak
(diff)
1:37 AM Ticket #4917 (ghc7 does not equate type synonyms under RankNTypes) created by kyagrd
See the source at http://hpaste.org/43297/ghc7_problem_with_rankntypes_a

Jan 24, 2011:

11:31 PM Changeset in ghc [001b9a4]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Keep separate linker flags, for when we want to link with gcc or ld
9:52 PM NewPlugins edited by thoughtpolice
(diff)
9:50 PM NewPlugins edited by thoughtpolice
(diff)
9:48 PM NewPlugins edited by thoughtpolice
remove backends stuff, since it's a little out of the current scope (diff)
8:35 PM SafeHaskell edited by dterei
add note that -xsafe and -xsafelanguage cant be used together (diff)
8:26 PM SafeHaskell edited by dterei
fix link (diff)
8:25 PM SafeHaskell edited by dterei
take on board Simon PJ, Simon M and David M's comments. (diff)
7:02 PM SafeHaskell edited by dterei
fix up from David M's comments. (diff)
6:36 PM Changeset in ghc [77b29b56]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix validate on OS X 64
4:58 PM Ticket #4916 (make clean broken) created by kgardas
Hello, it seems `make clean' is broken in ghc head as of Jan 24 2011. The …
12:16 PM Changeset in ghc [889c084e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Merge in new code generator branch. This changes the new code generator to make use of the Hoopl package for dataflow analysis. Hoopl is a new boot package, and is maintained in a separate upstream git repository (as usual, GHC has its own lagging darcs mirror in http://darcs.haskell.org/packages/hoopl). During this merge I squashed recent history into one patch. I tried to rebase, but the history had some internal conflicts of its own which made rebase extremely confusing, so I gave up. The history I squashed was: - Update new codegen to work with latest Hoopl - Add some notes on new code gen to cmm-notes - Enable Hoopl lag package. - Add SPJ note to cmm-notes - Improve GC calls on new code generator. Work in this branch was done by: - Milan Straka <fox@ucw.cz> - John Dias <dias@cs.tufts.edu> - David Terei <davidterei@gmail.com> Edward Z. Yang <ezyang@mit.edu> merged in further changes from GHC HEAD and fixed a few bugs.
6:42 AM DataParallel/Dec2010Release edited by chak
(diff)
6:41 AM DataParallel/Dec2010Release edited by chak
(diff)
6:40 AM DataParallel/Dec2010Release edited by chak
(diff)
4:36 AM Changeset in ghc [9e6e96b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
DPH options updated - '-Odph' is now '-O2 -fsimplifier-phases=3 -fsimplifier-iterations=20' - The new option '-fdph-none' is the default; it indicates that no DPH backend is selected and is the only valid option if the DPH libraries are not installed. If vectorisation is attempted with -fdph-none a suitable error message is generated. - Hence, '-fdph-par' (or '-fdph-seq') needs to be explicitly selected when using vectorisation and when linking vectorised code. (There seems to be no elegant way to avoid that.)

Jan 23, 2011:

10:17 PM Ticket #4915 (Segmentation fault or access violation in GHCi (Windows) during ...) created by drvitek
While working in GHCi, I tried to tab-complete "readFile" after typing in …
3:14 PM Changeset in ghc [eb3a1ae]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add build system profiling to build system
12:02 PM Changeset in ghc [dd47428]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix ghci in stage3
2:18 AM Changeset in ghc [94504e0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove use of non-existent $$(dir) variable in the rts ghc.mk
12:42 AM Changeset in ghc [79f1a03]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add some missing dependencies
12:30 AM Commentary/Compiler/HscMain edited by ezyang
Add some useful flags for looking at the stages (diff)
12:10 AM Changeset in ghc [032dd77]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Tweak some deps to avoid multiple $(wildcard ...)s Note that some things depending on the rts/includes header files now depend on more files: They used to include depend on includes/*.h, but now they also depend on header files in subdirectories. As far as I can see this was a bug.
Note: See TracTimeline for information about the timeline view.