Timeline


and

Sep 27, 2012:

10:22 PM Changeset in ghc [54f3537]cardinality by Ilya Sergey <Ilya.Sergey@…>
a bug with absent free variables fixed; first working cardinality analysis
2:21 PM Changeset in ghc [8b7e0b3f]supercompiler by Max Bolingbroke <batterseapower@…>
Some comments + changes in how often we instance-match
1:06 PM Changeset in ghc [42cb30bd]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:06 PM Changeset in ghc [155e9e1]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Document that we don't warn about defining deprecated class methods
1:00 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:58 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:59 AM Ticket #6014 (Crash; message says to report it, here it is.) closed by igloo
worksforme: No response from submitter, so closing.
11:50 AM Ticket #5953 (Program execution fails with runtime error.) closed by igloo
wontfix: I'm afraid there's really not much we can do without a way to reproduce …
7:21 AM Ticket #7272 (PolyKinds and mutually recursive modules) created by dreixel
A.hs […] A.hs-boot […] B.hs […] Leads to: […] The problem …
1:06 AM Changeset in ghc [c7b561f]cardinality by Ilya Sergey <Ilya.Sergey@…>
a bug with lazy FVs fixed
1:01 AM Changeset in ghc [6e6da3a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Tweak the build system handling of shell wrappers Rather than having a separate foo_INSTALL_SHELL_WRAPPER variable, we just use foo_INSTALL && foo_SHELL_WRAPPER
12:50 AM Changeset in ghc [7724ecb7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Remove a stray " in the build system

Sep 26, 2012:

11:59 PM Ticket #1884 (Win64 Port) closed by igloo
fixed: Thanks for the reminder; this is indeed now fixed!
11:55 PM Changeset in ghc [aa2d5b5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Remove an unused bit from the Lexer bitmap
10:09 PM Changeset in ghc [1175d35]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Tweak #367 tests to use -fno-omit-yields and expect passes. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:09 PM Changeset in testsuite [3dcdae9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Tweak #367 tests to use -fno-omit-yields and expect passes. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:46 PM Changeset in ghc [d3128bf]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Edward Z. Yang <ezyang@…>
Partially fix #367 by adding HpLim checks to entry with -fno-omit-yields. The current fix is relatively dumb as far as where to add HpLim checks: it will always perform a check unless we know that we're returning from a closure or we are doing a non let-no-escape case analysis. The performance impact on the nofib suite looks like this: Min +5.7% -0.0% -6.5% -6.4% -50.0% Max +6.3% +5.8% +5.0% +5.5% +0.8% Geometric Mean +6.2% +0.1% +0.5% +0.5% -0.8% Overall, the executable bloat is the biggest problem, so we keep the old omit-yields optimization on by default. Remember that if you need an interruptibility guarantee, you need to recompile all of your libraries with -fno-omit-yields. A better fix would involve only inserting the yields necessary to break loops; this is left as future work. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:06 PM Changeset in ghc [2addd844]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak debug output
7:03 PM Changeset in ghc [58d86ee]supercompiler by Max Bolingbroke <batterseapower@…>
Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though)
7:02 PM Changeset in ghc [46b9179]supercompiler by Max Bolingbroke <batterseapower@…>
Fix stupid typo in MSG that was causing even stupider tiebacks
5:59 PM Changeset in ghc [393c15fb]cardinality by Ilya Sergey <Ilya.Sergey@…>
proper comment added
5:15 PM Changeset in ghc [6570f28]cardinality by Ilya Sergey <Ilya.Sergey@…>
aggregating added
5:02 PM Changeset in ghc [3431c3c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix some potential loops in supercompilation, make matching succeed more often
4:54 PM Changeset in ghc [2145ffc4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Build old-time with stage2 It's no longer needed in order to build the compiler itself.
11:32 AM Ticket #7182 (Control.Monad.ST module description should reference Data.STRef) closed by simonmar
fixed: Fixed: […]
8:05 AM Changeset in ghc [9c15249e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
fix stage2 compilation
7:25 AM Ticket #7271 (Panic with strictness annotation) closed by simonpj
fixed: I've modified #7210 to get it merget to 7.6

Sep 25, 2012:

11:20 PM Changeset in ghc [d632813]cardinality by Ilya Sergey <Ilya.Sergey@…>
one more typo fixed
10:57 PM Changeset in ghc [891e4dc7]cardinality by Ilya Sergey <Ilya.Sergey@…>
more typos in comments fixed
10:28 PM Ticket #7271 (Panic with strictness annotation) created by acowley
This code […] results in a ghc: panic~ (the 'impossible' happened) in …
10:17 PM Changeset in process [8d7a7c2]ghc-7.8 by Ian Lynagh <ian@…>
Add .,/ to the list of characters that showCommandForUser allows unquoted
7:27 PM Changeset in ghc [47950ff4]cardinality by Ilya Sergey <Ilya.Sergey@…>
typos in the notes fixed
7:24 PM Changeset in ghc [d9e3605]cardinality by Ilya Sergey <Ilya.Sergey@…>
Merge branch 'new-demand-to-merge' of darcs.haskell.org:/srv/darcs/ghc into cardinality
7:24 PM Ticket #7260 (directory-1.1.0.2 fails to build on ghc 7.0.3) closed by sopvop
wontfix: Actually it can't be built on 7.0.3 at all, because fileSystemEncoding …
7:12 PM Changeset in ghc [a0038979]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Add support for per-test timeout adjustment (timeout_multiplier), and tighten up #367 test. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:12 PM Changeset in testsuite [88d9bcb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Add support for per-test timeout adjustment (timeout_multiplier), and tighten up #367 test. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:17 PM Changeset in ghc [afcff010]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
a problem with lambda-lifted join points solved
3:53 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
3:33 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) closed by duncan
fixed: Committed to the upstream bytestring repo. So it'll be fixed in the next …
3:13 PM Changeset in ghc [3473e21]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
When -split-objs is on, make one SRT per split, not one per module This is a hopefully temporary measure until the new SRT design is implemeented.
3:13 PM Changeset in ghc [16206a6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
Remove some old-codegen cruft
8:56 AM Changeset in ghc [93faddc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
fix panic message typo
7:45 AM Status/SLPJ-Tickets edited by simonpj
(diff)

Sep 24, 2012:

9:39 PM Changeset in ghc [48b4b88d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Failing (by timeout) tests for #367. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:39 PM Changeset in testsuite [fbd0aaa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Failing (by timeout) tests for #367. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:11 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) created by ocheron
The following program does not give the same result with -O2 and without: …
6:14 PM Commentary/Compiler/StgSynType edited by ezyang
Elaborate a little on let-no-escape based on StgSyn?.lhs (diff)
4:46 PM Ticket #7269 (GeneralizedNewtypeDeriving and PolyKinds) created by dreixel
The following code […] fails with this error: […] I believe this …
4:39 PM Ticket #7268 (Explicit type signatures for top level record pattern matches polymorphism ...) created by TristanAllwood
Consider the following module, which declares a record with two fields …
1:07 PM Ticket #7265 (directory 1.2.0.0 build fails on 7.4.2) closed by simonmar
duplicate: dup of #7262
12:56 PM Changeset in ghc [50ac991]cardinality by Ilya Sergey <Ilya.Sergey@…>
more changes in the analyzer documented
12:51 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
12:50 PM GhcKinds/PolyTypeable edited by dreixel
Update milestones (diff)
11:27 AM Changeset in process [007fb05]ghc-7.8 by Simon Marlow <marlowsd@…>
Documentation for signal exit codes (#7229)
11:11 AM Changeset in process [9547cf4]ghc-7.8 by Simon Marlow <marlowsd@…>
Test for #7229
10:12 AM Changeset in ghc [5cf71826]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
Misc tidyup
9:58 AM Changeset in ghc [254f1a6c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
whitespace and panic message fixup
9:58 AM Changeset in ghc [b4829665]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
Generate better code for "if (3 <= x) then ..."
9:58 AM Changeset in ghc [3596d5d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
whitespace only
9:13 AM Ticket #7254 (Parallel processing and the -Nn flag) closed by simonmar
wontfix: There are occasionally reasons to want to use a higher -N value than the …
8:51 AM Changeset in ghc [acdebbb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
no functional changes
8:51 AM Changeset in process [f81f468]ghc-7.8 by Simon Marlow <marlowsd@…>
remove ^Ms
8:50 AM Changeset in process [5403824]ghc-7.8 by Simon Marlow <marlowsd@…>
Use (128+signal) as the exit code when a proc terminates due to a signal (#7229)
8:36 AM Ticket #7267 (linux-ppc64: Segfault during stage2 build) created by erikd
Build segfaults during the command: […] Running under GDB and …
8:22 AM Changeset in ghc [faec924a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add a perf test for #7257
8:22 AM Changeset in testsuite [ae076b7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add a perf test for #7257
8:22 AM Changeset in ghc [673b6f50]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
Revert "Disable the timer signal while blocked in select() (#5991)" This reverts commit dd24d6bc37879c6b32a3d5ac4ee765e59e13501c. This attempt to fix the problem was misguided: the program might be stuck in a foreign call rather than awaitEvent(), and then the timer signal will never get disabled. The only way to turn off the timer signal in this case is in the timer interrupt handler itself.
8:22 AM Changeset in ghc [0b79d5c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 Marlow <marlowsd@…>
Another overhaul of the recent_activity / idle GC handling (#5991) Improvements: - we now turn off the timer signal in the non-threaded RTS after idleGCDelay. This should make the xmonad users on #5991 happy. - we now turn off the timer signal after idleGCDelay even if the idle GC is disabled with +RTS -I0. - we now do *not* turn off the timer when profiling. - more comments to explain the meaning of the various ACTIVITY_* values
6:02 AM Ticket #7266 (Allow fractional-looking integer literals) created by shachaf
Haskell 2010 (2.5, 6.4.1) specifies that there are integer literals and …

Sep 23, 2012:

9:34 PM Changeset in ghc [7ba13fa]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Follow GHC change: No deprecated warnings for defining class methods
9:34 PM Changeset in testsuite [2fc7e7c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Follow GHC change: No deprecated warnings for defining class methods
8:46 PM Changeset in ghc [096c29d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Ignore deprecation warnings for bitSize in libs when validating
8:45 PM Changeset in base [701d9ed]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Deprecate bitSize
8:45 PM Changeset in ghc [ca64cee6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Use finiteBitSize rather than bitSize when it is available
8:29 PM Ticket #7265 (directory 1.2.0.0 build fails on 7.4.2) created by akaspin
Multiple errors: Ambiguous occurrence `try' It could refer to either …
8:09 PM Changeset in ghc [4bda967]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Don't warn about defining deprecated class methods We only warn when the method is used, not when it is defined as part of an instance.
7:01 PM Ticket #7264 (Adding GHC's inferred type signatures to a working program can make it ...) created by guest
[…] Without the commented-out type signature, the program typechecks …
1:52 PM Changeset in ghc [6cf0e21]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/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 <ian@…>
Whitespace only in rename/RnSource.lhs
12:30 PM Ticket #7263 (Add derived Show instances to GHC.Generics) created by dag
This would make it easier to learn to use generics by exploration from …
12:28 PM Changeset in base [cddc902]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Add bitSizeMaybe to Bits, and add FiniteBits class
4:06 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:05 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:04 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:01 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:01 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
3:55 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
3:30 AM TypeNats/MatchingOnNats created by diatchki
3:02 AM TypeNats edited by diatchki
(diff)

Sep 22, 2012:

11:35 PM Changeset in ghc [6be77831]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add custom improvement rule for `FromNat1`. When we see `FromNat1 x ~ y` and we can prove that `1 <= y` we generate a derived contraint `x = Succ a` from a new flexible variable `a`. This follows from the injectivity of the function. Note that this is similar to what happens with fun.deps. in GHC: it should work fine when we are doing type inference but is likely to fail with given constraints because "derived" facts do not interact with givens. It is interesting that we could add a rule to do this properly (i.e., with a proof) but the rule would need an existential (i.e., would introduce a skolem variable) and e don't have support for this at present: forall a b. exists c. (FromNat1 a ~ b, 1 <= b) => a ~ Succ c
8:31 PM Ticket #7262 (directory 1.2 fails to build with base < 4.6) created by sopvop
Old base still has try and catch in Prelude and System.IO.Error which …
6:46 PM Changeset in ghc [5b73674a]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Bugfix: don't generate infinitely many obvious facts.
6:43 PM Changeset in ghc [1fa0796]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Some rules (partially) specifying that FromNat1 is injective.
6:42 PM Changeset in ghc [b7203d7]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add type constructors for unary view of type-level nats.
6:41 PM Changeset in ghc [80edd5a]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add names for types/functions for unary of type-level nats.
6:38 PM Changeset in ghc [014a2d2b]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
(for debuging) Make it easier to switch traces on and off
6:35 PM Changeset in ghc [fca0545]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Just a note.
11:56 AM Ticket #7251 (ghc: unrecognised flags: -fdph-par) closed by chak
invalid: Sorry, we need to update the documentation. Please use "-package …
Note: See TracTimeline for information about the timeline view.