Timeline


and

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 ghc [1fd0c2e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Replace getUSecOfDay with monotonic timer (#5865)
6:03 PM Changeset in ghc [22307c1]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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.
6:03 PM Changeset in ghc [666bba8]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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 [d5ec2967]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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:47 PM Changeset in ghc [386d3e2]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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 …

Apr 14, 2012:

8:50 PM Ticket #6008 (ghc: panic! (the 'impossible' happened)) created by jtb
Hello, I get the following output in ghci ordering me to report this bug: …
8:23 AM Ticket #6007 (ghci: Importing specific non-existent names from a module breaks later ...) created by josh
At the ghci prompt, attempting to import specific non-existent names from …
3:21 AM Ticket #6006 (hs_init(NULL, NULL) segfaults on latest snapshot) created by ezyang
This weeny program crashes: […] Old versions of GHC accomodate null …

Apr 13, 2012:

9:14 PM Changeset in ghc [c1e5ca5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/polykinds/all.T
9:14 PM Changeset in testsuite [dbb7430]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 Conflicts: tests/polykinds/all.T
9:09 PM Changeset in ghc [70665778]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message
9:09 PM Changeset in testsuite [01780b5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
9:06 PM Changeset in ghc [6cc2d27]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5938
9:06 PM Changeset in testsuite [6003a41]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 #5938
8:42 PM Changeset in ghc [49d0615]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/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
8:40 PM Changeset in ghc [c5554f82]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow kind-variable binders in type signatures This is the last major addition to the kind-polymorphism story, by allowing (Trac #5938) type family F a -- F :: forall k. k -> * data T a -- T :: forall k. k -> * type instance F (T (a :: Maybe k)) = Char The new thing is the explicit 'k' in the type signature on 'a', which itself is inside a type pattern for F. Main changes are: * HsTypes.HsBSig now has a *pair* (kvs, tvs) of binders, the kind variables and the type variables * extractHsTyRdrTyVars returns a pair (kvs, tvs) and the function itself has moved from RdrHsSyn to RnTypes * Quite a bit of fiddling with TcHsType.tcHsPatSigType and tcPatSig which have become a bit simpler. I'm still not satisfied though. There's some consequential fiddling in TcRules too. * Removed the unused HsUtils.collectSigTysFromPats There's a consequential wibble to Haddock too
7:47 PM Ticket #6005 (Template Haskell disallows use of promoted data constructor in same splice) created by goldfire
The following code fails to compile under GHC 7.5.20120413: […] The …
7:02 PM Commentary/Compiler/TcRnMonad edited by danbst
typo (diff)
6:53 PM Ticket #5997 (GHC fails to make function tail recursive) closed by simonpj
duplicate: Thanks. Turns out to be a dup of #5920. But I'll add this as a second …
6:08 PM Ticket #6004 (dph-lifted-vseg package doesn't provide Data.Array.Parallel.Prelude.Float ...) created by shelarcy
dph-lifted-copy package and old dph-par package provide …
4:38 PM Changeset in ghc [b8ff444]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix worker/wrapper for CPR functions A long-standing and egregious bug in the worker/wrapper code meant that some functions with the CPR property weren't getting a CPR w/w. And that had the effect of making a tail-recursive function not tail recursive. As well as increasing allocation. Fixes Trac #5920, and #5997. Nofib results (highlights): Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- boyer2 -0.1% -15.3% 0.01 0.01 +0.0% mandel2 -0.0% -8.1% 0.01 0.01 +0.0% para -0.1% -11.8% -7.9% -7.8% +0.0% -------------------------------------------------------------------------------- Min -0.1% -15.3% -7.9% -7.8% -33.3% Max +0.0% +0.2% +6.3% +6.3% +3.7% Geometric Mean -0.0% -0.4% +0.1% +0.1% -0.5% Looks like a clear win. And I have not even recompiled the libraries, so it'll probably be a bit better in the ed.
11:54 AM Changeset in ghc [6bf81598]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow overlaps when -XIncoherentInstances is in force This change allows a top-level instance to be used even if there is a (potentially) overlapping local given. Which isn't fab, but it is what IncoherentInstances is *for*. This fixes the bug part of Trac #6002.
11:23 AM Changeset in base [0550a28]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by David Terei <davidterei@…>
Revert "Add GHCi monad" This reverts commit 7e04ab6158957c90e3c68911b6909b6ef69621da.
11:23 AM Changeset in ghc [6ea5981]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by David Terei <davidterei@…>
Revert "Add GHCi monad" This reverts commit 7e04ab6158957c90e3c68911b6909b6ef69621da.
10:10 AM Changeset in ghc [3377abeb]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Untabify HsTypes
9:56 AM Changeset in ghc [65f10e4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Increase the size of T3064 and upgrade 64-bit numbers accordingly
9:56 AM Changeset in testsuite [daea963]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Increase the size of T3064 and upgrade 64-bit numbers accordingly
9:53 AM Ticket #3064 (Very long compile times with type functions) closed by simonpj
fixed: So, after Dimitrios's recent changes we get […] which looks much more …
9:37 AM Changeset in ghc [e0e99f9]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Added ':runmonad' command to GHCi" Two problems, for now at any rate a) Breaks the build with lots of errors like No instance for (Show (IO ())) arising from a use of `print' b) Discussion of the approache hasn't converged yet (Simon M had a number of suggestions) This reverts commit eecd7c98c1f079c14d99ed831dff33a48ee45e67.
8:37 AM TypeNats/Basics edited by danbst
typo (diff)
6:47 AM Changeset in ghc [f98194b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
6:47 AM Changeset in testsuite [8fec245]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 Conflicts: tests/typecheck/should_fail/all.T
1:06 AM Changeset in ghc [eecd7c98]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Added ':runmonad' command to GHCi This command allows you to lift user stmts in GHCi into an IO monad that implements the GHC.GHCi.GHCiSandboxIO type class. This allows for easy sandboxing of GHCi using :runmonad and Safe Haskell. Longer term it would be nice to allow a more general model for the Monad than GHCiSandboxIO but delaying this for the moment.
12:06 AM Changeset in base [7e04ab6]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by David Terei <davidterei@…>
Add GHCi monad
12:06 AM Changeset in ghc [b297a1f]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by David Terei <davidterei@…>
Add GHCi monad
Note: See TracTimeline for information about the timeline view.