Timeline


and

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]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the wired-in names for manipulating type-level nats.
12:45 AM Changeset in ghc [896d20fa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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)
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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)

Dec 28, 2011:

9:45 PM Ticket #5729 (ForeignPtr leak in ghci) closed by judahj
duplicate: OK, it turns out this was an instance of #917. GHC was turning the …
4:28 PM Blog: New directions for Template Haskell edited by simonpj
3:30 PM Records edited by simonpj
(diff)
3:10 PM Changeset in ghc [276c0527]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Documentation wibble: kind -> sort
2:04 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:04 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:23 AM Blog: New directions for Template Haskell edited by simonpj

Dec 27, 2011:

7:47 PM Ticket #5729 (ForeignPtr leak in ghci) created by judahj
I have a program which creates an infinite list of Storable Vectors and …
12:54 PM Platforms edited by juhpetersen
list Linux tier 1 archs together for better readability (diff)
12:52 PM Platforms edited by juhpetersen
yes to dynlibs on Linux x86* archs (diff)
2:20 AM Ticket #5728 (Warnings from -fwarn-incomplete-record-updates even with all constructors ...) created by mjo
I don't think that the following should be considered an incomplete record …

Dec 26, 2011:

11:22 AM Records/OverloadedRecordFields edited by igloo
(diff)
2:09 AM Ticket #5727 (Unclear documentation about .eventlog's spark information flag) created by shelarcy
Unclear documentation about .eventlog's spark information flag GHC 7.4.1 …
12:32 AM Ticket #5726 (GHC 7.4.1 RC1 doesn't work with Xcode 4.2.1) created by shelarcy
Xcode 4.2 removed gcc-4.2 now. But GHC 7.4.1 RC 1 uses gcc-4.2 as gcc. …

Dec 25, 2011:

6:11 PM Ticket #5725 (Mark all modules from the stm packages as Trustworthy) created by basvandijk
The attached patch allows modules from the stm package to be imported …
1:11 PM Ticket #5663 (integer-gmp passes arguments to __gmpn_gcd_1() in contravention of the ...) closed by igloo
worksforme: I can't reproduce this either on amd64/Linux using Debian's GMP …
2:18 AM Ticket #5724 (Confusing warning message for incomplete patterns) created by AntoineLatter
The following code […] Produces the warning […] While accurate, …

Dec 24, 2011:

2:28 PM Ticket #5723 (GHCi (7.4.0.20111219) sometimes segfaults when reading .ghci) created by konn
If ~/.ghci is set to load some module when startup, GHCi sometimes raises …
2:46 AM Ticket #5722 (GHC inlines class method forever) created by benmachine
irene-knapp showed me this over IRC, I refined the test case a bit: …
12:18 AM CrossCompilation edited by heisenbug
another typo (diff)

Dec 23, 2011:

