Timeline


and

Apr 20, 2012:

7:54 PM Ticket #6027 (Allow changing fixity of new type operators) created by atnnn
Here is the problem: […] […] My solution is inspired by the …
7:39 PM Records/OverloadedRecordFields edited by andersk
Fix typo: ( → { (diff)
5:54 PM Changeset in ghc [6508697]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a couple of comments
5:41 PM Changeset in ghc [6ea9c2bb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:41 PM Changeset in testsuite [5eb210c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:38 PM Changeset in ghc [82298011]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/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:38 PM Changeset in ghc [c284511c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Move free-var info from InstDecl to FamInstDecl
5:18 PM Changeset in ghc [7b55caf8]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge branch 'master' of https://github.com/ghc/ghc
5:10 PM Changeset in ghc [7816d511]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge branch 'master' of https://github.com/xnyhps/ghc Conflicts: compiler/deSugar/DsExpr.lhs compiler/hsSyn/HsExpr.lhs compiler/iface/IfaceEnv.lhs compiler/main/HscTypes.lhs compiler/parser/Lexer.x compiler/parser/Parser.y.pp compiler/prelude/TysWiredIn.lhs compiler/rename/RnExpr.lhs compiler/rename/RnTypes.lhs compiler/typecheck/Inst.lhs compiler/typecheck/TcCanonical.lhs compiler/typecheck/TcErrors.lhs compiler/typecheck/TcExpr.lhs compiler/typecheck/TcInteract.lhs compiler/typecheck/TcMType.lhs compiler/typecheck/TcRnDriver.lhs compiler/typecheck/TcRnTypes.lhs compiler/typecheck/TcSMonad.lhs compiler/types/TyCon.lhs compiler/types/Type.lhs
4:52 PM Changeset in ghc [d4af6fed]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Unnamed holes work again (syntax is now "_"). Removed HoleName. (New commit with everything, as it's from a clean checkout)
4:43 PM Changeset in ghc [88f476b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/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
4:39 PM Ticket #5716 (Failure when using promoted data family instances) closed by simonpj
fixed: Good catch -- and a bit more awkward to fix than I expected! Simon
4:38 PM Changeset in ghc [1cd2e3e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test for second bug in Trac #5716
4:38 PM Changeset in testsuite [b739ae60]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 for second bug in Trac #5716
4:30 PM Ticket #5938 (Kind variables not allowed in type family instance declarations) closed by simonpj
fixed
4:23 PM Changeset in ghc [1be154d8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Unix line endings for T5938
4:23 PM Changeset in testsuite [29cbd4a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Unix line endings for T5938
4:21 PM Ticket #5853 (Out-of-memory crash when using RULES and type families) closed by simonpj
fixed
4:20 PM Changeset in ghc [458673e8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5853
4:20 PM Changeset in testsuite [0997234]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 #5853
4:09 PM Changeset in ghc [1d9f4918]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:09 PM Changeset in testsuite [9f555bc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:08 PM Changeset in ghc [ae2c534]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:08 PM Changeset in testsuite [8806e11]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:08 PM Changeset in ghc [d2e2e13]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
4:08 PM Changeset in testsuite [0bba26a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
4:07 PM Changeset in ghc [c163e38]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/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
4:06 PM Changeset in ghc [dda1c1b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
4:06 PM Changeset in ghc [cc5d9dc]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/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
4:05 PM Changeset in ghc [fa9fdc28]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do SCC on instance declarations (fixes Trac #5715) The trouble here is that given {-# LANGUAGE DataKinds, TypeFamilies #-} data instance Foo a = Bar (Bar a) we want to get a sensible message that we can't use the promoted 'Bar' constructor until after its definition; it's a staging error. Bud the staging mechanism that we use for vanilla data declarations don't work here. Solution is to perform strongly-connected component analysis on the instance declarations. But that in turn means that we need to track free-variable information on more HsSyn declarations, which is why so many files are touched. All the changes are boiler-platey except the ones in TcInstDcls.
2:07 PM Records edited by GregWeber
link to edward zhang's ur records explanations (diff)
7:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
6:03 AM Changeset in ghc [81526112]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Adding -ddump-avoid-vect option for vectorisation avoidance diagnostics
3:49 AM Ticket #6026 (Unboxed operators have wrong fixity) created by benl
[…]
2:02 AM Ticket #6023 (cpp symbol __GLASGOW_HASKELL__ doesn't reflect version number) closed by dterei
invalid: This is correct. The GLASGOW_HASKELL variable reflects the major & minor …

Apr 19, 2012:

10:57 PM Ticket #6025 (GHC Panic On Recompile) created by scooty-puff
Perhaps related to DataKinds or ConstraintKinds, but on rebuild …
4:12 PM Ticket #6024 (Allow defining kinds alone, without a datatype) created by dreixel
Sometimes we want to define a kind alone, and we are not interested in the …
3:47 PM Ticket #6023 (cpp symbol __GLASGOW_HASKELL__ doesn't reflect version number) created by josef
I've just installed ghc 7.4.1 and it seems to get the value of the …
3:13 PM Changeset in ghc [d1060a0d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Add newline to the end of file
2:28 PM Ticket #5999 (2.54, 2.55) closed by luite
fixed: seems to be fixed now in the latest 7.4 branch, thanks!
10:40 AM Ticket #6019 ('threadDelay maxBound' results in 'internal error: select failed') closed by pcapriotti
fixed: Thanks for the report. Cannot reproduce on the HEAD. I presume it's fixed …
9:05 AM Ticket #5994 (Consider adding a flag to ghc's configure to automatically bootstrap and ...) closed by simonmar
fixed: The cabal-install release is now out, and our plan is to make sure this …
8:08 AM Ticket #5969 (Runtime crashes on parallel execution, GHC 7.0.4-7.4.1) closed by simonmar
invalid: After some investigation this appears to be a bug in the hexpat package. …
7:30 AM Ticket #6022 (GHC infers over-general types) created by simonpj
Consider […] GHC will (with no flags) will compile this …
4:42 AM Ticket #6021 (panic with scoped kind variables) created by atnnn
Thanks for the scoped kind variables. When they get confused with type …
1:00 AM Ticket #6020 ("Couldn't match kind" with free type variables and PolyKinds) created by atnnn
In the following code, I was hoping that GHC could infer the more specific …

Apr 18, 2012:

7:27 PM Ticket #6019 ('threadDelay maxBound' results in 'internal error: select failed') created by shahn
When compiling and running this program: […] , I get a crash and the …
4:22 PM Ticket #6018 (Injective type families) created by lunaris
Injective type families have been discussed several times on the mailing …
4:13 PM Ticket #6017 (Reading ./.ghci files raises security issues) created by nomeata
GHCi will execute .ghci files in the current directory, and this can be …
8:03 AM Ticket #6016 (On Windows, runhaskell hits an error on UTF-8 files with a BOM) created by vsajip
The file […] works on Windows as expected: […] However, if the …
6:40 AM Ticket #6015 ("No instance" when using PolyKinds/DataKinds/FunDeps/Undecidable) created by atnnn
Consider this GHCi session: […] It would be helpful if GHC could use …

Apr 17, 2012:

8:52 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:51 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:51 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:37 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:34 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:08 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:08 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:02 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:01 PM TypeNats/SingletonsAndExistentials created by diatchki
7:51 PM TypeNats edited by diatchki
(diff)
7:02 PM Ticket #6014 (Crash; message says to report it, here it is.) created by guest
[…] ----- fact2.hs is this: […]
6:08 PM Ticket #5865 (threadDelay is disrupted by system clock changes) closed by pcapriotti
fixed: Pushed in GHC: […] and base: […]
6:07 PM Ticket #3867 (ghc: panic! (linkBCO: >= 64k ptrs)) closed by pcapriotti
fixed: Pushed: […]
6:03 PM Changeset in base [4bea82c]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Replace getUSecOfDay with monotonic timer (#5865)
6:03 PM Changeset in base [a865c6c]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add timer initialization for darwin.
6:03 PM Changeset in base [f87f285]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Define monotonic time function for Darwin.
4:56 PM Ticket #6013 (the 'impossible' happened) closed by pcapriotti
duplicate: Thanks for the report. The problem in the code is that Show should be …
4:43 PM Ticket #6011 (Panic when using a type synonym) closed by pcapriotti
fixed: Added testcase (ac83e5b373f53c6ad526f2a26462ab25b2b5a9de).
4:42 PM Changeset in ghc [8f2d1112]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #6011.
4:42 PM Changeset in testsuite [ac83e5b3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #6011.
4:38 PM Ticket #6013 (the 'impossible' happened) created by tlvb
Please forgive me if this is a duplicate or irrelevant, bug reporting and …
10:54 AM Ticket #6009 (The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- ...) closed by igloo
wontfix: As far as I know, building on 10.5 will work if you have a working GHC …
6:31 AM Ticket #6012 (No warning for Incorrect display of 15! (factorial 15) when type is Int -> ...) closed by dterei
invalid: 1) Calm down. 2) Please check the Haskell language specification. Int is …

Apr 16, 2012:

11:58 PM Ticket #6012 (No warning for Incorrect display of 15! (factorial 15) when type is Int -> ...) created by George.Atelier
GHCi version: 7.0.4 Offending function: factorial :: Int -> Int …
10:46 PM Ticket #6011 (Panic when using a type synonym) created by mm_freak
I'm getting the following "the impossible happened" error when trying to …
6:48 PM Changeset in ghc [6ba8b330]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix operand expansion function.
2:30 PM Changeset in ghc [5aa1ae2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify the typechecking of RULES Not only does this fix Trac #5853, but it also eliminate the horrid SimplEqsOnly part of the constraint simplifier. The new plan is described in TcRules Note [Simplifying RULE constraints]
2:27 PM Changeset in ghc [68b4a09]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify construction of equality predicates There was an ASSERT which does not hold during type checking (and should not) which is later checked by Core Lint
2:22 PM Ticket #5810 (OSX Lion building 7.4 head causes Haddock Divide By Zero) closed by pcapriotti
fixed: Merged as 9febee4d65728d1613cd5c54e80100c09d65b9b9.
2:19 PM Changeset in ghc [d5ec296]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Implemented word-sized addressing of pointers and literals.
2:19 PM Changeset in ghc [6dc22bfa]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Support large SLIDE instructions. The bytecode generator used to keep track of the stack depth with a 16-bit counter, which could overflow for very large BCOs, resulting in incorrect bytecode. This commit switches to a word-sized counter, and eagerly panics whenever an operand is too big, instead of truncating the result. This allows us to work around the 16-bit limitation in the case of SLIDE instructions, since we can simply factor it into multiple SLIDEs with smaller arguments.
2:19 PM Changeset in ghc [e408f4f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Export State monad transformer from ByteCodeItbls.
2:19 PM Changeset in ghc [f8d4882]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Bytecode assembler refactoring. Use a free monad to specify the assembling procedure, so that it can be run multiple times without producing side effects. This paves the way for a more general implementation of variable-sized instructions, since we need to dry-run the bytecode assembler to determine the size of the operands for some instructions.
2:18 PM Changeset in ghc [5ba7db93]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Use monotonic clock in Select.c (#5865)
2:18 PM Changeset in ghc [e57d23d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Use monotonic time function for darwin (#5865)
1:47 PM Changeset in base [2f308f5]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Use monotonic time in Event/Manager.hs.
1:29 PM SIMD edited by gmainland
(diff)
1:27 PM Ticket #5993 (Segfault with threaded runtime and low +RTS -k) closed by pcapriotti
fixed: Merged as 48c3d271fe14380000f81f21e03bf7d77b9af16f.
1:27 PM SIMD/Implementation/Plan edited by gmainland
(diff)
1:26 PM Changeset in integer-gmp [9febee4]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Updated to a newer version of gmp; fixes #5810 I didn't diagnose the problem, but with the newer GMP the problem seems fixed. There are a couple of things that look like candidates for the bug: * A few minor bugs related to portability fixed. * A bug in division code possibly causing incorrect computation was fixed. MERGED from commit 552504663774d4ad2528d466f08841b5b78c7518
1:26 PM SIMD/Implementation/Old edited by gmainland
(diff)
1:25 PM SIMD/Implementation/Llvm edited by gmainland
(diff)
1:23 PM SIMD/Design edited by gmainland
(diff)
1:19 PM SIMD edited by gmainland
(diff)
1:11 PM Commentary edited by gmainland
(diff)
1:10 PM Commentary/Compiler/Backends/LLVM edited by gmainland
Link to correct overview page (diff)
1:02 PM SIMDVectorExampleInLLVM edited by gmainland
Add redirection (diff)
1:02 PM SIMD/LlvmExample created by gmainland
Copy from SIMDVectorExampleInLLVM
1:00 PM VectorComputing edited by gmainland
Add redirection (diff)
1:00 PM SIMD/Implementation/Old created by gmainland
Copy from VectorComputing
12:59 PM SimdLlvm edited by gmainland
Add redirection (diff)
12:58 PM SIMD/Implementation/Llvm created by gmainland
Copy from SimdLlvm
12:50 PM SIMDPlan edited by gmainland
Note redirection. (diff)
12:36 PM SIMD/Implementation/Status created by gmainland
12:34 PM SIMD/Implementation/Plan created by gmainland
12:23 PM SIMD/Design created by gmainland
9:35 AM Ticket #5072 (Segfault on OS X in interpreted code) closed by simonmar
worksforme: Closing - 6 months with no further info and nobody else complaining.
9:14 AM Changeset in ghc [f49c76e]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update 7.4.2 release notes.
8:33 AM Ticket #6010 (GHC.Conc.labelThread function can't use Unicode character for thread ...) created by shelarcy
Debug.Trace.traceEventIO fucntion uses UTF-8 encoding for outputing …

Apr 15, 2012:

8:19 PM Ticket #6009 (The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- ...) created by InvisibleTech
I have been using homebrew package manager for OS X 10.5.8 for installing …
Note: See TracTimeline for information about the timeline view.