Timeline


and

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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/T9016 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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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
2:11 AM Changeset in ghc [f52af45]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add forward reasoning: derive new givens from existing ones. This seems to work, although it'd be nice to control the firing of rules a bit more as at the moment we generate a lot of useless facts. For example, given 2 + 3 ~ a, we get all of these: 3 + 2 ~ a a ~ 5 5 ~ a Some of this can be fixed by restricting the instantiations of "funRules", which always produce symmetric results.
2:07 AM Changeset in ghc [a4d5a1c]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Fix the names of the type function constructors (XXX). This is still does not seem right---these constructors are not primitive but "wired-in". However, I could not define them in the "wired in" module because it depends on module `Coercion`, which needs to use the constructors...
2:06 AM Changeset in ghc [813c043]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to fold the inert function equalities. It is used to extract and group the propositions relevant for the type-nat solver.

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/T9016 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.

May 11, 2012:

10:51 PM TypeNats/SingletonsAndExistentials edited by heisenbug
(diff)
10:35 PM Changeset in ghc [3d0cf09]type-nats by Iavor S. Diatchki <diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/typecheck/TcEvidence.lhs
10:34 PM Changeset in base [aa17dc9]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Iavor S. Diatchki <diatchki@…>
Modify 'SingRep' to support arbitrary singleton types.
10:34 PM Changeset in ghc [a75c1be]wip/T9016 by Iavor S. Diatchki <diatchki@…>
Modify 'SingRep' to support arbitrary singleton types.
10:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:03 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:01 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:59 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:56 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:55 PM Ticket #6092 (Liberate case not happening) created by simonpj
Simon M writes: Johan Tibell and I were looking at the code GHC produces …
9:18 PM Changeset in ghc [50b41cf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5737
9:18 PM Changeset in testsuite [d6d2efb]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5737
9:17 PM Ticket #5737 (Template Haskell can't derive Read, Show, Eq instances) closed by simonpj
fixed: Fixed by the same thing as (the second patch in) #6005.
9:08 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:50 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:48 PM Ticket #6091 (Fixity in :info for backticks operators) created by guest
The standard way to define infixity for backtick operators is […] …
8:46 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:45 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:41 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:41 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:33 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:45 PM Ticket #6090 (hsc2hs doesn't consider values not fitting in an unsigned long integral ...) created by mtjm
The specific problem occurs when libraries/unix is being built, …
5:14 PM Changeset in ghc [3970d9a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add needed -XPolyKinds
5:14 PM Changeset in testsuite [ec73de5]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 needed -XPolyKinds
5:03 PM Changeset in ghc [09addd3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:02 PM Changeset in ghc [9806a0a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Delete dead code mkIParamTyCon
5:02 PM Changeset in ghc [fc8959ac]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor LHsTyVarBndrs to fix Trac #6081 This is really a small change, but it touches a lot of files quite significantly. The real goal is to put the implicitly-bound kind variables of a data/class decl in the right place, namely on the LHsTyVarBndrs type, which now looks like data LHsTyVarBndrs name = HsQTvs { hsq_kvs :: [Name] , hsq_tvs :: [LHsTyVarBndr name] } This little change made the type checker neater in a number of ways, but it was fiddly to push through the changes.
2:08 PM Ticket #6089 (Allow declaration splices inside declaration brackets) created by igloo
I would like to be able to write code like: […] but GHC says: […] …
10:30 AM WikiStart edited by simonmar
(diff)
10:27 AM WikiStart edited by simonmar
(diff)
10:26 AM Status edited by simonmar
(diff)
10:25 AM Status/May12 edited by simonmar
(diff)
9:27 AM Changeset in ghc [d0f3a8ba]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Handle cases with no alternatives in GHCi Fixes cgrun045(ghci) amongst others
8:35 AM Changeset in ghc [5cc3d3b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix horrendous bug with new insertVarRenaming
8:30 AM Changeset in ghc [67c7e032]supercompiler by Max Bolingbroke <batterseapower@…>
Only zap IdInfo for *Id*s
7:42 AM Changeset in ghc [69a6dcf0]supercompiler by Max Bolingbroke <batterseapower@…>
Support for LitTy in Match/MSG
7:42 AM Changeset in ghc [eb61876]supercompiler by Max Bolingbroke <batterseapower@…>
Suppress warnings when renaming an out term
7:42 AM Changeset in ghc [a4c1c7b]supercompiler by Max Bolingbroke <batterseapower@…>
Comments only
7:42 AM Changeset in ghc [1d7e6b5]supercompiler by Max Bolingbroke <batterseapower@…>
Fix bug in expandTypeSynonyms that could rarely cause problems
7:42 AM Changeset in ghc [699f2732]supercompiler by Max Bolingbroke <batterseapower@…>
Remove duplicate export of mkCvSubst
7:42 AM Changeset in ghc [02ca2e11]supercompiler by Max Bolingbroke <batterseapower@…>
Correct calculation of match renaming via inversion
7:42 AM Changeset in ghc [62cec5c]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure kinds are not generalised, and only types of the correct kind
7:42 AM Changeset in ghc [ffbcbda]supercompiler by Max Bolingbroke <batterseapower@…>
Whitespace only
7:42 AM Changeset in ghc [84819acd]supercompiler by Max Bolingbroke <batterseapower@…>
Save some code in MSG by failing lookup of any lambdaBound
7:42 AM Changeset in ghc [94c7d82]supercompiler by Max Bolingbroke <batterseapower@…>
Use new insertVarRenaming when constructing renaming in MSG
7:42 AM Changeset in ghc [94903de4]supercompiler by Max Bolingbroke <batterseapower@…>
Add FIXME about rigid occurrence info
7:42 AM Changeset in ghc [b393485]supercompiler by Max Bolingbroke <batterseapower@…>
Some small renamings in Renaming.hs
7:42 AM Changeset in ghc [8d23383]supercompiler by Max Bolingbroke <batterseapower@…>
My MSG common-binder knot was too knotty
7:42 AM Changeset in ghc [bd4c506]supercompiler by Max Bolingbroke <batterseapower@…>
Fix the instantiation check in msgMatch
7:42 AM Changeset in ghc [23f26fc]supercompiler by Max Bolingbroke <batterseapower@…>
Slight cleanup is msgMatch (remove redudant var-kind tests)
7:42 AM Changeset in ghc [ec93b389]supercompiler by Max Bolingbroke <batterseapower@…>
Remove spurious trace
7:42 AM Changeset in ghc [f4cc350]supercompiler by Max Bolingbroke <batterseapower@…>
Correct the types of generalised term binders
7:42 AM Changeset in ghc [d0da1626]supercompiler by Max Bolingbroke <batterseapower@…>
Fix some long-standing binder-FV issues, especially in evaluator FVs
7:42 AM Changeset in ghc [a509ad4]supercompiler by Max Bolingbroke <batterseapower@…>
Small tweak to MSG utility function
7:42 AM Changeset in ghc [e8b2ca32]supercompiler by Max Bolingbroke <batterseapower@…>
Carefully do inverted-rename on types in invertRenaming
7:42 AM Changeset in ghc [8229fa6d]supercompiler by Max Bolingbroke <batterseapower@…>
Add a FIXME about the effects on termination of instance-MSGing
7:42 AM Changeset in ghc [5725453]supercompiler by Max Bolingbroke <batterseapower@…>
Check for kindvar/tyvar mismatch in MSG
7:42 AM Changeset in ghc [75adf92]supercompiler by Max Bolingbroke <batterseapower@…>
Make corresponding TyVar/KindVar changes to Match
7:42 AM Changeset in ghc [6325e202]supercompiler by Max Bolingbroke <batterseapower@…>
Small comments and things
7:42 AM Changeset in ghc [8e4b2ae]supercompiler by Max Bolingbroke <batterseapower@…>
Babysteps towards a better MSG where outgoing occurrences have correct info
7:42 AM Changeset in ghc [c897385]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a number of egrarious errors in matching and MSG+MSG-matching
12:17 AM Ticket #6088 (GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints) created by Lemming
I have the following module that uses generalized newtype deriving: […] …
Note: See TracTimeline for information about the timeline view.