Timeline


and

May 26, 2012:

11:57 PM Changeset in base [632c5be]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Change the `IP` class to avoid the ambiguity of the method. We use a phantom type to link an implicit parameter name to its value. This is nice because now `?x` in the source code is simply syntactic sugar for `ipUse (IPName :: "x")`, and we type check it in exactly that way. `ipDef` is used when we process implicit parameter bindings---it's only there to add the newtype constructor.
11:51 PM Changeset in ghc [028bc9d5]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Move implicit parameter syntactic sugar to HsUtils. Also, insert the appropriate use of "ipDef" in module TcBinds.
10:45 PM Changeset in ghc [ef04014]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Display `IP "x" a` predicates as `?x :: a`. I added this to `ppr_type` instead of `pprTcApp` because I needed to match on the string literal type to extract the name. `pprTcApp` is completely polymorphic in its parameters so the matching there does not work.
10:21 PM Changeset in ghc [9c98fa6]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Desugar `?x :: t` into `IP "x" t`. Note that the `IP` constraint requires a "flexible" context/instance, which is why when -XImplictParams is on, it also turns on -XFlexibleInstances and -XFlexibleContexts
10:09 PM Changeset in ghc [b348010]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Simplify the type-checking of an implicit parameter. Instead of manually constructing the instantiation of the IP method, we desugar "?x" into "ipUse (IPName :: IPName "x") and type-check as usual. These functions are defined in GHC.IP like this: data IPName (name :: Symbol) = IPName ipUse :: IP x a => IPName x -> a ipUse = ...
6:04 PM Changeset in ghc [c87371b1]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Specify the libdir to use when building libffi Fixes the build on platforms that default to using a directory called lib64. Reported by Gabriel Dos Reis.
5:50 PM Changeset in ghc [278bc1d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Updates for haskeline-0.7's new MonadException API.
3:38 PM Changeset in base [61409f0]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use expect_broken rather than expect_fail in testsuite driver
3:38 PM Changeset in ghc [0eacc7f0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Use expect_broken rather than expect_fail in testsuite driver
10:47 AM Changeset in ghc [d0d0c36]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix problems with getMonotonicNSec on OS X We were incorrectly multiplying by 1e9, which (a) meant we were getting values that were far too large, and (b) meant that when we casted from double to StgWord64 the result was 0, as the value was out of range. We now do all the work as StgWord64.
9:28 AM Ticket #6125 (GHCi crash) created by guest
I received the following message about a crash while running ghci. I'm …
12:31 AM Changeset in ghc [13748fc]imp-param-class by Iavor S. Diatchki <diatchki@…>
Change `let ?x = ...` to use the `IP` class. XXX: Technically, the IP bindings that define the values of the implicit parameters should be cast to a dictionary for the class (see `mkIPBox` in module `MkCore`). At the moment we don't do this, which is not quite right (although things still work because the value and the dictionary are represented in the same way).
12:26 AM Changeset in ghc [2bc826b0]imp-param-class by Iavor S. Diatchki <diatchki@…>
Change `isIPPred` to test for the new `IP` class.

May 25, 2012:

8:08 PM Changeset in ghc [0d3c52d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
8:08 PM Changeset in testsuite [bd2ca97e]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:53 AM Ticket #6123 (occurs check should not apply to type families) closed by simonpj
fixed
10:47 AM Changeset in ghc [535ad9d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6123, and improve an error message in T2627b
10:47 AM Changeset in testsuite [4e07a12]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6123, and improve an error message in T2627b
10:45 AM Changeset in ghc [05289c2]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve occurs-check error reporting (fix Trac #6123) We were wrongly reporting (a ~ F a) as an occurs-check error when F is a type function.
9:33 AM Changeset in ghc [20ff5054]supercompiler by Max Bolingbroke <batterseapower@…>
Start to try to make type generalisation work. SC will currently crash a lot because I'm working out the termination issues
9:32 AM Changeset in ghc [8e6ef76]supercompiler by Max Bolingbroke <batterseapower@…>
Always allow type/coercion instantiation in MSG as experiment
9:17 AM Status/SLPJ-Tickets edited by simonpj
(diff)
4:09 AM Ticket #6124 (Spurious non-exhaustive warning with GADT and newtypes) created by joeyadams
This may be related to #3927 or similar, but here's another case where the …
4:07 AM Ticket #6123 (occurs check should not apply to type families) created by dmwit
This code: […] gives this error: […] whereas I think it should be …

May 24, 2012:

11:59 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:36 PM LightweightConcurrency edited by kc
(diff)
10:36 PM LightweightConcurrency edited by kc
(diff)
10:35 PM LightweightConcurrency edited by kc
(diff)
9:34 PM Changeset in ghc [a9ea1fe]imp-param-class by Iavor S. Diatchki <diatchki@…>
We turn implicit parameters into uses of the IP class method.
9:33 PM Changeset in ghc [0eb3bb3]imp-param-class by Iavor S. Diatchki <diatchki@…>
Add references to the implicit parameter class in the GHC.IP
9:32 PM Changeset in base [5126528]imp-param-class by Iavor S. Diatchki <diatchki@…>
Add a class to be used for implementing implicit parameters.
2:47 PM LightweightConcurrency edited by kc
(diff)
1:09 PM Ticket #6118 (Kind variable falls out of scope in instance declaration) closed by simonpj
fixed: OK I've fixed the bug. But I did have to add -XUndecidableInstances to …
1:07 PM Ticket #6120 (GHC 7.4 improperly parses DEPRECATED pragma as ambiguous (regression)) closed by simonpj
fixed: Thanks for pointing this out. Now fixed.
1:04 PM Changeset in ghc [77066aca]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6120
1:04 PM Changeset in testsuite [fd30482]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6120
11:29 AM Changeset in ghc [b7892a1e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles in debug output
11:29 AM Changeset in testsuite [d3c5450]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles in debug output
11:29 AM Changeset in ghc [2c363f48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Extend test for Trac #2713 (cf Trac #6120)
11:29 AM Changeset in testsuite [5ea2c02]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Extend test for Trac #2713 (cf Trac #6120)
11:28 AM Changeset in ghc [bc188bbd]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the treatment of signatures (incl fixity) This fixes Trac #6120. I've added comments to explain. Turns out there was another lurking bug, also fixed, and tested in (an extended version of) th/T2713.
11:27 AM Changeset in ghc [0d9c2e8c]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix an assertion failure in the stage2 compiler Rather an unsavory fix, but will go away when we do the major TH reorganisation from my blog post.
11:26 AM Changeset in ghc [aa487406]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles from 'Fix scoping of kind variables in instance declarations' This earlier commit 6a8b4290 * Fix scoping of kind variables in instance declarations make became a bit more rigourous about ensuring that the kind-variable field of LHsTyVarBndrs was properly filled after renaming. This patch fixed DsMeta to follow suit.
11:22 AM Changeset in ghc [677a3ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:22 AM Changeset in testsuite [81f799c]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
11:21 AM Changeset in ghc [13e4927e]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/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:16 AM Changeset in ghc [688f213]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
I think this is a hack, but it ensures the hole gets the tidied type. (For example, [a] instead of [a_d].)
9:44 AM Changeset in ghc [33feb9e7]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fix the incorrect abstraction over holes. This caused: f x = _ To get the type: f :: t1 -> t -> t1 Now it's: f :: t -> t1 As it should.
8:45 AM Status/SLPJ-Tickets edited by simonpj
(diff)
12:56 AM Ticket #6045 (GHC 6.10.4 panic when compiling she-0.6) closed by igloo
fixed: Thanks michalt; I'll close this as fixed, then.

May 23, 2012:

11:00 PM LightweightConcurrency edited by kc
(diff)
5:38 PM LightweightConcurrency edited by kc
(diff)
3:29 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
3:28 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
2:08 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
2:05 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
2:01 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
1:58 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
1:54 PM LightweightConcurrency edited by kc
(diff)
1:51 PM LightweightConcurrency edited by kc
(diff)
12:14 PM Changeset in ghc [ac371fe]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept output
12:14 PM Changeset in testsuite [a95c63d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept output
11:34 AM Changeset in ghc [0a0087a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test for #6105
11:34 AM Changeset in testsuite [6ed0586]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #6105
11:34 AM Changeset in ghc [634fb8d3]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
escape(): don't forget the final '\0' Hopefully should fix random "bad heap profile" failures in the nightly builds.
10:00 AM Changeset in ghc [05a8253d]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Simplify the implementation of Holes: remove the HolePred, HoleTyCon and immediately emit an insoluble constraint. Currently not working yet, the hole constraints are abstracted over causing incorrect types. Something about substituting is still failing.
9:29 AM Ticket #6122 (INLINE pragma not obeyed) created by augustss
GHC seems to decide that it knows better than I when I put INLINE on a …
9:22 AM Ticket #6121 (Very poor constant folding) created by augustss
GHC seems to lack constant folding for encodeFloat/decodeFloat. For many …
7:47 AM Commentary edited by simonpj
(diff)
7:46 AM Commentary edited by simonpj
(diff)
7:45 AM Commentary edited by simonpj
(diff)
7:45 AM Commentary edited by simonpj
(diff)
5:37 AM LightweightConcurrency edited by kc
(diff)
5:36 AM LightweightConcurrency edited by kc
(diff)
5:27 AM LightweightConcurrency edited by kc
(diff)
4:32 AM LightweightConcurrency edited by kc
(diff)
4:31 AM LightweightConcurrency edited by kc
(diff)
4:16 AM LightweightConcurrency edited by kc
(diff)
4:13 AM LightweightConcurrency edited by kc
(diff)
3:37 AM Ticket #6120 (GHC 7.4 improperly parses DEPRECATED pragma as ambiguous (regression)) created by jmillikin
According to …
2:59 AM LightweightConcurrency edited by kc
(diff)
2:46 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
12:57 AM LightweightConcurrency edited by kc
(diff)
12:55 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
12:55 AM LightweightConcurrency edited by kc
(diff)
12:54 AM LightweightConcurrency edited by kc
(diff)
12:07 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)

May 22, 2012:

11:19 PM LightweightConcurrency edited by kc
(diff)
11:11 PM LightweightConcurrency edited by kc
(diff)
11:09 PM LightweightConcurrency edited by kc
(diff)
11:05 PM LightweightConcurrency edited by kc
(diff)
10:46 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:24 PM LightweightConcurrency edited by kc
(diff)
10:23 PM LightweightConcurrency edited by kc
(diff)
10:22 PM LightweightConcurrency edited by kc
(diff)
10:21 PM LightweightConcurrency edited by kc
(diff)
10:13 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:11 PM LightweightConcurrency edited by kc
(diff)
10:11 PM LightweightConcurrency edited by kc
(diff)
10:07 PM LightweightConcurrency edited by kc
(diff)
10:06 PM LightweightConcurrency edited by kc
(diff)
10:06 PM LightweightConcurrency edited by kc
(diff)
10:05 PM LightweightConcurrency edited by kc
(diff)
9:16 PM LightweightConcurrency edited by kc
(diff)
9:15 PM LightweightConcurrency edited by kc
(diff)
9:08 PM LightweightConcurrency edited by kc
(diff)
9:05 PM LightweightConcurrency edited by kc
(diff)
8:47 PM LightweightConcurrency edited by kc
(diff)
7:27 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
7:23 PM LightweightConcurrency edited by kc
(diff)
7:19 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
7:16 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
6:32 PM LightweightConcurrency edited by kc
(diff)
4:41 PM Changeset in ghc [ffe4372]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix a testsuite driver failure on cygwin
4:41 PM Changeset in testsuite [72d0a46]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix a testsuite driver failure on cygwin
2:41 PM Changeset in ghc [a48be46]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Abstract out a Ppr Inline instance
2:18 PM Changeset in ghc [2118d80]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6118
2:18 PM Changeset in testsuite [b7ada1c5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6118
2:15 PM Changeset in ghc [44febbc]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:14 PM Changeset in ghc [1050b33]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
2:14 PM Changeset in ghc [6a8b4290]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix scoping of kind variables in instance declarations Fixes Trac #6118
1:46 PM Changeset in ghc [22b51da]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build
1:01 PM Changeset in ghc [285a5e2]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix warning
12:46 PM Changeset in ghc [6994ed9d]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix path to ar on Windows
12:29 PM Ticket #6116 (ctrl-c doesn't always work when entering text in ghci) closed by simonmar
fixed
11:42 AM Changeset in ghc [4b523bc1]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't remove the thread from interruptTargetThread on ^C (#6116)
11:42 AM Changeset in ghc [d82da293]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Read the source file timestamp *before* preprocessing (#6106)
11:42 AM Changeset in ghc [b640ba9c]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Accept the old -package-conf flags for backwards compatibility
11:42 AM Changeset in ghc [c95342c]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
checkStability: respect -fforce-recomp (#6105)
11:17 AM Changeset in ghc [1c2954c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test for #6106
11:17 AM Changeset in ghc [ee2f63d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
dead code: guess_compiler_flags()
11:17 AM Changeset in ghc [856e916]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Go back to using -no-user-package-conf for a while So that we can still use the testsuite with older compilers. We should really test the GHC version, but I don't want to add another $(shell). Maybe modifying ghcconfig.hs would be better.
11:17 AM Changeset in testsuite [204fb76]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #6106
11:17 AM Changeset in testsuite [28415e1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
dead code: guess_compiler_flags()
11:17 AM Changeset in testsuite [3804864]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Go back to using -no-user-package-conf for a while So that we can still use the testsuite with older compilers. We should really test the GHC version, but I don't want to add another $(shell). Maybe modifying ghcconfig.hs would be better.
3:50 AM Ticket #6119 (complain when ghc-pkg doesn't find any matching packages in a given ...) created by dmwit
Currently, ghc-pkg list will print something like the following when no …
1:50 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
1:41 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)

May 21, 2012:

11:28 PM Changeset in ghc [f906b91]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Follow the move of the Word type to ghc-prim
11:27 PM Changeset in ghc [9a6b8e4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Accept output for mc22 I'm not entirely sure why it changed, but I think it's OK.
11:27 PM Changeset in testsuite [a7acfb5f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output for mc22 I'm not entirely sure why it changed, but I think it's OK.
11:25 PM Ticket #6118 (Kind variable falls out of scope in instance declaration) created by goldfire
Consider the following code: […] The instance for Maybe fails …
11:22 PM Changeset in ghc [3e512f2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Follow the move of Word from base to ghc-prim
11:22 PM Changeset in testsuite [93d8357]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Follow the move of Word from base to ghc-prim
10:20 PM Changeset in ghc [312bd1c6]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in ghc-prim [5291677]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in base [dc521b8]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in ghc [fda6ab9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:12 PM LightweightConcurrency edited by kc
(diff)
8:39 PM LightweightConcurrency edited by kc
(diff)
8:38 PM LightweightConcurrency edited by kc
(diff)
7:41 PM Changeset in base [efb2439]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use Word literals directly, rather than converting Int literals
7:41 PM Changeset in ghc [c06e2a4]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Use Word literals directly, rather than converting Int literals
7:29 PM Changeset in base [91b37f0]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some more specialise-Int code
7:29 PM Changeset in ghc [5fdb0b5]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Remove some more specialise-Int code
7:16 PM Changeset in base [d277e19]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some commented out code Commented out since 2005, so doesn't seem worth maintaining it
7:16 PM Changeset in ghc [c2f6f892]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Remove some commented out code Commented out since 2005, so doesn't seem worth maintaining it
7:00 PM Changeset in base [14fd361]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some unnecessary Int specialised values We no longer need zeroInt and friends
7:00 PM Changeset in ghc [6fcc554b]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Remove some unnecessary Int specialised values We no longer need zeroInt and friends
5:53 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
5:52 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
5:49 PM Commentary/GSoCMultipleInstances created by phischu
5:02 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:56 PM LightweightConcurrency edited by kc
(diff)
4:53 PM LightweightConcurrency edited by kc
(diff)
4:46 PM LightweightConcurrency edited by kc
(diff)
4:30 PM LightweightConcurrency edited by kc
(diff)
1:21 PM Ticket #5958 (Follow mtl upstream) closed by pcapriotti
fixed: GHC's repository for hoopl is now the master.
8:25 AM Ticket #6112 (ghc-pkg ignores --global-conf if --package-conf is set) closed by pcapriotti
invalid: This is the correct (and documented) behavior. When any *-conf option is …
Note: See TracTimeline for information about the timeline view.