11:39 PM CrossCompilation edited by heisenbug
typo (diff)
11:33 PM Ticket #5721 (Panic when quoting a scoped type variable) created by benmachine
[…] […] The function is probably nonsense, but the error message …
6:02 PM Ticket #5720 (Unit unboxed tuple behaving oddly) closed by simonpj
fixed: OK I've made this change. It's a feature change, so don't merge. Simon
6:02 PM Ticket #5719 (Empty tuple doesn't have kind Constraint) closed by simonpj
fixed: Merge if you like, but I don't think its needed.
6:00 PM Ticket #5712 (Can't define constructors to be infix (as far as Show is concerned) with ...) closed by simonpj
fixed: OK I've done this. No need to merge -- it's a feature change.
5:57 PM Changeset in ghc [4976d0e0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:57 PM Changeset in testsuite [974cdfa]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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:57 PM Changeset in ghc [4716851]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:27 PM Changeset in ghc [cfcddaae]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make RnEnv.lookupBindGroupOcc work on Orig RdrNames Such names can come from Template Haskell; see Trac #5700 Easily fixed, happily. I also renamed lookupSubBndr to lookupSubBndrOcc, which is more descriptive.
5:25 PM Changeset in ghc [bffff2ef]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add an ASSERT on 'pick'
5:24 PM Changeset in ghc [d3c9c1d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5700
5:24 PM Changeset in testsuite [69d6a42]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 #5700
4:16 PM Changeset in ghc [89c0f09]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implemnt Trac #5712: show method for infix GADT constructors This is a tiny feature improvement; see the ticket. I have updated the user manual too.
4:08 PM Changeset in ghc [374e7b5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Adjust test to handling of unit unboxed tuple
4:08 PM Changeset in testsuite [485c179]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@…>
Adjust test to handling of unit unboxed tuple
4:08 PM Changeset in ghc [7eb58c0c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Minor wibbles to error messages, as a result of fiddling with the handling of default declarations
4:08 PM Changeset in testsuite [b9cced4]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@…>
Minor wibbles to error messages, as a result of fiddling with the handling of default declarations
4:07 PM Changeset in ghc [6a70b5a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5719
4:07 PM Changeset in testsuite [3aa59bbd]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 #5719
4:06 PM Changeset in ghc [fd9bfbd5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5712
4:06 PM Changeset in testsuite [0ff326e0]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 #5712
4:05 PM Changeset in ghc [416c590]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use HsTupleTy [] for unit tuples, uniformly This is just a tidy-up triggered by #5719. We were parsing () as a type constructor, rather than as a HsTupleTy, but it's better dealt with uniformly as the former, I think. Somewhat a matter of taste.
4:03 PM Changeset in ghc [8785726]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix an outright bug in the implementation of default decls for associated types (fixes Trac #5719) The bug was that we ended up quantifying the new AT instance over the wrong set of type variables, and that led to confusing chaos.
4:01 PM Changeset in ghc [ddeb70b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the behaviour of the unit unboxed tuple (# #) See Trac #5720: make the unit unboxed tuple (# #) behave uniformly with the unit boxed tuple () This is actually a change in behaviour, but in a very dark corner, so I don't think this is going to hurt anyone, and the current behaviour is deeply strange.
3:52 PM Changeset in ghc [18e5476]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve ASSERT error message
12:47 PM Ticket #5720 (Unit unboxed tuple behaving oddly) created by simonpj
I’ve just discovered something very peculiar with unboxed tuples in GHC. …
9:56 AM Ticket #5718 (Misplaced SPECIALIZE instance pragma silently ignored) closed by simonpj
wontfix: Quite right. But 7.4 has the bug fixed and I don't think it's worth …
9:44 AM Ticket #5719 (Empty tuple doesn't have kind Constraint) created by simonpj
Bas reports that this program does not work: […] There's a complaint …
5:29 AM Changeset in ghc [e08432d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
More Safe Haskell tests
5:29 AM Changeset in testsuite [4341b73]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 David Terei <davidterei@…>
More Safe Haskell tests
5:27 AM Changeset in ghc [afe7da4f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
simplify code.
5:27 AM Changeset in ghc [a20cdb93]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix safe imports to work in GHCi.
5:27 AM Changeset in ghc [541781f2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix :issafe safe haskell ghci command
5:27 AM Changeset in ghc [ddb50b3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Move function from where clause to top level
5:27 AM Changeset in ghc [394a68a9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Doc wibble

Dec 22, 2011:

11:43 PM Changeset in base [0e1a02b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <diatchki@…>
Export "readEither" and add "readMaybe". This commit implements the change discussed in the following thread on the Haskell libraries list: http://www.haskell.org/pipermail/libraries/2011-December/thread.html#17290 NOTE: This only implements the change for GHC, but the change makes sense for Hugs too... Perhaps we should simply re-implement 'readEither' in terms of 'reads'?
11:43 PM Changeset in ghc [d5ead926]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <diatchki@…>
Export "readEither" and add "readMaybe". This commit implements the change discussed in the following thread on the Haskell libraries list: http://www.haskell.org/pipermail/libraries/2011-December/thread.html#17290 NOTE: This only implements the change for GHC, but the change makes sense for Hugs too... Perhaps we should simply re-implement 'readEither' in terms of 'reads'?
3:03 PM Ticket #5718 (Misplaced SPECIALIZE instance pragma silently ignored) created by asr
The user's guide for GHC 7.2.2 says that a SPECIALIZE instance pragma must …
2:23 PM Changeset in testsuite [a9b8b60]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' into ghc-defer
2:10 PM Changeset in base [d92162f]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Jose Pedro Magalhaes <jpm@…>
Re-export Constraint from GHC.Exts
2:10 PM Changeset in ghc [c0e32a32]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Re-export Constraint from GHC.Exts
2:05 PM Ticket #5717 (ScopedTypeVariables and PolyKinds) created by dreixel
The following code panics: […] I believe the problem is an interaction …
2:02 PM Ticket #5716 (Failure when using promoted data family instances) created by dreixel
The following code should fail (since we don't promote data families), but …
1:03 PM Ticket #5001 (makeCorePair: arity missing) closed by simonpj
fixed
12:09 PM Changeset in ghc [e1a8d3fd]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
11:46 AM Changeset in ghc [53fb26e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Now the constraint simplifier solves kind constraints as well.
11:41 AM Changeset in ghc [477946c7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Introduced new form of TcEvidence for KindCasts, this patch also fixes a bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.
11:39 AM Changeset in testsuite [ba9aa6a]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Tests for -fwarn-type-errors
11:36 AM Changeset in ghc [221f409d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Very small tweaks to pave the way for solving kind constraints in the simplifier.
10:46 AM Changeset in ghc [e5ed6896]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Error change following up kind constraint solving modificatios.
10:46 AM Changeset in testsuite [af5a802]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 Dimitrios Vytiniotis <dimitris@…>
Error change following up kind constraint solving modificatios.

Dec 21, 2011:

9:05 PM Ticket #5696 (haskell98-2.0.0.0:Prelude can't be safely imported! The module itself ...) closed by dterei
fixed: Yes not present in 7.4
8:20 PM Repositories edited by dterei
update branches (diff)
8:19 PM Changeset in ghc [625bb553]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Improve sync-all usage doc
2:42 PM DeferErrorsToRuntime edited by dreixel
(diff)
11:21 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:11 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:10 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:09 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:06 AM DeferErrorsToRuntime edited by dreixel
(diff)
9:03 AM DeferErrorsToRuntime edited by dreixel
(diff)
9:03 AM DeferErrorsToRuntime edited by dreixel
(diff)
8:53 AM DeferErrorsToRuntime edited by dreixel
(diff)
8:51 AM DeferErrorsToRuntime created by dreixel
8:51 AM Commentary edited by dreixel
(diff)
8:50 AM Commentary edited by dreixel
(diff)
6:50 AM Ticket #5715 (Inliner fails to inline a function, causing 20x slowdown) created by bos
Alexey filed [https://github.com/bos/mwc-random/pull/6 a bug against the …

Dec 20, 2011:

5:33 PM Changeset in ghc [44ab8cd2]ghc-7.4 by Ian Lynagh <igloo@…>
The dph libraries are not required in the 7.4 branch And we don't build them by default, as they shouldn't go into the release.
2:31 PM Changeset in ghc [9cbd546]ghc-7.4 by Ian Lynagh <igloo@…>
Fix hoopl's previous version number
2:00 PM GhcKinds edited by dreixel
(diff)
1:59 PM GhcKinds edited by dreixel
(diff)
1:47 PM GhcKinds edited by dreixel
(diff)
1:25 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:25 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:20 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:18 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:13 PM GhcKinds edited by dreixel
(diff)
1:12 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
10:46 AM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
10:45 AM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
9:01 AM Changeset in ghc [6b90fe4]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update Safe Haskell tests
9:01 AM Changeset in testsuite [a3e1187]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 David Terei <davidterei@…>
Update Safe Haskell tests
8:21 AM Changeset in ghc [0909d1b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5657
8:21 AM Changeset in testsuite [5470b9c]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 #5657
3:13 AM Changeset in ghc [6a42e96]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [e7e771d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix warnings
3:13 AM Changeset in ghc [a3bd0b7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [565f97b2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [4ff7d0bb]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Refactor Safe Haskell check to provide hscCheckSafe GHC API
3:13 AM Changeset in ghc [c779a71]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [82e19ff]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Ignore -fpackage-trust if no other Safe Haskell flags
3:13 AM Changeset in ghc [44d6b6e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces

Dec 19, 2011:

11:44 PM Changeset in ghc [4c8e0307]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ross Paterson <ross@…>
fix #5022: polymorphic definitions inside arrow rec This is quite tricky, with examples like this: import Control.Arrow pRepeat :: a -> [a] pRepeat = proc x -> do rec s <- returnA -< f_rec x:s -- f_rec is monomorphic here let f_later y = y -- f_later is polymorphic here _ <- returnA -< (f_later True, f_later 'a') let f_rec y = y -- f_rec is polymorphic here returnA -< f_later s -- f_later is monomorphic here Fixed the typechecking of arrow RecStmt to track changes to the monad version. It was simplest to add a field recS_later_rets corresponding to recS_rec_rets. It's only used for the arrow version, and always empty for the monad version. But I think it would be cleaner to put the rec_ids and later_ids in a single list with supplementary info saying how they're used. Also fixed several glitches in the desugaring of arrow RecStmt. The fact that the monomorphic variables shadow their polymorphic counterparts is a major pain. Also a bit of general cleanup of DsArrows while I was there.
10:34 PM Ticket #5714 (Add 'state' to the MonadState class) created by twanvl
As discussed here: …
5:42 PM Changeset in ghc [44e18534]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:45 PM Changeset in ghc [a1d5886]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
4:45 PM Changeset in ghc [c492e50b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up pretty-printing for variables We already have a class OutputableBndr; this patch adds methods pprInfixOcc and pprPrefixOcc, so that we can get rid of the hideous hack (the old) Outputable.pprHsVar. The hack was exposed by Trac #5657, which is thereby fixed.
4:45 PM Changeset in ghc [a71edf5f]ghc-7.4 by Ian Lynagh <igloo@…>
Hide STG register declarations for LLVM C compilers This commit swaps the import order of Rts.h and Stg.h in StgCRun.c for non-SPARC architectures. Swapping the import order prevents the declaration of the global registers thus allowing the GHC runtime to be compiled by LLVM-based C compilers. LLVM-base C compilers cannot use the global register declarations (for R1, R2, etc.) because they use GCC-specific extensions. The declarations are not needed in StgCRun.c except for the SPARC architecture. The other architectures use hand-written assembly that accesses the appropriate register directly.
4:39 PM Ticket #5713 (Non-backward compatible scoping-change for associated types in GHC-7.4) closed by simonpj
invalid: Thanks. These changes simply fix associated types to have the same …
3:59 PM Changeset in ghc [ab67c2a4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
More codegen refactoring with simonpj
3:57 PM Changeset in ghc [0c047a83]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove an old hack for bad FilePath behaviour We now require GHC >= 7.0, which has the behaviour we want.
3:57 PM Changeset in ghc [06c6d97]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a class HasDynFlags(getDynFlags) We no longer have many separate, clashing getDynFlags functions I've given each GhcMonad its own HasDynFlags instance, rather than using UndecidableInstances to make a GhcMonad m => HasDynFlags m instance.
3:57 PM Changeset in ghc [b442c077]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Make getDynFlags* functions use HasDynFlags/getDynFlags too
3:57 PM Changeset in ghc [c1a30d7f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix typo
3:47 PM Ticket #5710 (Profiling looks broken on Windows) closed by igloo
fixed: Merged as bced264076d58d49f36e5b76189dd1faa56816c6
3:35 PM Changeset in ghc [f542da48]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Hide STG register declarations for LLVM C compilers This commit swaps the import order of Rts.h and Stg.h in StgCRun.c for non-SPARC architectures. Swapping the import order prevents the declaration of the global registers thus allowing the GHC runtime to be compiled by LLVM-based C compilers. LLVM-base C compilers cannot use the global register declarations (for R1, R2, etc.) because they use GCC-specific extensions. The declarations are not needed in StgCRun.c except for the SPARC architecture. The other architectures use hand-written assembly that accesses the appropriate register directly.
2:39 PM Changeset in base [7ed7dd8]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
update documentation for getNumCapabilities and setNumCapabilities
2:39 PM Changeset in ghc [5fb9dee6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
update documentation for getNumCapabilities and setNumCapabilities
2:35 PM Ticket #3729 (Allow modification of capabilities at runtime) closed by simonmar
fixed: commit 9bae79159d3cb5cbb6491711341aa9b07d703ae6 […]
2:26 PM Changeset in ghc [bced264]ghc-7.4 by Ian Lynagh <igloo@…>
Fix alignment in the CostCentre struct (#5710)
2:12 PM Changeset in ghc [45a70847]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add 32-bit output
2:12 PM Changeset in testsuite [57766ee]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 Marlow <marlowsd@…>
add 32-bit output
2:12 PM Changeset in ghc [c425b2fe]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept output
2:12 PM Changeset in ghc [544a738]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix $(HAVE_PROFILING) on Windows
2:12 PM Changeset in testsuite [9990a40]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 Marlow <marlowsd@…>
accept output
2:12 PM Changeset in testsuite [e74ad53]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 Marlow <marlowsd@…>
fix $(HAVE_PROFILING) on Windows
2:12 PM Changeset in ghc [7d92019]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a test for setNumCapabilities
2:12 PM Changeset in testsuite [8556be4]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 Marlow <marlowsd@…>
add a test for setNumCapabilities
2:09 PM Changeset in ghc [92c4406]ghc-7.4 by Ian Lynagh <igloo@…>
Make "Simplifier ticks exhausted" a warning in the 7.4 branch This works around the problems reported in #5539, where lots of people are running into the limit.
1:50 PM GhcKinds edited by dreixel
(diff)
1:46 PM GhcKinds edited by dreixel
(diff)
1:43 PM Ticket #5711 (ghci asked me to report this) closed by simonmar
duplicate: I think this bug is fixed in 7.2.1 and later, but it's not clear what it …
12:04 PM Changeset in ghc [b4018aa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix alignment in the CostCentre struct (#5710)
11:37 AM Changeset in ghc [5b29e207]ghc-7.4 by Ian Lynagh <igloo@…>
Fix scalar vectorisation of superclasses and recursive dfuns
11:36 AM Changeset in ghc [c0835f8]ghc-7.4 by Ian Lynagh <igloo@…>
Fix -ddump-tc-trace for recursively defined type constructors
11:36 AM Changeset in ghc [946c947]ghc-7.4 by Ian Lynagh <igloo@…>
Be more careful when deciding which functions are scalar Although scalar functions can use any scalar data type, their arguments and functions may only involve primitive types at the moment.
11:35 AM Changeset in ghc [c5f7ebd1]ghc-7.4 by Ian Lynagh <igloo@…>
Resurrect UseLibFFIForAdjustors from bitrot. * Pass -Irts/dist/build to the C preprocessor to expose libffi headers (ffi.h and ffitarget.h) to foreign import wrappers during the building process of GHC itself. * Install libffi headers into $(ghcheaderdir) just like any other C headers. Otherwise an installed GHC can't find them when it wants to compile foreign import wrappers. * Include libffi headers in the bindist for the same reason.
11:33 AM Ticket #5713 (Non-backward compatible scoping-change for associated types in GHC-7.4) created by hvr
In GHC 7.4.0.20111218 I just noticed, that the scoping for associated …
11:30 AM Ticket #5698 (GHC API no longer exports CoreModule) closed by igloo
fixed: Merged as 6d4156333dd3ab03369075fc6632a4702feefaaf
11:29 AM Changeset in base [3fb1b035]ghc-7.4 by Ian Lynagh <igloo@…>
Document that -T RTS flag is necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:15 AM Changeset in ghc [a47ab107]ghc-7.4 by Ian Lynagh <igloo@…>
Tweak a couple of library versions in release notes
8:12 AM Ticket #5694 (Runtime failure with ghc 7.2.2 and LLVM 3.0 64bit on Mac OS X 10.7) closed by dterei
fixed: OK so this is fixed already in HEAD as I thought (and in the 7.4 branch). …
2:37 AM Changeset in ghc [42186dd6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Remove tabs, again.
2:36 AM Changeset in ghc [ca6a358]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix the implementation of the type literal trie.
2:34 AM Changeset in ghc [d6705e97]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Remove tabs, so that I can push.
2:03 AM Changeset in ghc [b7c1a7a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
1:58 AM Changeset in ghc [e980df90]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add some missing cases for type literals.
1:25 AM Changeset in ghc [64867320]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/type-nats' into type-nats-merge
1:24 AM Changeset in ghc [7c2af5c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Extend GHC's type with a representation for type level literals. Currently, we support only numeric literals but---hopefully---these modifications should make it fairly easy to add other ones, if necessary.
1:24 AM Changeset in ghc [826b75a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add numeric types to the parsing part of the front end. For the moment, the kind of the numerical literals is the type "Word" lifted to the kind level. This should probably be changed in the future.

Dec 18, 2011:

8:10 PM Ticket #5712 (Can't define constructors to be infix (as far as Show is concerned) with ...) created by benmachine
Okay so, if you define a data type like this: […] then `show (1 :. 2) …
3:42 PM Ticket #5706 (building ghc from source tarball requires alex?) closed by igloo
fixed: I believe this is fixed by …
2:15 PM Changeset in base [d4c153b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
2:15 PM Changeset in ghc [66f4b10a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
2:15 PM Changeset in ghc [24b31376]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:11 PM Changeset in ghc [6d415633]ghc-7.4 by Ian Lynagh <igloo@…>
Export CoreModule(..) (#5698)
1:11 PM Changeset in ghc [c6b8bcb]ghc-7.4 by Ian Lynagh <igloo@…>
MERGED: Add a mutex around stg_sig_install commit 8792391edd7e274670627aadd689dd23cf061f99 Author: Simon Marlow <marlowsd@gmail.com> Date: Mon Dec 12 09:29:56 2011 +0000 Add a mutex around stg_sig_install Protects against a race when two threads call installHandler simultaneously. This was causing occasional failure of the test libraries/process/tests/3231(threaded2).
6:20 AM Changeset in ghc [0fc8eeb4]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Testing vectorisation of superclasses
6:20 AM Changeset in testsuite [94ebbb0]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 Manuel M T Chakravarty <chak@…>
Testing vectorisation of superclasses
6:15 AM Changeset in ghc [0c41d677]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix scalar vectorisation of superclasses and recursive dfuns
3:57 AM DataParallel/VectPragma edited by chak
(diff)

Dec 16, 2011:

7:51 PM Changeset in base [8020e1e]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Edward Z. Yang <ezyang@…>
Document that -T RTS flag is necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:51 PM Changeset in ghc [77da470]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Edward Z. Yang <ezyang@…>
Document that -T RTS flag is necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:20 PM Status/Oct11 edited by guest
Fix typo (diff)
4:13 PM Ticket #5671 (ghc-7.2 vector code segfaults) closed by kosmikus
fixed: This seems to have been fixed by the fix to bug #5658, at least I can't …
4:05 PM Changeset in ghc [b2d27e42]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Fix a bug in TcCanonical (Dimitrios spotted)
4:04 PM Changeset in ghc [e3289425]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Better failure with promoted kinds in TH Makes #5612 fail in a more civilized way, at least.
2:58 PM Ticket #5711 (ghci asked me to report this) created by guest
<interactive>:1:1: Not in scope: `prc' *Main> ghc.exe: panic! (the …
2:35 PM Ticket #5710 (Profiling looks broken on Windows) created by simonmar
All the profiling tests are failing on Windows; […]
2:30 PM Ticket #5709 (ghc-7.2 cannot find libraries in non-standard locations) closed by simonmar
fixed: I'm not quite sure how this broke in 7.2, but it is fixed in 7.4 and we …
2:11 PM Ticket #5708 (Qualified name in binding position) closed by simonmar
invalid: Yes, it was a bug in 7.0 that the qualified name was accepted, see …
2:02 PM Ticket #5705 (getGCStats only works with +RTS -s) closed by simonmar
wontfix: I chatted with tibbe on IRC a bit about this yesterday. The conclusion is …
7:57 AM Changeset in ghc [01477fef]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: add alone flags to fix build race
7:57 AM Changeset in testsuite [2ce7a24]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 Ben Lippmeier <benl@…>
dph: add alone flags to fix build race
7:14 AM Ticket #5709 (ghc-7.2 cannot find libraries in non-standard locations) created by kosmikus
The following is what I perceive to be a regression from ghc-7.0.4 to …
12:12 AM Changeset in testsuite [a842b7e]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 Ben Lippmeier <benl@…>
Merge branches 'master' and 'master' of darcs.haskell.org:/srv/darcs/testsuite

Dec 15, 2011:

11:59 PM Changeset in unix [5e01e39]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Don't expose System.Posix.DynamicLinker.Common The other .Common modules aren't expose, and we think exposing this one was a mistake.
11:59 PM Changeset in base [2493100]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove GHC.Exts.traceEventIO Debug.Trace.traceEventIO should be used instead.
11:59 PM Changeset in ghc [95f330fa]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove GHC.Exts.traceEventIO Debug.Trace.traceEventIO should be used instead.
11:59 PM Changeset in base [4138cbb]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix typo
11:59 PM Changeset in ghc [7855f10]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix typo
11:57 PM Changeset in ghc [40ef62f6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some dead code
10:17 PM Ticket #5708 (Qualified name in binding position) created by fryguybob
When building diagrams with HEAD I ran into this difference from 7.0.2 …
9:54 PM Changeset in ghc [2d86a245]ghc-7.4 by Ian Lynagh <igloo@…>
More on release notes
8:32 PM Ticket #5707 (internal error: Invalid object in processHeapClosureForDead(): 0) created by brinchj
I can't figure out if this has been fixed in 7.3 .. anyway, better safe …
8:23 PM Changeset in base [5155025]ghc-7.4 by Ian Lynagh <igloo@…>
Fix typo
8:11 PM Changeset in base [88fdacc]ghc-7.4 by Ian Lynagh <igloo@…>
Remove GHC.Exts.traceEventIO Debug.Trace.traceEventIO should be used instead.
5:37 PM Changeset in ghc [584f65a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5691
5:37 PM Changeset in testsuite [14ff0b8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5691
5:36 PM Ticket #5691 (Crash: strange interaction of ScopedTypeVariables extension with type ...) closed by simonpj
fixed: Interesting! Indeed with 7.0.3 I get […] But with HEAD I get […] …
5:18 PM Ticket #5684 (ghc: panic! (the 'impossible' happened) (ghc 7.2.2)) closed by dimitris
fixed: Thanks for the feedback. There were two things wrong in 7.2.1: - An …
4:56 PM Changeset in ghc [e8c93ad]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
4:56 PM Changeset in ghc [abfcdc0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Tests for T5684. They won't fail necessarily in 7.2.1 because there was yet another bug (related to lazyness) but if the T5684 bug appears again in HEAD then it will be revealed by this test (because I also fixed the lazyness bug as well).
4:56 PM Changeset in testsuite [3131b9a]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 Dimitrios Vytiniotis <dimitris@…>
Tests for T5684. They won't fail necessarily in 7.2.1 because there was yet another bug (related to lazyness) but if the T5684 bug appears again in HEAD then it will be revealed by this test (because I also fixed the lazyness bug as well).
4:39 PM Ticket #5706 (building ghc from source tarball requires alex?) created by kosmikus
Building a recent GHC snapshot via my usual Nix expression for doing this …
3:58 PM Ticket #5705 (getGCStats only works with +RTS -s) created by tibbe
As the below program shows, GHC.Stats.getGCStats only returns non-zero …
3:55 PM Changeset in ghc [3d7e772]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a path, and strip out C++ comments too
3:48 PM Changeset in ghc [9bae791]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Support for reducing the number of Capabilities with setNumCapabilities This patch allows setNumCapabilities to /reduce/ the number of active capabilities as well as increase it. This is particularly tricky to do, because a Capability is a large data structure and ties into the rest of the system in many ways. Trying to clean it all up would be extremely error prone. So instead, the solution is to mark the extra capabilities as "disabled". This has the following consequences: - threads on a disabled capability are migrated away by the scheduler loop - disabled capabilities do not participate in GC (see scheduleDoGC()) - No spark threads are created on this capability (see scheduleActivateSpark()) - We do not attempt to migrate threads *to* a disabled capability (see schedulePushWork()). So a disabled capability should do no work, and does not participate in GC, although it remains alive in other respects. For example, a blocked thread might wake up on a disabled capability, and it will get quickly migrated to a live capability. A disabled capability can still initiate GC if necessary. Indeed, it turns out to be hard to migrate bound threads, so we wait until the next GC to do this (see comments for details).
2:47 PM Changeset in unix [f813c84]ghc-7.4 by Ian Lynagh <igloo@…>
Don't expose System.Posix.DynamicLinker.Common The other .Common modules aren't expose, and we think exposing this one was a mistake.
2:23 PM GhcKinds edited by dreixel
(diff)
2:18 PM Changeset in ghc [bd13338]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Exposing a useful assertion which was hidden inside a lazyness cloud.
1:38 PM Ticket #5704 (Bug in the handling of wired-in packages (like template-haskell)) created by simonmar
If you install an older version of a wired-in package (e.g. …
12:14 PM Ticket #5703 (vector fails to compile due to simplifier ticks exhausted) closed by tibbe
duplicate: Duplicate of #5539
11:34 AM GhcKinds edited by dreixel
(diff)
11:32 AM GhcKinds edited by dreixel
(diff)
11:31 AM GhcKinds edited by dreixel
(diff)
11:06 AM GhcKinds edited by dreixel
(diff)
10:47 AM Ticket #5703 (vector fails to compile due to simplifier ticks exhausted) created by tibbe
I thought the limit was raised in 7.4 but vector still fails to compile …
10:33 AM ExplicitTypeApplication edited by dreixel
(diff)
10:32 AM ExplicitTypeApplication edited by dreixel
(diff)
10:25 AM ExplicitTypeApplication edited by dreixel
(diff)
10:22 AM ExplicitTypeApplication edited by dreixel
(diff)
10:17 AM ExplicitTypeApplication edited by dreixel
(diff)
10:16 AM ExplicitTypeApplication edited by dreixel
(diff)
10:15 AM ExplicitTypeApplication edited by dreixel
(diff)
10:15 AM ExplicitTypeApplication edited by dreixel
(diff)
10:09 AM ExplicitTypeApplication edited by dreixel
(diff)
6:43 AM Ticket #5702 (Can't vectorise pattern matching on numeric literals) created by chak
Trying to vectorise […] we get […]

Dec 14, 2011:

3:25 PM Ticket #5701 (SafeHaskell causes deepseq to fail to compile) created by tibbe
SafeHaskell still affects users who haven't opted in to using it. Using …
12:01 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
11:58 AM Ticket #5700 (TH: InlinePs inside InstanceD are handled inconsistently) created by mikhail.vorozhtsov
Consider the following modules: […] […] […] which compile just …
11:47 AM Ticket #5699 (Use sharing in the Alternative instance of Maybe) created by basvandijk
The <|> method of the Alternative instance of Maybe does not share …
11:42 AM Changeset in ghc [de8a1bf]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add a test for a memory allocation bug in the RTS flag handling.
11:42 AM Changeset in testsuite [c1e6bcc]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 Marlow <marlowsd@…>
Add a test for a memory allocation bug in the RTS flag handling.
11:33 AM ExplicitTypeApplication edited by dreixel
(diff)
10:49 AM Changeset in ghc [ac051fc0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Export CoreModule(..) (#5698)
10:49 AM Changeset in ghc [dff852b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a memory allocation bug (rts_argv wasn't big enough)
9:37 AM Ticket #5697 (loadObj() fails with a Unicode file path on Windows) closed by simonmar
worksforme: Works for me with 7.0.4 on Windows. Could you try a later version and …
4:43 AM Changeset in ghc [64caa89]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Revert "vectoriser: workaround bug in classiftTyCons" This reverts commit acbb3dba4490d53762b5aecfb9a45049dea15c79.
4:43 AM Changeset in ghc [856de82]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix -ddump-tc-trace for recursively defined type constructors
4:43 AM Changeset in ghc [0ea8f32d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Be more careful when deciding which functions are scalar Although scalar functions can use any scalar data type, their arguments and functions may only involve primitive types at the moment.
4:42 AM Changeset in ghc [d594d84]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
.gitignore
4:42 AM Changeset in testsuite [7106f75]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 Manuel M T Chakravarty <chak@…>
.gitignore

Dec 13, 2011:

9:08 PM Ticket #5698 (GHC API no longer exports CoreModule) created by afarmer
Commit 94bf0d3604ff0d2ecab246924af712bdd1c29a40 moved CoreModule from …
8:59 PM Changeset in ghc [3ab407aa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix users_guide markup
7:54 PM Changeset in ghc [4c6dda01]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
HEAD now requires GHC >= 7.0 to bootstrap
7:06 PM Ticket #5697 (loadObj() fails with a Unicode file path on Windows) created by guest
[…] on Windows 7. Other packages install properly.
6:22 PM Ticket #5613 (dph-diophantine-fast(normal) fails) closed by igloo
fixed: Merged as 746e5416a511fdf5f669b13fdd4a7b15a6f8e6ad
6:22 PM Ticket #5426 (Clever programs violate GHC assumptions about representation) closed by igloo
Merged as 9f77195cb0ce22747fdfbf537c364986dc6d9690
5:14 PM Changeset in ghc [746e5416]ghc-7.4 by Ian Lynagh <igloo@…>
Correct tidying of VectInfo; fixes #5613
5:14 PM Changeset in ghc [9f77195]ghc-7.4 by Ian Lynagh <igloo@…>
Document the "kind invariant", and check it See Note [The kind invariant] in TypeRep Checked in CoreLint All this arises from Trac #5426
5:14 PM Changeset in ghc [85bcca7e]ghc-7.4 by Ian Lynagh <igloo@…>
Fix for a bug in setNumCapabilities
5:12 PM Changeset in ghc [62d4fa7]ghc-7.4 by Ian Lynagh <igloo@…>
Fix a real bug, exposed by my recent change to the rts_evalIO() API. Yay!
5:11 PM Changeset in ghc [731a8c0b]ghc-7.4 by Ian Lynagh <igloo@…>
Fix Windows build
5:11 PM Changeset in ghc [78b3123]ghc-7.4 by Ian Lynagh <igloo@…>
Fix silly bug in casMutVar#: I forgot the GC write barrier
5:02 PM Ticket #5668 (panic: updInertSet) closed by igloo
fixed: Patch is included in 7.4 branch.
5:02 PM Ticket #5371 (GHCi crashes calling a C function imported from a static library on ...) closed by igloo
fixed: Patch is included in 7.4 branch.
5:02 PM Ticket #5595 (Unification under a forall doesn't allow full constraint solving) closed by igloo
fixed: Patch is included in 7.4 branch.
5:02 PM Ticket #5602 (Section 7.10.3.: ArrowChoice vs. ArrowPlus) closed by igloo
fixed: Patch is included in 7.4 branch.
4:32 PM Ticket #5695 (Ghci type inference to [()] -> String, when should be Show a => [a] -> ...) closed by simonmar
invalid: This is working correctly. To get the result you expect, either put the …
4:08 PM Ticket #5650 (Type error when annotating a let binding with a forall type) closed by simonpj
invalid: It's quite right actually. The Haskell 2010 Report, in the section on …
3:53 PM Ticket #5426 (Clever programs violate GHC assumptions about representation) closed by simonpj
fixed: OK I think that patch does it. Simon
3:35 PM Ticket #5686 ('impossible' happened when deriving Functor on a type with a type family ...) closed by simonpj
fixed: Thanks for the report! Simon
3:34 PM Ticket #5676 (Typeclass instance function type declarations) closed by simonpj
fixed: OK I implemented this. Documentation in the user guide. Simon
3:22 PM Ticket #4480 (System.Directory.canonicalizePath gives bad result) closed by simonmar
fixed
3:21 PM Ticket #4018 (Concurrency space leak) closed by simonmar
fixed
3:13 PM Changeset in ghc [f4318b7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:13 PM Changeset in testsuite [8842213]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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:02 PM Changeset in ghc [f25dc05]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix for a bug in setNumCapabilities
3:02 PM Changeset in ghc [b9a72063]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
$(rts_H_FILES) should contain .h files in subdirectories of rts/ too
3:02 PM Changeset in ghc [40dd50a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a comment about oddity with yieldThread() and timing results on Linux
3:02 PM Changeset in ghc [6a8bdf37]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add a missing error check
3:02 PM Changeset in ghc [011d6f9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix for a bug in +RTS -qi (crash in zero_static_object_list)
2:17 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
2:16 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
2:15 PM Changeset in ghc [488aaa90]ghc-7.4 by Ian Lynagh <igloo@…>
Use a separate cabal-1.14 repo, rather than a branch of the Cabal repo
2:11 PM ExplicitTypeApplication created by dreixel
Initial import from my TeX notes
2:03 PM GhcKinds edited by dreixel
(diff)
2:01 PM Ticket #5696 (haskell98-2.0.0.0:Prelude can't be safely imported! The module itself ...) created by guest
If base-4.4.1.0:Prelude can be considered trustworthy, so should …
1:36 PM Changeset in ghc [66b047ee]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Towards fixing Trac #5664 This patch makes normaliseFFIType recurse ito the arguments of FunPtr
1:34 PM Changeset in ghc [bb64338]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Spelling correction in comment
1:31 PM Changeset in ghc [626cf6b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document typechecking of pattern bindings
1:24 PM Commentary edited by dreixel
(diff)
1:23 PM Commentary edited by dreixel
(diff)
1:12 PM Changeset in ghc [ce7325c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Move T4113 to libraries/directory/tests (#4480)
1:12 PM Changeset in ghc [1f725a8]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Get the value of $(AR) from ghc --info On Windows, 'ar' might not necessarily be on $PATH.
1:12 PM Changeset in testsuite [c981d723]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 Marlow <marlowsd@…>
Move T4113 to libraries/directory/tests (#4480)
1:12 PM Changeset in testsuite [7be9b31]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 Marlow <marlowsd@…>
Get the value of $(AR) from ghc --info On Windows, 'ar' might not necessarily be on $PATH.
1:12 PM Changeset in ghc [ac499b7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a test for #4018
1:12 PM Changeset in testsuite [5fe8eb5]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 Marlow <marlowsd@…>
add a test for #4018
1:12 PM Changeset in ghc [c20f6ac]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept
1:12 PM Changeset in testsuite [55fbd94]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 Marlow <marlowsd@…>
accept
1:06 PM Ticket #5695 (Ghci type inference to [()] -> String, when should be Show a => [a] -> ...) created by guest
GHCi, version 7.0.3 from Haskell Platform 2011.2.0.1 *Main> let test = …
12:30 PM Changeset in ghc [0f34f30]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document the "kind invariant", and check it See Note [The kind invariant] in TypeRep Checked in CoreLint All this arises from Trac #5426
12:24 PM Changeset in ghc [e93e53a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add InstanceSigs to GhcOnly flags
12:24 PM Changeset in testsuite [2b2e9be]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@…>
Add InstanceSigs to GhcOnly flags
12:24 PM Changeset in ghc [371bb054]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message for deriving( Functor )
12:24 PM Changeset in testsuite [8740690]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@…>
Wibble to error message for deriving( Functor )
11:33 AM Changeset in ghc [83030e70]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
9:40 AM Changeset in directory [601172f]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
Move T4113 to libraries/directory/tests (#4480)
9:17 AM Ticket #4465 (GHCi linker failure on Windows) closed by simonmar
fixed
9:05 AM Ticket #4812 (doesDirectoryExist always returns False on Mac OS X) closed by YitzGale
fixed: Replying to simonmar: > This must be fixed now, right? …[…]
8:58 AM Changeset in ghc [d95a7f1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Avoid integer overflow when calling allocGroup() (#5071)
8:58 AM Changeset in ghc [c9f84e1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add some SCCs
8:58 AM Changeset in ghc [5c1fbb4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
some small optimisations
8:58 AM Changeset in ghc [55d7931d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
waitForGcThreads: should be calling interruptCapability(), not interruptAllCapabilities()
8:58 AM Changeset in ghc [a02eb298]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
New flag +RTS -qi<n>, avoid waking up idle Capabilities to do parallel GC This is an experimental tweak to the parallel GC that avoids waking up a Capability to do parallel GC if we know that the capability has been idle for a (tunable) number of GC cycles. The idea is that if you're only using a few Capabilities, there's no point waking up the ones that aren't busy. e.g. +RTS -qi3 says "A Capability will participate in parallel GC if it was running at all since the last 3 GC cycles." Results are a bit hit and miss, and I don't completely understand why yet. Hence, for now it is turned off by default, and also not documented except in the +RTS -? output.
8:58 AM Changeset in ghc [f361281]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Do not emit the THREAD_RUNNABLE event; it has no useful semantic content
4:23 AM Changeset in ghc [9c6191d4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Correct tidying of VectInfo; fixes #5613
4:20 AM Changeset in ghc [3a105fda]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Mark dph-diophantine (#5613) as fixed
4:20 AM Changeset in testsuite [3e7720a]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 Manuel M T Chakravarty <chak@…>
Mark dph-diophantine (#5613) as fixed
1:33 AM Changeset in ghc [2825685e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Bump version number to 7.5

Dec 12, 2011:

11:45 PM Changeset in ghc [77c9cf6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add diff command to sync-all
10:26 PM Ticket #4319 (Default to all cores for executables compiled with new flag -multicore) closed by simonmar
fixed: You can do this with -with-rtsopts=-N, and in 7.4 you can also do it …
9:39 PM Changeset in unix [8817e5b]ghc-7.4 by Ian Lynagh <igloo@…>
Update dependencies
9:38 PM Changeset in process [ff412ae]ghc-7.4 by Ian Lynagh <igloo@…>
Update dependencies
9:38 PM Changeset in directory [35398ce]ghc-7.4 by Ian Lynagh <igloo@…>
Update dependencies
9:24 PM Changeset in base [fb118e7]ghc-7.4 by Ian Lynagh <igloo@…>
Bump version to 4.5.0.0 for the GHC 7.4.1 release
9:20 PM Changeset in ghc [2944497]ghc-7.4 by Ian Lynagh <igloo@…>
Add diff command to sync-all
9:20 PM Changeset in ghc [b47ece6]ghc-7.4 by Ian Lynagh <igloo@…>
Update dependencies
9:20 PM Changeset in ghc [7514419e]ghc-7.4 by Ian Lynagh <igloo@…>
Start on 7.4.1 release notes
9:10 PM Ticket #5694 (Runtime failure with ghc 7.2.2 and LLVM 3.0 64bit on Mac OS X 10.7) created by nlhepler
HMrmr (github.com/nlhepler/HMrmr) successfully compiles with: {{{ ghc …
5:25 PM Ticket #5693 (Build of local-gc branch of ghc broken) created by AndreasVoellmy
I am unable to build the local-gc branch of ghc …
3:32 PM Ticket #5692 (Source code with large floating constants in exponential notation cannot ...) created by gracjan
Source code cannot be compiled: […] where this one can be and will …
11:16 AM Changeset in ghc [56a0529]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add comments about the meaning of can_fail and has_side_effects Taken from Trac #5658
10:02 AM Ticket #5691 (Crash: strange interaction of ScopedTypeVariables extension with type ...) created by dominiquedevriese
I saw a compiler crash ("the 'impossible' happened..."), seemingly caused …
9:41 AM Ticket #5690 (Enable RTS opts by default with security warning) closed by simonmar
wontfix: I don't think emitting a warning by default is the right approach. If …
9:38 AM Ticket #4954 (-eventlog / -debug should imply -rtsopts) closed by simonmar
fixed: This was fixed: commit 8c7ad0bd5bf1e7f62f44784cc889e8ee585b8d08 […]
9:33 AM Changeset in ghc [fa168a3b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove duplicate getStablePtr (already done in hs_init())
9:33 AM Changeset in ghc [8792391e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a mutex around stg_sig_install Protects against a race when two threads call installHandler simultaneously. This was causing occasional failure of the test libraries/process/tests/3231(threaded2).
9:33 AM Changeset in ghc [883544b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
change a contextSwitchCapability() to interruptCapability()
8:14 AM Changeset in ghc [7083082c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5689
8:14 AM Changeset in testsuite [623fe51]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 #5689
8:12 AM Changeset in ghc [88cd0d1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make derived functor stuff watch out for type functions (Trac #5686) The problem was simply that the side-condition check didn't test for a type function, and then splitAppTy fell over.
8:10 AM Changeset in ghc [34ab89a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments about orphans
8:06 AM Changeset in ghc [dc132ed]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5686
8:06 AM Changeset in testsuite [5280cfd]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 #5686
8:05 AM Changeset in ghc [76f2fa9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5676, and wibble to error message on mod45
8:05 AM Changeset in testsuite [480fe47]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 #5676, and wibble to error message on mod45
6:23 AM Changeset in ghc [a72dd7b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: add nbody test
6:23 AM Changeset in ghc [fe6e9e4e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: drop optimisation level for some tests to speed up validate
6:23 AM Changeset in ghc [a113604]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: multi-file tests must be set to alone to avoid build races
6:23 AM Changeset in testsuite [dfeb0b1]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 Ben Lippmeier <benl@…>
dph: add nbody test
6:23 AM Changeset in testsuite [6306f3d]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 Ben Lippmeier <benl@…>
dph: drop optimisation level for some tests to speed up validate
6:23 AM Changeset in testsuite [29e8f38]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 Ben Lippmeier <benl@…>
dph: multi-file tests must be set to alone to avoid build races
5:51 AM Changeset in ghc [acbb3dba]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ben Lippmeier <benl@…>
vectoriser: workaround bug in classiftTyCons
4:16 AM Changeset in ghc [87df7c6]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: rename test file
4:16 AM Changeset in testsuite [d26f043]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 Ben Lippmeier <benl@…>
dph: rename test file
4:08 AM Changeset in ghc [5e3f60e7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: duplicate copy tests as vseg tests
4:08 AM Changeset in testsuite [b5f86bc]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 Ben Lippmeier <benl@…>
dph: duplicate copy tests as vseg tests
3:13 AM Changeset in ghc [db2d0966]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
dph: follow changes in unlifted API
3:13 AM Changeset in testsuite [e3ffcfc]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 Ben Lippmeier <benl@…>
dph: follow changes in unlifted API
12:32 AM Changeset in ghc [6353ae0f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow type signatures in instance decls (Trac #5676) This new feature-ette, enable with -XInstanceSigs, lets you give a type signature in an instance declaration: instance Eq Int where (==) :: Int -> Int -> Bool (==) = ...blah... Scoped type variables work too.

Dec 11, 2011:

10:31 PM Changeset in process [44ed17f]ghc-7.4 by Ian Lynagh <igloo@…>
Bump version number for 7.4.1 release
10:30 PM Changeset in integer-gmp [46652aa]ghc-7.4 by Ian Lynagh <igloo@…>
Bump version number for 7.4.1 release
10:30 PM Changeset in directory [bcaecc2]ghc-7.4 by Ian Lynagh <igloo@…>
Bump version number for 7.4.1 release
8:28 PM Changeset in ghc [8a5f2fb]ghc-7.4 by Ian Lynagh <igloo@…>
Set version to 7.4.0 on the 7.4 branch
8:15 PM Changeset in ghc [3eb443b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix comment in CgMonad
8:07 PM Changeset in ghc [5239074]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Remove unused Interval module. Patch from Michal Terepeta <michal.terepeta@gmail.com>
8:04 PM Changeset in ghc [edc4543b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:22 PM Ticket #5690 (Enable RTS opts by default with security warning) created by EyalLotem
RTS options have security problems. However, disabling them has a lot of …

Dec 10, 2011:

7:43 PM Ticket #5689 (The 'impossible' happened: type-inference succeeds somehow in code which ...) closed by michalt
fixed: Thanks for reporting! This seems to be fixed in 7.2.2: […] and in HEAD: …

Dec 9, 2011:

2:37 PM Ticket #3294 (Large compilation time/memory consumption) closed by simonmar
wontfix: I have profiled the NCG, and although we are spending a lot of time in …
1:32 PM Ticket #783 (SRTs bigger than they should be?) closed by simonmar
fixed
1:23 PM Changeset in ghc [35b4a34]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a perf regression test for #783
1:23 PM Changeset in testsuite [0c34f8b]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 Marlow <marlowsd@…>
add a perf regression test for #783
12:59 PM Ticket #5408 (ghc-7.2.1 build failed for PowerPC) closed by simonmar
fixed
12:58 PM Changeset in ghc [18d3391]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix Windows build
12:58 PM Changeset in ghc [4bc413d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a real bug, exposed by my recent change to the rts_evalIO() API. Yay!
10:33 AM Changeset in ghc [f26546b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Merge remote branch 'phonohawk/patch-5408' * phonohawk/patch-5408: Resurrect UseLibFFIForAdjustors from bitrot. Detect cases where as(1) doesn't recognise .ident directive (#5408)
9:09 AM Changeset in ghc [606f6e1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix silly bug in casMutVar#: I forgot the GC write barrier
12:15 AM Changeset in ghc [72bfc81]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Merge branch 'master' of http://darcs.haskell.org/ghc

Dec 8, 2011:

2:31 PM Ticket #5689 (The 'impossible' happened: type-inference succeeds somehow in code which ...) created by nicolast
While trying to figure out how Haskell handles OCaml's value restriction, …
11:01 AM Ticket #5688 (instance Read Integer/Rational/Double readsPrec out of memory and crash ...) created by gracjan
[…] Sometimes it fails with Bus error. According to Haskell'98 and …
8:19 AM Ticket #5363 (optimized profiled version of a program incorectly compiles $!) closed by simonmar
fixed
3:26 AM Ticket #5687 (Friendly Interface for auto-completion of GHCi) created by linsumang
Now the GHCi can do TAB completion when running in term. But in …
1:57 AM Changeset in ghc [3640d37]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by PHO <pho@…>
Detect cases where as(1) doesn't recognise .ident directive (#5408) .ident directives are usually ignored by as(1), and in some cases (like Darwin/PPC) they even raise an error.
1:57 AM Changeset in ghc [616b669]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by PHO <pho@…>
Resurrect UseLibFFIForAdjustors from bitrot. * Pass -Irts/dist/build to the C preprocessor to expose libffi headers (ffi.h and ffitarget.h) to foreign import wrappers during the building process of GHC itself. * Install libffi headers into $(ghcheaderdir) just like any other C headers. Otherwise an installed GHC can't find them when it wants to compile foreign import wrappers. * Include libffi headers in the bindist for the same reason.

Dec 7, 2011:

9:18 PM Ticket #5686 ('impossible' happened when deriving Functor on a type with a type family ...) created by patrick_premont
The following should fail with an appropriate error message. I discovered …
5:23 PM Ticket #5685 (Proposal: Move the instances from Control.Monad.Instances into GHC.Base) created by basvandijk
Edward Kmett …
4:27 PM Changeset in ghc [03ee7cd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test from #5363
4:27 PM Changeset in testsuite [bd0df1c]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test from #5363
4:06 PM Changeset in ghc [8b48562e]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Define getNumberOfProcessors() even when !THREADED_RTS
3:39 PM Changeset in base [b6de8b3]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Add getNumProcessors :: IO Int
3:39 PM Changeset in ghc [5789042]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add getNumProcessors :: IO Int
3:24 PM Changeset in ghc [d559300]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
plugins05, plugins06: expect fail for dyn and profiling ways
3:24 PM Changeset in testsuite [57f7d62]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
plugins05, plugins06: expect fail for dyn and profiling ways
3:24 PM Changeset in ghc [eea40328]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Improve optimisation in the presence of SCCs (fixes #5363) We had some special cases to handle things like case (scc c (case E of alts)) of alts' but it only worked when there was a single scc in the way. This generalises the optimisation to handle multiple sccs and ticks, so that we can catch most case-of-case optimisations that would normally apply in the absence of profiling. This fixes the example in #5363, and nofib results (with -prof -fprof-auto) show that allocation universally goes down or stays the same.
3:24 PM Changeset in ghc [c4fb520]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Take into account -fprof-auto-*
2:40 PM Ticket #4414 (scc001 fails: one SCC entered 0 times; another not mentioned when ...) closed by simonmar
fixed: scc001 now succeeds, and there is a flag to turn off entry counts if you …
2:38 PM Ticket #5207 (Selective auto-all for local bindings) closed by simonmar
fixed
2:36 PM Ticket #3627 (Profiling loses eta-expansion opportunities unnecessarily) closed by simonmar
fixed: I don't think this is an issue any more - x will get floated out, and …
2:13 PM CrossCompilation edited by PHO
s/that that/that/ (diff)
12:09 PM Changeset in ghc [4aafa41]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Tests for primtypes 'ArrayArray#' and 'MutableArrayArray#'
12:09 PM Changeset in testsuite [39ee88d]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Tests for primtypes 'ArrayArray#' and 'MutableArrayArray#'
11:59 AM Changeset in ghc [021a0dd2]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Add new primtypes 'ArrayArray#' and 'MutableArrayArray#' The primitive array types, such as 'ByteArray#', have kind #, but are represented by pointers. They are boxed, but unpointed types (i.e., they cannot be 'undefined'). The two categories of array types —[Mutable]Array# and [Mutable]ByteArray#— are containers for unboxed (and unpointed) as well as for boxed and pointed types. So far, we lacked support for containers for boxed, unpointed types (i.e., containers for the primitive arrays themselves). This is what the new primtypes provide. Containers for boxed, unpointed types are crucial for the efficient implementation of scattered nested arrays, which are central to the new DPH backend library dph-lifted-vseg. Without such containers, we cannot eliminate all unboxing from the inner loops of traversals processing scattered nested arrays.
10:09 AM Ticket #5605 (T5267 (uses Arrows) core lint failure) closed by simonmar
invalid: So, if I'm understanding correctly: * T5267 should fail with a type …
9:36 AM Changeset in ghc [a3ed9078]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
T5030 has improved; update boundaries
9:36 AM Changeset in testsuite [56a34a9]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T5030 has improved; update boundaries
9:30 AM Changeset in ghc [a68d54bb]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
posix004(threaded2) and posix014(threaded2) pass now
9:30 AM Changeset in testsuite [6ee126f]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
posix004(threaded2) and posix014(threaded2) pass now
2:08 AM Changeset in ghc [a6ecfec0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Accept output for callstack002 Stack trace order has been reversed.
2:08 AM Changeset in testsuite [06bca96]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output for callstack002 Stack trace order has been reversed.
12:58 AM Changeset in ghc [782d220]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Improve the space usage of checkremove Some of the nightly builders have been running out of memory when running it.

Dec 6, 2011:

9:43 PM Changeset in ghc [590988b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces + Formatting
4:30 PM Ticket #3210 (Allow programs to change the number of capabilities) closed by simonmar
fixed: I think we now handle the use case given in this ticket, and we also have …
4:00 PM Changeset in ghc [92e7d6c9]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Allow the number of capabilities to be increased at runtime (#3729) At present the number of capabilities can only be *increased*, not decreased. The latter presents a few more challenges!
3:44 PM Ticket #5684 (ghc: panic! (the 'impossible' happened) (ghc 7.2.2)) created by selinger
I seem to have found an "impossible" bug, and I am reporting it here as …
3:20 PM Changeset in unix [05eea1e]ghc-7.4ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
forkProcess now works with +RTS -N; update docs and tests
3:19 PM Changeset in base [ffc3054]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
renderStack: reverse the stack trace (most recent frame first)
3:19 PM Changeset in base [f27a5d2]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
add setNumCapabilities :: Int -> IO () {- | Set the number of Haskell threads that can run truly simultaneously (on separate physical processors) at any given time. GHC notes: in the current implementation, the value may only be /increased/, not decreased, by calling 'setNumCapabilities'. The initial value is given by the @+RTS -N@ flag, and the current value may be obtained using 'getNumCapabilities'. -}
3:19 PM Changeset in ghc [20007f5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
renderStack: reverse the stack trace (most recent frame first)
3:19 PM Changeset in ghc [637d791]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
add setNumCapabilities :: Int -> IO () {- | Set the number of Haskell threads that can run truly simultaneously (on separate physical processors) at any given time. GHC notes: in the current implementation, the value may only be /increased/, not decreased, by calling 'setNumCapabilities'. The initial value is given by the @+RTS -N@ flag, and the current value may be obtained using 'getNumCapabilities'. -}
3:19 PM Changeset in base [a76211f]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
doc update: mention -fprof-auto-calls
3:19 PM Changeset in ghc [52abc418]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
doc update: mention -fprof-auto-calls
3:19 PM Changeset in ghc [8b75acd]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Make forkProcess work with +RTS -N Consider this experimental for the time being. There are a lot of things that could go wrong, but I've verified that at least it works on the test cases we have. I also did some API cleanups while I was here. Previously we had: Capability * rts_eval (Capability *cap, HaskellObj p, /*out*/HaskellObj *ret); but this API is particularly error-prone: if you forget to discard the Capability * you passed in and use the return value instead, then you're in for subtle bugs with +RTS -N later on. So I changed all these functions to this form: void rts_eval (/* inout */ Capability **cap, /* in */ HaskellObj p, /* out */ HaskellObj *ret) It's much harder to use this version incorrectly, because you have to pass the Capability in by reference.
10:13 AM admin/lun edited by simonmar
(diff)
7:46 AM Changeset in ghc [657773c8]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ben Lippmeier <benl@…>
Fix #5658: mark all array indexing primops as can_fail If they're not marked as can_fail, then they are floated out of case expressions that check whether the indices are in-bounds, causing immense suffering.
7:21 AM Ticket #5486 (LLVM can't compile HsOpenSSL) closed by dterei
fixed: Fixed in fe60dd4a02e754c3e4016482d8b956a9c5247edd
7:19 AM Changeset in ghc [fc9a073]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Fix debugllvm WAY
7:19 AM Changeset in testsuite [cb91760]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Fix debugllvm WAY
7:17 AM Changeset in ghc [747661f5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Add tests for trac #5486 and #5681.
7:17 AM Changeset in testsuite [eb3af13]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Add tests for trac #5486 and #5681.
7:09 AM Changeset in ghc [237159c2]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Code generation: Always ask for result of newSpark Otherwise the LLVM backend gets confused over whether its type should be "void (i8*, i8*)" or "i64 (i8*, i8*)". Signed-off-by: David Terei <davidterei@gmail.com>
7:08 AM Changeset in ghc [fe60dd4]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix trac # 5486 LLVM has a problem when the user imports some FFI types like memcpy and memset in a manner that conflicts with the types that GHC uses internally. So now we pre-initialise the environment with the most general types for these functions.
12:07 AM Ticket #5673 (GHCi ignores {-# LANGUAGE OverloadedStrings #-}) closed by simonpj
duplicate: Goog point! I'd forgotten all about that. Closing as duplicate, with a …

Dec 5, 2011:

9:17 PM Changeset in ghc [d77aede]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:17 PM Changeset in testsuite [b1dbcfb]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:16 PM Changeset in ghc [c743f1f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Add note the T3016 also tests #5652
9:16 PM Changeset in testsuite [105d9d1]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Add note the T3016 also tests #5652
8:33 PM Ticket #5683 (bug in signum function) created by tristes_tigres
IEE754 standard states, that every floating point operation involving a …
7:26 PM Ticket #5681 (par# and spark# call newSpark differently, confuses LLVM backend) closed by dterei
duplicate: thanks, this is a duplicate of #5486. I'll probably use the patch attached …
7:04 PM Ticket #5682 (Properly parse promoted data constructor operators) created by lunaris
[…]
6:36 PM Ticket #4804 (ghc-stage2: Monadic.o: bus error / segmentation fault / internal error) closed by igloo
worksforme: No response from submitter, so closing.
3:41 PM Ticket #5681 (par# and spark# call newSpark differently, confuses LLVM backend) created by scpmw
If par# and spark# are being used in the same compilation unit, say …
11:24 AM Ticket #5680 (Main thread does not respect stack size RTS options) created by ravi_n
I was recently trying to start up with a large initial stack in a Haskell …
9:55 AM Ticket #5674 (Allow type signatures in instance declarations) closed by simonmar
duplicate
9:43 AM Ticket #5480 (Ghc 7.2.1 does not build anymore on NetBSD) closed by simonmar
fixed: Presumably we can close the ticket now, right?
6:27 AM Changeset in ghc [b4d0a6f1]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
6:27 AM Changeset in testsuite [0476b8d0]atomicsdata-kind-syntaxghc-7.4ghc-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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:52 AM Changeset in ghc [0670411]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Track error message changes
4:52 AM Changeset in testsuite [99cfb6a]atomicsdata-kind-syntaxghc-7.4ghc-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@…>
Track error message changes
4:52 AM Changeset in ghc [4176ca72]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
T4120 passes now! Hooray
4:52 AM Changeset in testsuite [468aab3]atomicsdata-kind-syntaxghc-7.4ghc-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@…>
T4120 passes now! Hooray
4:51 AM Changeset in ghc [03365e9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5595
4:51 AM Changeset in testsuite [2cb6f4b]atomicsdata-kind-syntaxghc-7.4ghc-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 #5595
4:49 AM Changeset in ghc [ac4b3761]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:46 AM Changeset in ghc [eb21a97]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of ../HEAD
4:44 AM Changeset in ghc [2e6dcdf7]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow full constraint solving under a for-all (Trac #5595) The main idea is that when we unify forall a. t1 ~ forall a. t2 we get constraints from unifying t1~t2 that mention a. We are producing a coercion witnessing the equivalence of the for-alls, and inside *that* coercion we need bindings for the solved constraints arising from t1~t2. We didn't have way to do this before. The big change is that here's a new type TcEvidence.TcCoercion, which is much like Coercion.Coercion except that there's a slot for TcEvBinds in it. This has a wave of follow-on changes. Not deep but broad. * New module TcEvidence, which now contains the HsWrapper TcEvBinds, EvTerm etc types that used to be in HsBinds * The typechecker works exclusively in terms of TcCoercion. * The desugarer converts TcCoercion to Coercion * The main payload is in TcUnify.unifySigmaTy. This is the function that had a gross hack before, but is now beautiful. * LCoercion is gone! Hooray. Many many fiddly changes in conssequence. But it's nice.
4:01 AM Changeset in ghc [22b317b1]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only: EqVar vs Covar
4:00 AM Changeset in ghc [bed4ec5]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make TypeMap an instance of Outputable

Dec 4, 2011:

11:43 PM Ticket #5678 (Unexpected cryptic GADT type error) closed by simonpj
invalid: It's not a bug, I'm afraid. Type inference for GADT programs requires …
8:51 PM Ticket #5679 (Provide Arrow lift functions for Control.Arrow) created by A1kmm
It is currently difficult to build complex datastructures by combining …
3:34 PM Changeset in ghc [9911ec55]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:23 PM Changeset in ghc [1a8c2bb]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Clean includes/GHCConstants.h includes/DerivedConstants.h We no longer generate them, but they may be in existing GHC trees, so we'll keep cleaning them for a while.
1:20 PM Changeset in base [a3451b8]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Roll back the sigset capi changes They broken the build on OSX. See #2979.
1:20 PM Changeset in ghc [e4c9384]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Roll back the sigset capi changes They broken the build on OSX. See #2979.
12:56 PM Changeset in ghc [9a0adc0]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove unused import
11:23 AM Ticket #5678 (Unexpected cryptic GADT type error) created by mikhail.vorozhtsov
Consider the following module: […] Function "ok" is accepted by GHC, …
6:48 AM Ticket #5652 (T3016 takes long time to compile with LLVM) closed by dterei
4:50 AM Ticket #5652 (T3016 takes long time to compile with LLVM) closed by dterei
fixed: Fixed in 7626b2b9c52cb4aa38609a9a70b567e8693c3aa6
4:48 AM Changeset in ghc [a5aea1ae]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Remove old mangler comment
4:48 AM Changeset in ghc [f8b4696]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Remove dead function.
4:48 AM Changeset in ghc [90d2acd1]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add CCS for llvm
4:48 AM Changeset in ghc [f14953e]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Formatt wibble
4:48 AM Changeset in ghc [7626b2b]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix ugly complexity issue in LLVM backend (#5652) Compile time still isn't as good as I'd like but no easy changes available. LLVM backend could do with a big rewrite to improve performance as there are some ugly designs in it. At least the test case isn't 10min anymore, just a few seconds now.
4:48 AM Changeset in ghc [30361d18]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add SCC for LLVM code output

Dec 3, 2011:

11:42 PM WikiStart edited by fryguybob
Removed spam (diff)
11:42 PM Ticket #5677 (Allow the definition of extra functions in typeclass instances) created by FUZxxl
It would be nice, if one could define functions in an instance declaration …
11:24 PM Ticket #5676 (Typeclass instance function type declarations) created by drb226
See discussion at …
9:11 PM Ticket #5675 (OperationalError: database is locked) closed by erikd
fixed: Seems to be working now. Closing this bug.
8:40 PM Ticket #5675 (OperationalError: database is locked) created by erikd
==== How to Reproduce ==== While doing a POST operation on …
4:43 PM Changeset in unix [77927c8]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Roll back the sigset capi changes They broken the build on OSX. See #2979.
3:19 PM Ticket #5673 (GHCi ignores {-# LANGUAGE OverloadedStrings #-}) closed by michalt
invalid: I think the pragma only refers to the code in the file and not to what you …
1:55 PM Ticket #5674 (Allow type signatures in instance declarations) created by kprateek88
GHC should allow type signatures in instance declarations. It should check …
10:18 AM Ticket #5673 (GHCi ignores {-# LANGUAGE OverloadedStrings #-}) created by erikd
Very simple test file like: […] If I load this into GHCi, I can run …
12:34 AM Changeset in ghc [fe05c022]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some unnecessary touch's They made a dependency cycle in the rules used to build the touch program on Windows.
Note: See TracTimeline for information about the timeline view.