Timeline


and

Apr 10, 2012:

7:41 PM Ticket #5996 (fix for CSE) created by michalt
The current version of CSE is slightly broken -- contrary to the comments …
5:53 PM Changeset in ghc [362ee5a5]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-compatwip/travis by David Terei <davidterei@…>
Add test to make sure flag extensions are correctly display as a unsafe reason.
5:53 PM Changeset in testsuite [8e04da1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Add test to make sure flag extensions are correctly display as a unsafe reason.
5:46 PM Changeset in ghc [d80aac98]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-compatwip/travis by David Terei <davidterei@…>
Update Safe Haskell tests for changed format.
5:46 PM Changeset in testsuite [f4121f3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update Safe Haskell tests for changed format.
3:34 PM Ticket #5930 (add System.Environment.lookupEnv which returns Maybe instead of an ...) closed by pcapriotti
fixed: Pushed as ce33f888a2bda6123f8e5d5f36bb022ee1601a5f.
3:32 PM Changeset in base [1ba23d8]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add testcase for #5930.
3:32 PM Changeset in ghc [30193198]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Paolo Capriotti <p.capriotti@…>
Add testcase for #5930.
3:32 PM Changeset in base [ce33f88]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add System.Environment.lookupEnv (#5930) Based on a patch by Evan Laforge <qdunkan@gmail.com>
3:32 PM Changeset in ghc [75efe3c]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Paolo Capriotti <p.capriotti@…>
Add System.Environment.lookupEnv (#5930) Based on a patch by Evan Laforge <qdunkan@gmail.com>
12:42 PM Changeset in ghc [e8429ae]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-compatwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Adding testcase for Trac 5934
12:42 PM Changeset in testsuite [3678824]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Adding testcase for Trac 5934
8:57 AM Changeset in ghc [1603e4f]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:57 AM Changeset in ghc [81f19d6]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Setting empty touchable range in implications that are generated from polytype decomposition in the constraint solver.
7:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
4:13 AM Changeset in ghc [da102b36]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-newwip/travis by Manuel M T Chakravarty <chak@…>
Fix RTS build on OS X * The following commits made validate fail on OS X (Lion): 65aaa9b2715c5245838123f3a0fa5d92e0a66bce and c294d95dc04950ab4c5380bf6ce8651f621f8591 * I just commented out all offending code until it validated again. The original authors need to clean this up.
1:12 AM Changeset in ghc [6e369fd2]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-compatwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Adding test case for polytype decomposition in the constraint solver.
1:12 AM Changeset in testsuite [fa6bb22]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Adding test case for polytype decomposition in the constraint solver.
1:11 AM Changeset in ghc [2d8374a8]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Updates to the constraint solver to be able to handle implication constraint generation during solveInteractCts, needed for polytype equality decomposition. More commentary to follow.

Apr 9, 2012:

10:28 AM Ticket #5995 (http://wiki.barrelfish.org/Getting_Started#ghcInstall ...) created by guest
hake: panic! (the 'impossible' happened) (GHC version 6.10.4 for …
10:16 AM Changeset in base [f1f7bac]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Whitespace only: convert mixed tabs and spaces to spaces. Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
10:16 AM Changeset in ghc [c07266e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Paolo Capriotti <p.capriotti@…>
Whitespace only: convert mixed tabs and spaces to spaces. Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
3:01 AM TypeNats/Basics edited by diatchki
(diff)
3:00 AM TypeNats/Basics edited by diatchki
(diff)
2:59 AM TypeNats/Basics edited by diatchki
(diff)
2:52 AM Ticket #5994 (Consider adding a flag to ghc's configure to automatically bootstrap and ...) created by td123
The current situation is this: ghc 7.4.1 includes cabal-install with its …
2:38 AM Changeset in ghc [1bfb979]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-newwip/travis by Iavor S. Diatchki <iavor.diatchki@…>
Update names to match the implementation in GHC.TypeLits.
2:37 AM Changeset in base [b5b5ec1]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Rewrite to use just one notion of singletons. This avoids the duplication of types and classes for each separate type of literal: before we had two copies of most functions, one for numbers and one for strings. Now we just have one polymorphic (both at the type and the kind level!) version, which uses a type function and polymorphic kinds in an interesting way.
2:37 AM Changeset in ghc [0f1f0d9]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Iavor S. Diatchki <iavor.diatchki@…>
Rewrite to use just one notion of singletons. This avoids the duplication of types and classes for each separate type of literal: before we had two copies of most functions, one for numbers and one for strings. Now we just have one polymorphic (both at the type and the kind level!) version, which uses a type function and polymorphic kinds in an interesting way.
2:28 AM TypeNats/Basics edited by diatchki
(diff)
2:23 AM TypeNats/Implementation edited by diatchki
(diff)
2:20 AM TypeNats/AlternativeSingletons edited by diatchki
(diff)
2:14 AM TypeNats/InductiveDefinitions edited by diatchki
(diff)
2:13 AM TypeNats/Basics edited by diatchki
(diff)
2:08 AM TypeNats/Basics edited by diatchki
(diff)
1:39 AM TypeNats/Basics edited by diatchki
(diff)
1:27 AM TypeNats/Basics edited by diatchki
(diff)
1:22 AM TypeNats/Basics edited by diatchki
(diff)
1:20 AM TypeNats/Basics edited by diatchki
(diff)
1:18 AM TypeNats/Basics edited by diatchki
(diff)
12:58 AM TypeNats edited by diatchki
(diff)

Apr 8, 2012:

3:13 PM Ticket #5993 (Segfault with threaded runtime and low +RTS -k) created by ksf
Consider this minimal test case: […] compile and run: […] And …

Apr 6, 2012:

8:40 PM Commentary/Compiler/Backends/LLVM/WIP edited by dterei
(diff)
8:29 PM Ticket #5976 (Panic in a user Template Haskell function is wrongly reported as a GHC bug) closed by pcapriotti
fixed: Merged as 921a1d5def070bc91b300949a0e873f549c965ca.
8:28 PM Ticket #5989 (Haddock reports wrong safe haskell mode) closed by pcapriotti
fixed: Merged as da320fc4284946a5d378dbdfd4a4cb3a2ec33d9e and …
8:27 PM Ticket #5988 (Safe Haskell doesn't report all reasons why safe inference fails) closed by pcapriotti
fixed: GHC patches merged as c83d1dcce199862c40d35544f7875c86f05b4ea5 and …
2:50 PM Changeset in ghc [da320fc]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix GHC API with respect to safe haskell. (#5989) This fixes haddock so it correctly reports the safe haskell mode of a module.
2:48 PM Changeset in testsuite [f139794]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update safe haskell tests for change output formatting
2:47 PM Changeset in ghc [95dc4ec]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update safe haskell error/warn formatting
2:47 PM Changeset in ghc [c83d1dcc]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix tracking of reason safe inference failed. (#5988)
2:43 PM Changeset in ghc [921a1d5]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Prevent nested TH exceptions from bubbling up to the top level (#5976) MERGED from commit e7e5e277eb58a5ef6207200174e7982fdb9780bb
2:40 PM Changeset in ghc [961b2e55]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Make the LocalRdrEnv keep track of all the Names that are in scope This allows us to give a sensible error message when a Template Haskell splice generates an occurrence without a binding site. Fixes Trac #5959 and #5971 MERGED from commit cb5a3f2d66e4dac2f6f44f56e365d18df884c943
2:06 PM Ticket #5948 (Parentheses needed when declaring a type synonym with ':) closed by pcapriotti
fixed: Thanks for the report.
2:05 PM Changeset in ghc [a647d30c]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-compatwip/travis by Paolo Capriotti <p.capriotti@…>
Add testcase for #5948.
2:05 PM Changeset in testsuite [a318902]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #5948.
2:01 PM Changeset in ghc [f0d10e34]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-newwip/travis by Paolo Capriotti <p.capriotti@…>
Allow promoted constructors in the typedoc production (#5948)

Apr 5, 2012:

9:11 PM Changeset in ghc [a312fd1b]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-compatwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Following up from the last commit in the constraint solver.
9:11 PM Changeset in testsuite [ae9f64bc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Following up from the last commit in the constraint solver.
8:41 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
7:42 PM Changeset in ghc [3f46b1e]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:37 PM Changeset in ghc [f15977c]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Improved caching: I was flushing the solved when going under implications, this was the reason for the regression of T3064.
7:34 PM Changeset in ghc [806182b]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Implemeting a lookup modulo non-idempotent substitution.
1:52 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:50 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:42 PM Ticket #5795 (Breaking the staging restriction in type splices causes GHC panic) closed by simonpj
fixed: Thanks. I've fixed this. Not perfectly but better […]
1:41 PM Changeset in ghc [c5e6c6d6]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Add files for testing T5795
1:41 PM Changeset in testsuite [91d96f3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add files for testing T5795
1:39 PM Ticket #5952 (Extra ' in error output concerning promoted kinds) closed by simonpj
fixed: Good point thank you. Turns out that the change is picked up by an …
1:38 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:36 PM Changeset in ghc [34138c1]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:36 PM Changeset in testsuite [1d0f994]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:36 PM Changeset in ghc [597bbcf]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Accept improved error message
12:36 PM Changeset in testsuite [a3799143]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept improved error message
12:36 PM Changeset in ghc [704c150b]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Actually test T5022!
12:36 PM Changeset in testsuite [b8f80a5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Actually test T5022!
12:34 PM Changeset in ghc [3a9ba4d1]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Add (in comments) more variants to T3064
12:34 PM Changeset in testsuite [107630d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add (in comments) more variants to T3064
12:34 PM Changeset in ghc [56de6d1b]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Expect failure on T3064
12:34 PM Changeset in testsuite [7510165]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Expect failure on T3064
11:48 AM Changeset in ghc [17f3e90e]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-compatwip/travis by Paolo Capriotti <p.capriotti@…>
Fix dynamic stub in tests after fix for #5664.
11:48 AM Changeset in testsuite [7d1da4a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix dynamic stub in tests after fix for #5664.
11:38 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:34 AM Changeset in ghc [ac8464b]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-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #5022
11:34 AM Changeset in testsuite [2ccfb22]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 #5022
10:43 AM Changeset in ghc [b40f001]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-newwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:42 AM Changeset in ghc [6100eb4]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-newwip/travis by Simon Peyton Jones <simonpj@…>
Fix Trac #5952, by changing the Outputable TyCon instance, so that it does not print a quote in front of a promoted TyCon in a Kind. I also systematically renamed PromotedTypeTyCon --> PromotedTyCon PromotedDataTyCon --> PromotedDataCon
10:39 AM Changeset in ghc [01259656]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-newwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
10:39 AM Changeset in ghc [70b0f16]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-newwip/travis by Simon Peyton Jones <simonpj@…>
Improve kind-checking of type splices slightly It is still Not Right, but can't readily be fixed until the major overhaul of TH described in Simon PJ's 2011 GHC blog post. (Then type splices will be done in the renamer.)
10:37 AM Changeset in ghc [6d46439c]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-newwip/travis by Simon Peyton Jones <simonpj@…>
Improve error reporting for out-of-scope variables Sometimes when a variable is out of scope in the type-checker, it's not a GHC bug, but rather a TH staging error. See Note [Out of scope might be a staging error] in TcEnv. This showed up as Trac #5795.
10:30 AM Changeset in ghc [f7245ce4]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-newwip/travis by Simon Peyton Jones <simonpj@…>
White space only
8:04 AM Changeset in ghc [f90a4e1]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-compatwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:04 AM Changeset in testsuite [ae06d90]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:03 AM Changeset in ghc [1a4ae30]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-newwip/travis by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
1:29 AM Ticket #5992 (Silence gen_contents_index for the common case.) created by td123
The line: echo $HADDOCK_ARGS From: …
Note: See TracTimeline for information about the timeline view.