Timeline


and

Jan 3, 2012:

11:52 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:37 PM Commentary/Compiler/Backends/LLVM/Alias created by dterei
11:36 PM Commentary/Compiler/Backends/LLVM edited by dterei
(diff)
11:28 PM Building/Modifying edited by heisenbug
beautify (diff)
11:19 PM Building/Modifying edited by heisenbug
fix typo, cleanups (diff)
11:04 PM Building/Architecture edited by heisenbug
beautify (diff)
10:47 PM Building/Architecture/Idiom/StubMakefiles edited by heisenbug
stress that recursive makefiles are a thing of the past (diff)
10:46 PM Ticket #5745 (import-hidden symbol is still re-exported) created by j.waldmann
In the following, I get different behaviour with ghc-7.0.4 and ghc-7.2.2: …
10:39 PM Building/Architecture/Idiom/VariableNames edited by heisenbug
link to the main application of the principle (diff)
10:25 PM Building/Architecture/Idiom/DoubleColon edited by heisenbug
(diff)
10:24 PM Building/Architecture/Idiom/PlatformNames edited by heisenbug
clarify that porting and cross-compiling are different beasts (diff)
8:12 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
typo (diff)
8:06 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
link ghc.mk (diff)
7:49 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
disambiguate and add a link (diff)
4:36 PM Changeset in ghc [0095702d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
In the SIGTSTP handler, throw SIGSTOP instead of re-throwing SIGTSTP
4:36 PM Changeset in ghc [d7d56f58]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix the C backend after making CCCS an STG register
4:15 PM Ticket #5730 (unicode characters in cabal path leads to package installation failure) closed by simonmar
duplicate: Already reported as #5697
3:01 PM Changeset in ghc [f283c39]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't record outputFile in the hashed flags We don't want ghc --make M -o <file> to force recompilation of all modules when <file> changes. The -o value is already taken into account by the recompilation machinery when we check the modification time on the object file or the executable.
3:01 PM Changeset in ghc [7d7809d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Refer to Control.Concurrent instead of GHC.Conc Modified version of a patch by shelarcy <shelarcy@gmail.com>
3:01 PM Changeset in ghc [aa1114e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix minor bug introduced in e7e771d14ac671904a69abecf9e133d4647026c1
2:05 PM WikiStart edited by simonmar
(diff)
2:00 PM Ticket #5744 (List layouts) created by nsch
Hi! I want to propose a new GHC extension called ListLayouts?. It's …
12:47 PM Ticket #5743 (Configurably use system-provided libffi) created by nomeata
Hi, both Debian and Fedora patch ghc to use the system-wide installed …
11:33 AM Changeset in base [1b5f7ae]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities.
11:33 AM Changeset in ghc [da8f3c4d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Marlow <marlowsd@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities.
10:55 AM Ticket #5742 (compiler option -XDoRec crash) created by Huenniger
I tried to compile a complex 200 KByte grammer using the library frisby. I …
10:35 AM Changeset in ghc [b2223682]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be less verbose when printing out Vars For some reason we were printing every occurrence with its type and that is far too much.
10:35 AM Changeset in ghc [98a642cf]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Major refactoring of CoAxioms This patch should have no user-visible effect. It implements a significant internal refactoring of the way that FC axioms are handled. The ultimate goal is to put us in a position to implement "pattern-matching axioms". But the changes here are only does refactoring; there is no change in functionality. Specifically: * We now treat data/type family instance declarations very, very similarly to types class instance declarations: - Renamed InstEnv.Instance as InstEnv.ClsInst, for symmetry with FamInstEnv.FamInst. This change does affect the GHC API, but for the better I think. - Previously, each family type/data instance declaration gave rise to a *TyCon*; typechecking a type/data instance decl produced that TyCon. Now, each type/data instance gives rise to a *FamInst*, by direct analogy with each class instance declaration giving rise to a ClsInst. - Just as each ClsInst contains its evidence, a DFunId, so each FamInst contains its evidence, a CoAxiom. See Note [FamInsts and CoAxioms] in FamInstEnv. The CoAxiom is a System-FC thing, and can relate any two types, whereas the FamInst relates directly to the Haskell source language construct, and always has a function (F tys) on the LHS. - Just as a DFunId has its own declaration in an interface file, so now do CoAxioms (see IfaceSyn.IfaceAxiom). These changes give rise to almost all the refactoring. * We used to have a hack whereby a type family instance produced a dummy type synonym, thus type instance F Int = Bool -> Bool translated to axiom FInt :: F Int ~ R:FInt type R:FInt = Bool -> Bool This was always a hack, and now it's gone. Instead the type instance declaration produces a FamInst, whose axiom has kind axiom FInt :: F Int ~ Bool -> Bool just as you'd expect. * Newtypes are done just as before; they generate a CoAxiom. These CoAxioms are "implicit" (do not generate an IfaceAxiom declaration), unlike the ones coming from family instance declarations. See Note [Implicit axioms] in TyCon On the whole the code gets significantly nicer. There were consequential tidy-ups in the vectoriser, but I think I got them right.
9:27 AM Ticket #5693 (Build of local-gc branch of ghc broken) closed by simonmar
wontfix: Use Alex 2.3.5, not 3.0.1. This branch predates the release of Alex 3.0.1 …
8:49 AM Changeset in ghc [92a5889f]ghc-axioms by Simon Peyton Jones <simonpj@…>
Small refactorings - Define mkAxInstRHS and use it - Rename Instance to ClsInst
8:47 AM Changeset in ghc [1cd8ff0]ghc-axioms by Simon Peyton Jones <simonpj@…>
Merge commit with HEAD
8:16 AM Ticket #5741 (openFile should fail if null bytes are in the argument) created by Veinor
If the argument to openFile contains a null byte, right now it silently …
1:47 AM Building/SyncAll edited by heisenbug
beautify (diff)
1:26 AM Building/Installing edited by heisenbug
simplify (diff)
1:19 AM Commentary/Libraries edited by heisenbug
beautify (diff)
1:12 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
even better (diff)
1:07 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
use git link (diff)
12:59 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
broken link (diff)
12:42 AM Building/Using edited by heisenbug
brush up ascii art (diff)
12:38 AM Building/Using edited by heisenbug
typo (diff)
12:20 AM Debugging/InstallingPackagesInplace edited by heisenbug
typo (diff)
12:15 AM Commentary/Libraries edited by heisenbug
typo (diff)

Jan 2, 2012:

11:59 PM Ticket #5740 (Remove tabs from parser/LexCore.hs) created by nsch
Self-explanatory. Patch attached.
11:37 PM Building/Using edited by heisenbug
fix an outdated option (diff)
11:23 PM Building/Using edited by heisenbug
be more explicit, 'path' is ambiguous here (diff)
11:03 PM Building/Using edited by heisenbug
typo (diff)
10:59 PM Building/Using edited by heisenbug
typo (diff)
10:23 PM CrossCompilation edited by heisenbug
--with-gcc question (diff)
8:32 PM Changeset in ghc [dc6f3a48]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix typo in Makefile sdist output was being redirected to $src_log, which presumably evaluated to rc_log.
8:13 PM Ticket #5739 (Please make LLVM binary names configurable) created by nomeata
While the name of the GCC binary, for example, is configurable in …
4:39 PM SharedLibraries edited by MarkusL
(diff)
5:55 AM Ticket #5738 (System.Posix.Temp mkstemp bugs and addition of mkdtem) created by deian
The description of mkstemp and GHC/Hugs and non-GHC/Hugs code disagree (on …

Jan 1, 2012:

10:58 PM CrossCompilation edited by heisenbug
update status on pending patches (diff)
9:41 PM CrossCompilation edited by heisenbug
get the bullet indents right (diff)
9:24 PM CrossCompilation edited by heisenbug
TH question (diff)
8:40 PM Building/Preparation/Tools edited by heisenbug
verified this (diff)
8:19 PM Building/Preparation/Tools edited by heisenbug
(diff)
8:17 PM Building/Preparation/Tools edited by heisenbug
note 7.4 (diff)
8:14 PM Building/Preparation/Linux edited by heisenbug
tyop (diff)

Dec 31, 2011:

6:47 PM Ticket #5737 (Template Haskell can't derive Read, Show, Eq instances) created by guest
Given the following code: […] The compiler complains with the …
4:04 PM Ticket #5736 (Possible regression with functional dependencies) closed by simonpj
invalid: I think 7.0.4 had a bug. Consider * 'a' determines 'b'. So if two …
10:20 AM Ticket #5736 (Possible regression with functional dependencies) created by magnus
The following program typechecks in GHC-7.0.4, but not in 6.12.3, 7.2.2 or …

Dec 30, 2011:

1:54 PM Ticket #5735 (Build failure on s390(x): Don't know if ArchUnknown is 32bit) created by nomeata
Hi, the 7.4.1 release candidate failed to build on s390(x); previous …
1:52 PM Ticket #5734 (Build failure on mips: ghc-cabal: Failed to read "target arch" value ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on mips; previous …
1:49 PM Ticket #5733 (Build failure on kfreebsd: Don't know if OSUnknown is elf) created by nomeata
Hi, the 7.4.1 release candidate failed to build on the two Debian ports …
1:45 PM Ticket #5732 (Faliure building unregistered GHC: pprGlobalReg: Unsupported register: ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on arm; previous versions …
9:56 AM Records edited by GregWeber
no wiki word (diff)
9:54 AM Records edited by GregWeber
TDNR commentary (diff)
9:39 AM Records edited by GregWeber
typo (diff)
3:27 AM Changeset in base [1eba0a9]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:27 AM Changeset in ghc [3b281a2b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:25 AM Changeset in ghc [4715b871]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the built-in instances for class NatI. Note 1: For the moment, we provide instances only for numbers that fit in a Word. The reason is a quite mundane: to generate evidence for arbitrary integers we need to generate integer literals. In the core syntax this is a monadic operation but the function that generates the core for evidence is pure. It would not be hard to monadify it but requires changes to a bunch of other functions so I thought it is better left for a separate change. Note 2: The evidence that we generate for a NatI is just a word. Technically, we should be generate a word with two coercions: one to turn it into a NatS and another to turn that into a NatI. Operationally, these do not do anything, but it would be better to fix this. I didn't do it yet because I need to look up how to make these coercions.
1:57 AM Changeset in base [b56b66b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:57 AM Changeset in ghc [9697def]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:49 AM Changeset in ghc [8c3bc838]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the wired-in names for manipulating type-level nats.
12:45 AM Changeset in ghc [896d20fa]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/typecheck/TcCanonical.lhs compiler/typecheck/TcSMonad.lhs

Dec 29, 2011:

10:58 PM Ticket #5731 (Bad code for Double literals) created by rl
Caught by the vector benchmark suite. Small program: […] The …
10:36 PM Changeset in base [2d05797]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
10:36 PM Changeset in ghc [914da19]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
7:26 PM Ticket #5730 (unicode characters in cabal path leads to package installation failure) created by guest
on windows xp/7/8 when path to local cabal packages contains russian …
5:04 PM Records edited by GregWeber
use Frege document for design proposal (diff)
4:54 PM Records edited by GregWeber
commentary on module/record re-use (diff)
4:50 PM Records edited by GregWeber
formatting (diff)
4:48 PM Records edited by GregWeber
namespacing - TDNR & module ideas (diff)
4:42 PM Records edited by GregWeber
how to resolve module/record ambiguity (diff)
4:14 PM Changeset in ghc [2ac64223]ghc-axioms by Simon Peyton Jones <simonpj@…>
Lots of refactoring of the CoAxiom stuff Mainly, I've made the type checker return FamInsts rather than CoAxioms; but there is a lot of renaming and beautification too.
4:13 PM Changeset in ghc [b8178f16]ghc-axioms by Simon Peyton Jones <simonpj@…>
Tidy up lookupPromotedOcc and add -XPolyKinds suggestion
11:03 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:47 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:33 AM Changeset in ghc [9284030]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #4310
10:33 AM Changeset in testsuite [b9c2c43]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #4310
10:33 AM Changeset in ghc [bae7a6b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5721
10:33 AM Changeset in testsuite [bbe7143]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5721
10:33 AM Changeset in ghc [869df3c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Performance test for Trac #5321
10:33 AM Changeset in testsuite [0252d5e]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Performance test for Trac #5321
10:31 AM Changeset in ghc [b0c0205e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Print more informative sizes in -dshow-passes, and add intWithCommas to Outputable for printing large Int/Integers
10:30 AM Changeset in ghc [d276123]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5721; type variables can be quoted in TH
8:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:25 AM Ticket #4310 (Deferred equalities and forall types) closed by simonpj
fixed: Fixed by the same patch as #5595.
8:22 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:18 AM Status/SLPJ-Tickets edited by simonpj
(diff)
2:17 AM Records/OverloadedRecordFields edited by quuxity
few typos (diff)
Note: See TracTimeline for information about the timeline view.