Timeline


and

May 17, 2012:

11:39 PM LightweightConcurrency edited by kc
(diff)
11:37 PM LightweightConcurrency edited by kc
(diff)
11:37 PM LightweightConcurrency edited by kc
(diff)
11:36 PM LightweightConcurrency edited by kc
(diff)
11:11 PM LightweightConcurrency edited by kc
(diff)
10:50 PM Changeset in ghc [f286841]supercompiler by Max Bolingbroke <batterseapower@…>
Some horrible-looking changes to select most-specific instance (preferring exact matches) and remember non-exact matches in the memo table
10:41 PM LightweightConcurrency edited by kc
(diff)
10:40 PM LightweightConcurrency edited by kc
(diff)
10:38 PM LightweightConcurrency edited by kc
(diff)
10:33 PM LightweightConcurrency edited by kc
(diff)
10:08 PM Repositories edited by pcapriotti
mention push urls for validated repositories, change darcs example from … (diff)
10:03 PM Changeset in ghc [89e319c]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 Ian Lynagh <igloo@…>
Fix freeHaskellFunctionPtr on Win64
8:00 PM LightweightConcurrency edited by kc
(diff)
6:23 PM Ticket #6108 (Haddock's prune option is not regarded for DEPRECATED things) created by SimonHengel
I introduced this regression when I extended Haddock, so that it adds …
1:54 PM Ticket #6102 (Subclass Specialization in Rewrite Rules) closed by simonpj
invalid: Oh silly me. Of course ClassInstance is not an instance of ClassTwo. …
11:15 AM Ticket #6107 (GHCi runtime linker cannot link with duplicate common symbols) created by exFalso
GHCi's runtime linker reports duplicate common symbols as fatal error. …
10:42 AM Ticket #6106 (GHCi does not always detect when modules become stale during compilation) created by SimonHengel
Here is a conceived example that illustrates the issue. File Foo.hs
10:02 AM Ticket #6105 (GHCi does no respect -fforce-recomp) created by SimonHengel
To my delightful surprise ghc --make respects -fforce-recomp, …
9:43 AM Ticket #6104 (Regression: space leak in HEAD vs. 7.4) created by simonmar
I often keep an eye on compiler performance by compiling Cabal. Yesterday …
8:43 AM Holes edited by spl
Expected type (diff)
8:35 AM Holes edited by spl
Respond to SLPJ (diff)
8:24 AM Ticket #6103 (Interrupted program cannot produce biographical heap profile) created by konn
If I interrupt program running with "+RTS -p -hb" option, the program …
8:00 AM Holes edited by simonpj
(diff)
7:18 AM Ticket #6015 ("No instance" when using PolyKinds/DataKinds/FunDeps/Undecidable) closed by simonpj
fixed: I believe this patch fixes the bug. Thanks for reporting it with a nice …
7:17 AM Ticket #6068 (Panic in GHCi when using functional dependencies and promoted kinds) closed by simonpj
fixed: I believe this patch fixes the bug. Thanks for reporting it with a nice …
7:16 AM Ticket #6097 (tc078(hpc,optasm,profasm) are failing with core lint errors) closed by simonpj
fixed
7:15 AM Ticket #6096 (tc126(optasm) is failing with a core lint error) closed by simonpj
fixed
2:28 AM Ticket #6102 (Subclass Specialization in Rewrite Rules) created by SamAnklesaria
Rewrite rules can define a specialized version of a method for some …
1:01 AM Changeset in ghc [b002f1b0]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 Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
12:22 AM Ticket #6101 (Show instance for integer-simple is not lazy enough) created by tommd
I run out of memory, after 31 GB, when trying to show an Integer (using …

May 16, 2012:

9:00 PM LightweightConcurrency edited by kc
(diff)
3:14 PM Changeset in ghc [2eefbf2]supercompiler by Max Bolingbroke <batterseapower@…>
Rethink how generalisation is written so we can rollback when MSGing
2:53 PM Changeset in ghc [6683995]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@…>
Set the context_switch flag in yield# yieldThread hasn't been working for a while: unless we set the context_switch flag to indicate that the current time slice is over, the RTS scheduler just runs the same thread again. Spotted by Andreas Voellmy (thanks!).
2:31 PM Changeset in base [28670dd]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
2:31 PM Changeset in ghc [5176c1f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
2:14 PM Changeset in ghc [5e4bab8c]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 Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
1:33 PM Holes edited by spl
Update ambiguity section (diff)
12:59 PM Ticket #6100 (mistake in class inheritance system) closed by kosmikus
invalid: No, GHC is correct. […] Note that both arguments have to have the …
12:35 PM Holes edited by spl
Respond to SLPJ on ambiguously typed holes (diff)
12:27 PM Holes edited by spl
Respond to SLPJ on runtime error (diff)
12:08 PM Ticket #6100 (mistake in class inheritance system) created by guest
class can't use function of parents class. Code: class A a where …
11:52 AM Changeset in ghc [06ac4cf]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix typo in 7.4.2 release notes.
11:27 AM Changeset in ghc [6494a64a]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update 7.4.2 release notes.
10:15 AM Changeset in ghc [5a502c75]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
10:15 AM Changeset in testsuite [691249a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
10:15 AM Changeset in ghc [accd944]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 #6015 and #6068
10:15 AM Changeset in testsuite [e1fde8a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6015 and #6068
10:14 AM Changeset in ghc [7fe110aa]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 Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:13 AM Changeset in ghc [969f8b7]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 Peyton Jones <simonpj@…>
Be careful to instantiate kind variables when dealing with functional dependencies There were really two bugs a) When the fundep fires we must apply the matching substitution to the kinds of the remaining type vars (This happens in FunDeps.checkClsFD, when we create meta_tvs) b) When instantiating the un-matched type variables we must instantiate their kinds properly (This happens in TcSMonad.instFlexiTcS) This fixes #6068 and #6015 (second reported bug).
9:50 AM Changeset in ghc [ebcad76]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 Peyton Jones <simonpj@…>
When comparing Case expressions, take account of empty alternatives After the recent change that allows empty case alternatives, we were accidentally saying that these two were equal: Case x _ Int [] Case x _ Bool [] Usually if the alternatives are equal so is the result type -- but not if the alternatives are empty! There are two places to fix: CoreUtils.eqExpr TrieMap with CoreExpr key Fixes #6096, #6097
3:51 AM LightweightConcurrency edited by kc
(diff)
12:59 AM LightweightConcurrency edited by kc
(diff)
12:46 AM LightweightConcurrency edited by kc
(diff)
12:43 AM LightweightConcurrency edited by kc
(diff)

May 15, 2012:

10:28 PM LightweightConcurrency edited by kc
(diff)
9:19 PM Changeset in ghc [ada75a8]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 Max Bolingbroke <batterseapower@…>
Testsuite update for unboxed tuples in arguments We are careful to test slow calls and RtClosureInspect, as well as standard fast calls
9:19 PM Changeset in testsuite [3a8c2a1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Testsuite update for unboxed tuples in arguments We are careful to test slow calls and RtClosureInspect, as well as standard fast calls
8:52 PM LightweightConcurrency edited by kc
(diff)
8:32 PM Changeset in ghc [09987de4]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 Max Bolingbroke <batterseapower@…>
Support code generation for unboxed-tuple function arguments This is done by a 'unarisation' pre-pass at the STG level which translates away all (live) binders binding something of unboxed tuple type. This has the following knock-on effects: * The subkind hierarchy is vastly simplified (no UbxTupleKind or ArgKind) * Various relaxed type checks in typechecker, 'foreign import prim' etc * All case binders may be live at the Core level
8:29 PM LightweightConcurrency edited by kc
(diff)
8:02 PM Ticket #6099 (filepath library a lot bigger in 7.4.2 RC 1) created by igloo
filepath is a lot bigger in 7.4.2 RC 1 than in 7.4.1, e.g.: […] This …
5:18 PM Changeset in ghc [5ccb43f]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 Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
4:13 PM Ticket #6098 (debugger does not know the correct type for a newtype field) created by phercek
This bug is in 7.4.1. I think it was also in 7.0.3. It is also in the …
4:10 PM Changeset in ghc [11e13be]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@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:10 PM Changeset in testsuite [d04cf51]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
3:44 PM Changeset in ghc [3a6f1aa6]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@…>
4321 is broken again
3:44 PM Changeset in testsuite [73d8279]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
4321 is broken again
3:42 PM Changeset in ghc [33923115]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@…>
tc078(hpc,optasm,profasm) are broken (#6097)
3:42 PM Changeset in testsuite [7abaaef]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
tc078(hpc,optasm,profasm) are broken (#6097)
3:41 PM Ticket #6097 (tc078(hpc,optasm,profasm) are failing with core lint errors) created by igloo
tc078(hpc,optasm,profasm) are failing with core lint errors. Here's the …
3:37 PM Changeset in ghc [14f7be16]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@…>
tc126(optasm) is broken (#6096)
3:37 PM Changeset in testsuite [7697e0f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
tc126(optasm) is broken (#6096)
3:35 PM Ticket #6096 (tc126(optasm) is failing with a core lint error) created by igloo
tc126(optasm) is failing with a core lint error. The code: […] The …
2:54 PM Changeset in ghc [577e98f]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@…>
Add -fobject-code to the numeric *2 tests Fixes the ghci way
2:54 PM Changeset in testsuite [7841535]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add -fobject-code to the numeric *2 tests Fixes the ghci way
2:50 PM Changeset in ghc [8b5836a]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@…>
Use -fobject-code for tests that use UnboxedTuples They were claiming to be broken because of #1257, but that is closed as wontfix.
2:50 PM Changeset in testsuite [29d3a0e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Use -fobject-code for tests that use UnboxedTuples They were claiming to be broken because of #1257, but that is closed as wontfix.
2:14 PM Changeset in ghc [c08df442]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 Max Bolingbroke <batterseapower@…>
Remove the unused Type field from StgLam
2:14 PM Changeset in ghc [7950f46]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 Max Bolingbroke <batterseapower@…>
Remove StgTypeArg since it was never used and is probably broken anyway
11:26 AM Ticket #6090 (hsc2hs doesn't consider values not fitting in an unsigned long integral ...) closed by pcapriotti
fixed: Pushed as fc8a91274534f8f94ec5480ad7504b9fb94b6b6d.
9:40 AM Repositories edited by pcapriotti
(diff)
9:40 AM Ticket #2947 (infix precedence of backtick functions defined in ghci is not reported by ...) closed by pcapriotti
fixed
9:39 AM Ticket #5977 (Allow ignoring global package db) closed by pcapriotti
fixed
9:32 AM Changeset in ghc [921530b]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 Paolo Capriotti <p.capriotti@…>
Follow changes in Cabal.
9:31 AM ExplicitTypeApplication edited by dreixel
(diff)
9:29 AM ExplicitTypeApplication edited by dreixel
New story for explicit kinds (diff)
8:29 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:23 AM Ticket #6095 (GHC 7.0.3 panic when compiling mwc-random) closed by simonmar
worksforme: Thanks for the report. I tried it here and it worked. Lacking a way to …
8:19 AM Ticket #6094 (runInteractiveProcess not using new PATH) closed by simonmar
invalid: I don't think it should use the new PATH, since the search for the …
8:05 AM Changeset in ghc [215c8265]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 Paolo Capriotti <p.capriotti@…>
Add a fixity environment to InteractiveContext (#2947)
7:29 AM Changeset in ghc [24d70da]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 Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db.
7:29 AM Changeset in testsuite [85dddc1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db.
7:24 AM Changeset in ghc [ba409e30]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 Paolo Capriotti <p.capriotti@…>
Simplify the behavior of package db flags. Previously, the `-no-user-package` and `-no-global-package` flags affected the "initial" stack only, while `user-package` and `global-packages` appended to the end of the stack. This commit changes the behavior of those flags, so that they are always applied to the stack as a whole. The effect of the GHC_PACKAGE_PATH environment variable has also been changed: terminating it with a separator now adds the default package dbs (user and global) instead of the initial stack.
7:24 AM Changeset in ghc [2fe1546]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 Paolo Capriotti <p.capriotti@…>
Update documentation of the package db flags.
7:22 AM Changeset in ghc [ca2debb2]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 Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db. Rename package database flags in both GHC and ghc-pkg so that they are consistent with Cabal nomenclature. Add a version check to the build system so that the correct set of package db flags are used when the bootstrapping GHC has version < 7.5.
7:18 AM Changeset in ghc [6a831be4]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 Paolo Capriotti <p.capriotti@…>
Add flags to manipulate package db stack (#5977) Introduce new flags to allow any package database stack to be set up. The `-no-user-package-conf` and `-no-global-package-conf` flags remove the corresponding package db from the initial stack, while `-user-package-conf` and `-global-package-conf` push it back on top of the stack.

May 14, 2012:

11:16 PM Changeset in ghc [c250f93b]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 Ian Lynagh <igloo@…>
Tweak the lexer: In particular, improve notFollowedBy and friends We were hitting a problem when reading the LANGUAGE/OPTIONS pragmas from GHC.TypeLits, where the buffer ended "{-". The rules for the start-comment lexeme check that "{-" is not followed by "#", but the test returned False when there was no next character. Therefore we were lexing this as as an open-curly lexeme (only consuming the "{", and not reaching the end of the buffer), which meant the options parser think that it had reached the end of the options. Now we correctly lex as "{-".
1:59 PM Ticket #1161 (Clean up the library testing story) closed by pcapriotti
fixed: All tests have been moved to the appropriate repositories. The only thing …
1:53 PM Ticket #6091 (Fixity in :info for backticks operators) closed by pcapriotti
fixed
1:50 PM Changeset in ghc [37a28207]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 Paolo Capriotti <p.capriotti@…>
Add test for #6091.
1:50 PM Changeset in testsuite [712cfd7]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 test for #6091.
1:39 PM Changeset in ghc [6406cd2]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 Paolo Capriotti <p.capriotti@…>
Use pprInfixName in pprInfo (#6091) Surround a name in backticks when printing an infix declaration in GHCi.
1:08 PM Ticket #6064 (InstanceD declaration does not allow for explicit TyVarBndrs) closed by simonpj
invalid: OK #6081 is fixed, so I'll close this ticket. Reopen if needed.
1:07 PM Ticket #6015 ("No instance" when using PolyKinds/DataKinds/FunDeps/Undecidable) closed by simonpj
fixed
1:06 PM Ticket #6081 (Kind variables not allowed in class instance declarations) closed by simonpj
fixed: I've added a regression test now.
1:05 PM Changeset in ghc [6c3045b9]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 Peyton Jones <simonpj@…>
Fix the the pure unifier so that it unifies kinds When unifying two type variables we must unify their kinds. The pure *matcher* was doing so, but the pure *unifier* was not. This patch fixes Trac #6015, where an instance lookup was failing when it should have succeeded. I removed a bunch of code aimed at support sub-kinding. It's tricky, ad-hoc, and I don't think its necessary any more. Anything we can do to simplify the sub-kinding story is welcome!
12:54 PM Changeset in ghc [d93dc41]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 #6015
12:54 PM Changeset in testsuite [c62cd61]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 #6015
12:50 PM Changeset in ghc [6729fa6]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 #6081
12:50 PM Changeset in testsuite [fda8743]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 #6081
11:49 AM Ticket #6095 (GHC 7.0.3 panic when compiling mwc-random) created by hesselink
Our Jenkins server showed a GHC (7.0.3) panic during the building of …
9:39 AM Blog: New directions for Template Haskell edited by simonpj

May 13, 2012:

4:37 AM Ticket #6094 (runInteractiveProcess not using new PATH) created by GregWeber
run the below program with something like: rm -r foo; ghc env.hs && ./env …
3:16 AM Ticket #6093 (Kind polymorphism fails with recursive type definition using different ...) created by Ashley Yakeley
[…] results in […]

May 12, 2012:

6:31 PM Changeset in base [0ffe2a1]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Update to support singleton types with custom implementations. Now 'Sing' is a data family, and users may provide data instances to implement singletons of new kinds.
6:31 PM Changeset in ghc [e88cf256]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Update to support singleton types with custom implementations. Now 'Sing' is a data family, and users may provide data instances to implement singletons of new kinds.
Note: See TracTimeline for information about the timeline view.