Timeline


and

Jan 13, 2014:

11:36 PM Ticket #8667 (sync-all doesn't work properly if you run from a fork on github) created by schyler
The intuitive behaviour when working with projects on github is to make …
8:20 PM Changeset in ghc [ed86b1a]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 Herbert Valerio Riedel <hvr@…>
Remove obsolete declarations from `MiscClosures.h` When `integer-gmp` was moved out of the RTS (via 1b61c2db6a8d6627577bcd7876474a0c5bd1eedb) these declarations were missed. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:32 PM Changeset in ghc [8a0f1d2]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 Herbert Valerio Riedel <hvr@…>
Adapt perf values due to [cbde8627/integer-gmp] These are slight improvements due to optimizations in `integer-gmp` (#8647) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:19 PM NestedCPR edited by nomeata
(diff)
3:23 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:18 PM Changeset in process [353a0ed]ghc-7.8 by Austin Seipp <austin@…>
Fix process010 mingw32 stdout Signed-off-by: Austin Seipp <austin@well-typed.com>
3:13 PM Changeset in ghc [d075e1c2]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Wrap `gmpz_fdiv_{q,r,qr}_ui` to optimize `div`/`mod` This is similiar to what has been done in [af2ba9c8/integer-gmp] for `gmpz_tdiv_{q,r,qr}_ui` (re #8647); However, the gain is more modest here, as performance-conscious code tends to use `quot`/`rem` rather than `div`/`mod`: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------- primetest +0.3% -2.4% 0.06 0.06 +0.0% rsa +0.2% -3.3% 0.02 0.02 +0.0% Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:13 PM Changeset in integer-gmp [cbde862]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Wrap `gmpz_fdiv_{q,r,qr}_ui` to optimize `div`/`mod` This is similiar to what has been done in [af2ba9c8/integer-gmp] for `gmpz_tdiv_{q,r,qr}_ui` (re #8647); However, the gain is more modest here, as performance-conscious code tends to use `quot`/`rem` rather than `div`/`mod`: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------- primetest +0.3% -2.4% 0.06 0.06 +0.0% rsa +0.2% -3.3% 0.02 0.02 +0.0% Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:12 PM NestedCPR edited by nomeata
(diff)
2:09 PM NestedCPR edited by nomeata
(diff)
2:03 PM NestedCPR edited by nomeata
(diff)
1:24 PM Changeset in ghc [a3616cd]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 Herbert Valerio Riedel <hvr@…>
Lower T4830/allocated_bytes due to [7bdcadda7/integer-gmp] (#8647) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:24 PM Ticket #8616 ("Internal error" with ScopedTypeVariables and kind variables) closed by simonpj
fixed: Fixed, thank you. Simon
12:23 PM Changeset in ghc [2d9be8c]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 #8616
12:01 PM Ticket #8666 (integer-gmp fails to compile on Debian Squeeze) created by jstolarek
I get an error when compiling recent HEAD on Debian Squeeze: […] I …
11:42 AM Changeset in ghc [7fdd0269]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Allocate initial 1-limb mpz_t on the Stack and introduce MPZ# type We now allocate a 1-limb mpz_t on the stack instead of doing a more expensive heap-allocation (especially if the heap-allocated copy becomes garbage right away); this addresses #8647. In order to delay heap allocations of 1-limb `ByteArray#`s instead of the previous `(# Int#, ByteArray# #)` pair, a 3-tuple `(# Int#, ByteArray#, Word# #)` is returned now. This tuple is given the type-synonym `MPZ#`. This 3-tuple representation uses either the 1st and the 2nd element, or the 1st and the 3rd element to represent the limb(s) (NB: undefined `ByteArray#` elements must not be accessed as they don't point to a proper `ByteArray#`, see also `DUMMY_BYTE_ARR`); more specifically, the following encoding is used (where `⊥` means undefined/unused): - (# 0#, ⊥, 0## #) -> value = 0 - (# 1#, ⊥, w #) -> value = w - (# -1#, ⊥, w #) -> value = -w - (# s#, d, 0## #) -> value = J# s d The `mpzToInteger` helper takes care of converting `MPZ#` into an `Integer`, and allocating a 1-limb `ByteArray#` in case the value (`w`/`-w`) doesn't fit the `S# Int#` representation). The following nofib benchmarks benefit from this optimization: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------ bernouilli +0.2% -5.2% 0.12 0.12 +0.0% gamteb +0.2% -1.7% 0.03 0.03 +0.0% kahan +0.3% -13.2% 0.17 0.17 +0.0% mandel +0.2% -24.6% 0.04 0.04 +0.0% power +0.2% -2.6% -2.0% -2.0% -8.3% primetest +0.1% -17.3% 0.06 0.06 +0.0% rsa +0.2% -18.5% 0.02 0.02 +0.0% scs +0.1% -2.9% -0.1% -0.1% +0.0% sphere +0.3% -0.8% 0.03 0.03 +0.0% symalg +0.2% -3.1% 0.01 0.01 +0.0% ------------------------------------------------------------------ Min +0.1% -24.6% -4.6% -4.6% -8.3% Max +0.3% +0.0% +5.9% +5.9% +4.5% Geometric Mean +0.2% -1.0% +0.2% +0.2% -0.0% Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:42 AM Changeset in integer-gmp [7bdcadd]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Allocate initial 1-limb mpz_t on the Stack and introduce MPZ# type We now allocate a 1-limb mpz_t on the stack instead of doing a more expensive heap-allocation (especially if the heap-allocated copy becomes garbage right away); this addresses #8647. In order to delay heap allocations of 1-limb `ByteArray#`s instead of the previous `(# Int#, ByteArray# #)` pair, a 3-tuple `(# Int#, ByteArray#, Word# #)` is returned now. This tuple is given the type-synonym `MPZ#`. This 3-tuple representation uses either the 1st and the 2nd element, or the 1st and the 3rd element to represent the limb(s) (NB: undefined `ByteArray#` elements must not be accessed as they don't point to a proper `ByteArray#`, see also `DUMMY_BYTE_ARR`); more specifically, the following encoding is used (where `⊥` means undefined/unused): - (# 0#, ⊥, 0## #) -> value = 0 - (# 1#, ⊥, w #) -> value = w - (# -1#, ⊥, w #) -> value = -w - (# s#, d, 0## #) -> value = J# s d The `mpzToInteger` helper takes care of converting `MPZ#` into an `Integer`, and allocating a 1-limb `ByteArray#` in case the value (`w`/`-w`) doesn't fit the `S# Int#` representation). The following nofib benchmarks benefit from this optimization: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------ bernouilli +0.2% -5.2% 0.12 0.12 +0.0% gamteb +0.2% -1.7% 0.03 0.03 +0.0% kahan +0.3% -13.2% 0.17 0.17 +0.0% mandel +0.2% -24.6% 0.04 0.04 +0.0% power +0.2% -2.6% -2.0% -2.0% -8.3% primetest +0.1% -17.3% 0.06 0.06 +0.0% rsa +0.2% -18.5% 0.02 0.02 +0.0% scs +0.1% -2.9% -0.1% -0.1% +0.0% sphere +0.3% -0.8% 0.03 0.03 +0.0% symalg +0.2% -3.1% 0.01 0.01 +0.0% ------------------------------------------------------------------ Min +0.1% -24.6% -4.6% -4.6% -8.3% Max +0.3% +0.0% +5.9% +5.9% +4.5% Geometric Mean +0.2% -1.0% +0.2% +0.2% -0.0% Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:26 AM NestedCPR edited by nomeata
(diff)
11:20 AM Status/SLPJ-Tickets edited by nomeata
ticket number typo (diff)
11:02 AM Changeset in integer-gmp [2ba0992]wip/T8647 by Herbert Valerio Riedel <hvr@…>
Add more notes regarding the MPZ# hack NOTE: This commit is to be merged into [20d7bfdd/integer-gmp] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:57 AM NestedCPR edited by nomeata
(diff)
10:51 AM Ticket #1885 (Improve CPR analysis) closed by nomeata
fixed: Just tested this with GHC 7.6.3, and with -DPOLY_OTHER it runs really …
10:27 AM Status edited by nomeata
(diff)
6:28 AM Changeset in ghc [9c91a24]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 Austin Seipp <austin@…>
More .gitignore updates Signed-off-by: Austin Seipp <austin@well-typed.com>
6:21 AM Changeset in ghc [4af1e76]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 Austin Seipp <austin@…>
Add Windows to NoSharedLibsPlatformList We're punting on full -dynamic and -dynamic-too support for Windows right now, since it's still unstable. Also, ensure "Support dynamic-too" in `ghc --info` is set to "NO" for Cabal. See issues #7134, #8228, and #5987 Signed-off-by: Austin Seipp <austin@well-typed.com>

Jan 12, 2014:

11:37 PM Changeset in integer-gmp [20d7bfd]wip/T8647 by Herbert Valerio Riedel <hvr@…>
Allocate initial 1-limb mpz_t on the Stack and introduce MPZ# type We now allocate a 1-limb mpz_t on the stack instead of doing a more expensive heap-allocation (especially if the heap-allocated copy becomes garbage right away); this addresses #8647. In order to delay heap allocations of 1-limb `ByteArray#`s instead of the previous `(# Int#, ByteArray# #)` pair, a 3-tuple `(# Int#, ByteArray#, Word# #)` is returned now. This tuple is given the type-synonym `MPZ#`. This 3-tuple representation uses either the 1st and the 2nd element, or the 1st and the 3rd element to represent the limb(s) (NB: undefined `ByteArray#` elements must not be accessed as they don't point to a proper `ByteArray#`, see also `DUMMY_BYTE_ARR`); more specifically, the following encoding is used (where `⊥` means undefined/unused): - (# 0#, ⊥, 0## #) -> value = 0 - (# 1#, ⊥, w #) -> value = w - (# -1#, ⊥, w #) -> value = -w - (# s#, d, 0## #) -> value = J# s d The `mpzToInteger` helper takes care of converting `MPZ#` into an `Integer`, and allocating a 1-limb `ByteArray#` in case the value (`w`/`-w`) doesn't fit the `S# Int#` representation). The following nofib benchmarks benefit from this optimization: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------ bernouilli +0.2% -5.2% 0.12 0.12 +0.0% gamteb +0.2% -1.7% 0.03 0.03 +0.0% kahan +0.3% -13.2% 0.17 0.17 +0.0% mandel +0.2% -24.6% 0.04 0.04 +0.0% power +0.2% -2.6% -2.0% -2.0% -8.3% primetest +0.1% -17.3% 0.06 0.06 +0.0% rsa +0.2% -18.5% 0.02 0.02 +0.0% scs +0.1% -2.9% -0.1% -0.1% +0.0% sphere +0.3% -0.8% 0.03 0.03 +0.0% symalg +0.2% -3.1% 0.01 0.01 +0.0% ------------------------------------------------------------------ Min +0.1% -24.6% -4.6% -4.6% -8.3% Max +0.3% +0.0% +5.9% +5.9% +4.5% Geometric Mean +0.2% -1.0% +0.2% +0.2% -0.0% Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:01 PM Changeset in ghc [6494de1f]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 Austin Seipp <austin@…>
More testsuite .gitignore updates Signed-off-by: Austin Seipp <austin@well-typed.com>
8:49 PM Ticket #8180 (Template Haskell now requires -dynamic or -dynamic-too) closed by thoughtpolice
fixed
7:40 PM Changeset in ghc [ae87e12]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 Austin Seipp <austin@…>
Fix #8180 When compiling a set of modules under --make, we need to check if the module graph has TemplateHaskell enabled. If it does, then we need to switch on -dynamic-too for GHCi, so that the linker can properly find the right dynamic object files. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:42 PM Changeset in ghc [f806598]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 Austin Seipp <austin@…>
Update new testsuite .gitignore Signed-off-by: Austin Seipp <austin@well-typed.com>
6:38 PM Changeset in ghc [5356fb3c]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 Austin Seipp <austin@…>
Bump Haddock perf numbers for new parser Signed-off-by: Austin Seipp <austin@well-typed.com>
6:37 PM Changeset in ghc [5f2cdca]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 Austin Seipp <austin@…>
Fix new Haddock doc parse failures. Signed-off-by: Austin Seipp <austin@well-typed.com>
5:28 PM Ticket #8665 (RELEASE_LOCK: I do not own this lock) created by guest
Got this error running the latest version of Yesod: […]
11:48 AM Changeset in ghc [5f54d678]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 Herbert Valerio Riedel <hvr@…>
Update `sync-all` and others files w.r.t. merged testsuite (re #8545) See merge commit 66693401b98cb5aa912948af7bbd2182474f50c4 This commit also adds a check for a left-over testsuite/.git folder to sync-all This way, the first time sync-all is called after updating to a post-testsuite-merge (see #8545) state of ghc.git, the sync-all script aborts with an error message if a `testsuite/.git` folder is detected and thus forces the user to take action. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:47 AM Changeset in ghc [66693401]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 Herbert Valerio Riedel <hvr@…>
Fold testsuite.git into ghc.git (re #8545) This commit performs a subtree merge of testsuite.git into ghc.git; The next commit will adapt `sync-all` et al. to the new situation. At the time of merge, testsuite.git was at commit [998a816ae89c4fd573f4abd7c6abb346cf7ee9af/testsuite] The following steps have been used to accomplish this merge: 1. Clone a fresh testsuite.git copy (& cd into) 2. Remove accidentally committed binary files from history git filter-branch \ --index-filter "git rm -r --cached --ignore-unmatch \ tests/haddock/should_compile_flag_nohaddock/a.out \ tests/haddock/should_compile_noflag_nohaddock/a.out \ tests/ghc-regress/haddock/should_compile_flag_nohaddock/a.out \ tests/ghc-regress/haddock/should_compile_noflag_nohaddock/a.out \ tests/ghc-regress/dph/diophantine/dph-diophantine-fast \ tests/ghc-regress/dph/diophantine/dph-diophantine-opt \ tests/ghc-regress/dph/primespj/dph-primespj-fast \ tests/ghc-regress/dph/quickhull/dph-quickhull-fast \ tests/ghc-regress/dph/smvm/dph-smvm \ tests/ghc-regress/dph/sumnats/dph-sumnats \ tests/ghc-regress/dph/words/dph-words-fast \ tests/ghc-regress/plugins/plugins01" \ HEAD 3. Rename all paths in testsuite.git to be prefixed with `testsuite/` git filter-branch -f --prune-empty --tree-filter \ "mkdir -p testsuite; \ git ls-tree --name-only \$GIT_COMMIT | xargs -I files mv files testsuite/" 4. cd into ghc/ checkout, and perform subtree merge of testsuite into ghc (see also http://nuclearsquid.com/writings/subtree-merging-and-you/) cd ../ghc/ git remote add -f testsuite ../testsuite/.git git merge -s ours --no-commit testsuite/master git read-tree --prefix=/ -u testsuite/master git commit Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
2:26 AM Changeset in ghc [a924deb]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 Gabor Greif <ggreif@…>
fix a mistyped label that caused a stray reference Richard, you may want to regenerate the PDF as I get ! LaTeX Error: File `stmaryrd.sty' not found. with my setup and do not want to mess things up. Also for me ?? appear twice on top of the page 13 and I have tp 'rm core-spec.pdf; make' to get it right.

Jan 11, 2014:

12:52 PM Ticket #8664 (libffi does not recognize AArch64 (ARM64)) created by kgardas
Hello, bundled libffi-3.0.11's configure does not recognize aarch64/arm64 …
10:21 AM Changeset in ghc [a32d4782]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 Herbert Valerio Riedel <hvr@…>
Update mailmap Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:21 AM Changeset in ghc [cc29b465]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 Herbert Valerio Riedel <hvr@…>
Fix typo in error message Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:14 AM Ticket #8661 (Segfault on System.Time during validate) closed by hvr
fixed

Jan 10, 2014:

11:51 PM Changeset in ghc [069a49c]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Drop redundant formal parameter from TAKE1_UL1_RET2 This fixes the actual cause for #8661, i.e. a mismatch between the actual arity of the Cmm implementation and the arity declared in the foreign import statement. This also reverts [a3878d17/integer-gmp] as the workaround isn't needed anymore. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:51 PM Changeset in integer-gmp [13b4d0c]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Drop redundant formal parameter from TAKE1_UL1_RET2 This fixes the actual cause for #8661, i.e. a mismatch between the actual arity of the Cmm implementation and the arity declared in the foreign import statement. This also reverts [a3878d17/integer-gmp] as the workaround isn't needed anymore. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:25 PM Ticket #8663 (Fix up Haddock mark-up) created by Fuuzetsu
New Haddock changes will mean that any previously failing Haddock parses …
9:13 PM Ticket #8599 (Deriving in associated data families ignores instance's constraints) closed by goldfire
fixed
9:12 PM Changeset in ghc [0369c974]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 Richard Eisenberg <eir@…>
Clarify issue in #8630 in users' guide. We do *not* propagate kind information from an instance declaration's members back into the instance head.
9:12 PM Changeset in ghc [566ba6f]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 Richard Eisenberg <eir@…>
Fix #8599. This change is just some documentation around ignoring the context of an enclosing instance when processing `deriving` clauses of an associated data instance.
8:31 PM Changeset in ghc [3c2ae514]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@…>
Document the fact that Areas overlap, and why.
6:30 PM Changeset in nofib [317148f]ghc-7.8 by Gabor Greif <ggreif@…>
Typo in comment
6:24 PM Changeset in ghc [ea5da60]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 Gabor Greif <ggreif@…>
Comment typos only
6:16 PM Changeset in ghc [08a3536e]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@…>
Make showSDoc and friends respect -dppr-cols Previously they just used a fixed width of 100, ignoring -dppr-cols. I think this dates back to a time when the flag didn't exist, or wasn't conveniently available. Thanks to Andrew Gibiansky for pointing this out.
6:16 PM Changeset in ghc [b7ddf633]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@…>
Make initGhcMonad call setUnsafeGlobalDynFlags If we don't do this, then in various GHC API scenarios (which use runGhc) with tracing/debugging/ASSERTs on, we try to read those unsafe global dynamic flags and find them uninitialised.
6:16 PM Changeset in ghc [17a3dac]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@…>
Bring kind variables into the type-checker's scope as well as type variables Fixes Trac #8616
2:42 PM Changeset in ghc [063a1b25]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 Joachim Breitner <mail@…>
Notes and code cosmetics Explain why defaultDmd resTypeArgDmd are similar, but both needed, and apply slight code cosmetics.
2:31 PM Ticket #8662 (GHC does not inline cheap inner loop when used in two places) created by nh2
When I made a Criterion benchmark of Neil Michell's "Tight Inner Loop" …
2:27 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:25 PM 0001-Try-to-make-S-t-meaningful.patch attached to NestedCPR/AdvancedConverges by nomeata
I hate deleting stuff, but don’t want to store this on any branch. So I …
11:55 AM Changeset in ghc [ad233cf6]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 Joachim Breitner <mail@…>
Add forgotten stderr output for T5498
11:55 AM Changeset in testsuite [998a816]master by Joachim Breitner <mail@…>
Add forgotten stderr output for T5498
11:50 AM NestedCPR edited by nomeata
(diff)
11:47 AM NestedCPR edited by nomeata
(diff)
11:46 AM NestedCPR edited by nomeata
(diff)
11:41 AM NestedCPR/AdvancedConverges created by nomeata
11:05 AM Changeset in ghc [95f938db]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 Gabor Greif <ggreif@…>
Fix a typo in comment
11:02 AM Changeset in nofib [77a87f1]ghc-7.8 by Gabor Greif <ggreif@…>
fix some typos
10:32 AM Changeset in ghc [7647997]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Follow-up to a3878d17 Forgot to add this chunk to the commit [a3878d17/integer-gmp] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:32 AM Changeset in integer-gmp [88083e7]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Follow-up to a3878d17 Forgot to add this chunk to the commit [a3878d17/integer-gmp] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:02 AM Changeset in ghc [c0b50083]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Temporary disable `mpz_gmpz_tdiv_qr_ui` to workaround #8661 I still need to investigated, but for some reason not yet obvious to me, commit [af2ba9c8/integer-gmp] (re #8647) seems to have triggered #8661 on linux/32 This commit disables the use of the `quotRemIntegerWord#` primop on 32bit (which seems to trigger the issue). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:02 AM Changeset in integer-gmp [a3878d1]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Temporary disable `mpz_gmpz_tdiv_qr_ui` to workaround #8661 I still need to investigated, but for some reason not yet obvious to me, commit [af2ba9c8/integer-gmp] (re #8647) seems to have triggered #8661 on linux/32 This commit disables the use of the `quotRemIntegerWord#` primop on 32bit (which seems to trigger the issue). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:35 AM Ticket #8656 (Identical functions in Template Haskell) closed by simonpj
fixed: OK I've deprecated global: […]
9:29 AM Ticket #8651 ('Untouchable' error when using type function in class constraint in rank-2 ...) closed by simonpj
fixed: Very excellent catch, thank you. Simon
9:28 AM Changeset in ghc [d154b7be]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 #8651
9:28 AM Changeset in testsuite [b662393] by Simon Peyton Jones <simonpj@…>
Test Trac #8651
9:23 AM Ticket #8649 (Disambiguate Repeated Identifiers for data types in error messages) closed by simonpj
fixed
9:22 AM Changeset in ghc [21b3245]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 #8649
9:22 AM Changeset in testsuite [d63acc8] by Simon Peyton Jones <simonpj@…>
Test Trac #8649
9:15 AM Ticket #8660 (unexpected parsing error, "in" is treated as reserved word in type class ...) closed by simonpj
invalid: Well, for better or worse, in is a keyword: see the …
8:48 AM Changeset in ghc [e8529d3]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@…>
Adjust "max_bytes_used" upward for T4801
8:48 AM Changeset in testsuite [ff6113e] by Simon Peyton Jones <simonpj@…>
Adjust "max_bytes_used" upward for T4801
8:29 AM Ticket #8661 (Segfault on System.Time during validate) created by Fuuzetsu
I was running ‘sh validate’ today (commit …
7:31 AM Ticket #8660 (unexpected parsing error, "in" is treated as reserved word in type class ...) created by carter
I'm amidst writing a nice ffi binding to BLAS for ghc 7.6 and newer, and I …
3:04 AM Ticket #8659 (GHCi told me to tell you that it crashed) closed by goldfire
duplicate: This is already fixed in GHC 7.6.3 and in HEAD. Thanks for reporting!
2:58 AM Ticket #8659 (GHCi told me to tell you that it crashed) created by ishkabible
I'm using an x86 build of GHCi version 7.4.2 on Windows 7 professional. I …

Jan 9, 2014:

6:06 PM NestedCPR edited by nomeata
(diff)
6:01 PM Changeset in ghc [a6243b37]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Deprecate TH.global (Trac #8656)
6:00 PM Changeset in ghc [91252ef]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 #5498
6:00 PM Changeset in ghc [eeb69632]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@…>
Changes in error messages when fixing Trac #8649 Mostly improvements, happily
6:00 PM Changeset in testsuite [1285af7] by Simon Peyton Jones <simonpj@…>
Test Trac #5498
6:00 PM Changeset in testsuite [5e8e8e6] by Simon Peyton Jones <simonpj@…>
Changes in error messages when fixing Trac #8649 Mostly improvements, happily
5:58 PM Changeset in ghc [73c08ab1]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@…>
Re-work the naming story for the GHCi prompt (Trac #8649) The basic idea here is simple, and described in Note [The interactive package] in HscTypes, which starts thus: Note [The interactive package] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Type and class declarations at the command prompt are treated as if they were defined in modules interactive:Ghci1 interactive:Ghci2 ...etc... with each bunch of declarations using a new module, all sharing a common package 'interactive' (see Module.interactivePackageId, and PrelNames.mkInteractiveModule). This scheme deals well with shadowing. For example: ghci> data T = A ghci> data T = B ghci> :i A data Ghci1.T = A -- Defined at <interactive>:2:10 Here we must display info about constructor A, but its type T has been shadowed by the second declaration. But it has a respectable qualified name (Ghci1.T), and its source location says where it was defined. So the main invariant continues to hold, that in any session an original name M.T only refers to oe unique thing. (In a previous iteration both the T's above were called :Interactive.T, albeit with different uniques, which gave rise to all sorts of trouble.) This scheme deals nicely with the original problem. It allows us to eliminate a couple of grotseque hacks - Note [Outputable Orig RdrName] in HscTypes - Note [interactive name cache] in IfaceEnv (both these comments have gone, because the hacks they describe are no longer necessary). I was also able to simplify Outputable.QueryQualifyName, so that it takes a Module/OccName as args rather than a Name. However, matters are never simple, and this change took me an unreasonably long time to get right. There are some details in Note [The interactive package] in HscTypes.
5:58 PM Changeset in ghc [15a3de1]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@…>
Comments only
5:58 PM Changeset in ghc [5d2fb2ee]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@…>
Further refine the test for 'given' equalities Trac #8651 revealed that my previous fix (itself in response to #8644) wasn't quite right. The plan, using the CtOrigin to identify constraints arising from flattening, is described in TcSimplify, Note [When does an implication have given equalities?]
5:58 PM Changeset in ghc [0f737cef]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@…>
Comment typo
5:58 PM Changeset in ghc [0ec53020]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@…>
Improve documentation of :module etc (Trac #8622) I did quite a bit of restructuring, as well as adding the note specifically referred to in #8622
5:58 PM Changeset in ghc [19e23dce]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@…>
A little refactoring so that we print package-qualified modules names if necessary
5:58 PM Changeset in ghc [322b48b9]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@…>
Further improve the "same-occurrence" error messages (Trac #8278) Sometimes we actually have a good SrcSpan for the type constructor and reporting that is better than just reporting which module it was defined on
5:31 PM Changeset in ghc [fca15ac]wip/cbv-conv-thunk by Joachim Breitner <mail@…>
Loop breakers are not allowed to have a Converges DmdResult
5:31 PM Changeset in ghc [7e6bb34]wip/cbv-conv-thunk by Joachim Breitner <mail@…>
Speculative evaluate thunks known to Converge This is an attempt to use the by-products of nested cpr analysis.
5:08 PM NestedCPR edited by nomeata
(diff)
5:03 PM Changeset in ghc [b794662]wip/cbv-conv-thunk by Joachim Breitner <mail@…>
Try to make "<S>t" meaningful by giving it the meaning: "Assuming my first argument is terminating, then I am terminating". In pictures: This is the lattice, which is not a simple product lattice any more: ------ <L><L>------ / | \ \ / | <L><L>t \ <S><L> | <S><L> | \ \ | | | \ | \ <S><L>t | / | <S><L>t | \ | / | \ \ | / | \ ----- <S><S>----- | \ | \ | \ | <S><S>t / \ | / ---------⊥-------------/ This means that we need to be careful when lub’ing: If one branch is lazy, but not absent in an argument or free variable, and the other branch is strict, then even if both branches claim to terminate, we need to remove the termination flag (as one had the termination under a stronger hypothesis as the hole result) (Feels inelegant.) There is no unit for lubDmdType any more. So for case, use we use botDmdType for no alternatives, and foldr1 if there are multiple. Unlifted variables (e.g. Int#) are tricky. Everything is strict in them, so for an *unlifted* argument, <L>t implies <S>t and hence <S>t ⊔ <L>t = <S>t, and we really want to make use of that stronger equation. But when lub’ing, we don’t know any more if this is the demand for an unlifted type. So instead, the demand type of x :: Int# itself is {x ↦ <L>} t, while x :: Int continues to have type {x ↦ <S>} t. It is important that functions (including primitive operations and constructors like I#) have a strict demand on their unlifted argument. But it turned out to be easier to enforce this in the demand analyser: So even if f claims to have a lazy demand on a argument of unlifted type, we make this demand strict before feeding it into the argument.
4:54 PM NestedCPR edited by nomeata
(diff)
3:19 PM NestedCPR edited by nomeata
(diff)
2:41 PM NestedCPR edited by nomeata
(diff)
12:39 PM NestedCPR edited by nomeata
(diff)
11:52 AM NestedCPR edited by nomeata
(diff)
11:11 AM NestedCPR edited by nomeata
(diff)
9:28 AM NestedCPR edited by nomeata
more on converges (diff)
7:43 AM Changeset in testsuite [cfc633e]wip/pattern-synonyms by Austin Seipp <austin@…>
Pattern synonym test cases Signed-off-by: Austin Seipp <austin@well-typed.com>
7:03 AM Ticket #8658 (Document Proxy#) closed by thoughtpolice
fixed: Thanks Richard!
7:02 AM Changeset in ghc [d4f0fcf]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 Austin Seipp <austin@…>
Document Proxy# (#8658) Signed-off-by: Austin Seipp <austin@well-typed.com>
4:40 AM Ticket #8630 (Kind inference fails to account for associated types) closed by goldfire
wontfix: Fair enough. I took a look at what it would take to fix this, too, and …

Jan 8, 2014:

10:46 PM Changeset in ghc [67bcb321]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Manually float out `int2Integer# INT_MINBOUND` This avoids allocating this special value over and over again every time it's needed, and therefore this addresses #8647. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:46 PM Changeset in integer-gmp [868b93b]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Manually float out `int2Integer# INT_MINBOUND` This avoids allocating this special value over and over again every time it's needed, and therefore this addresses #8647. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:37 PM Changeset in ghc [aabc933]wip/T9016wip/ampwip/coveritywip/orf by Herbert Valerio Riedel <hvr@…>
Wrap `gmpz_tdiv_{q,r,qr}_ui` to optimize `quot`/`rem` This is useful as `quot`/`rem` are often used with small-int divisors, like when computing the digits of an `Integer`. This optimization reduces allocations in the following `nofib` benchmarks: Program Size Allocs Runtime Elapsed TotalMem ----------------------------------------------------------------- power +0.3% -0.8% -1.2% -1.2% +0.0% primetest +0.3% -3.9% 0.07 0.07 +0.0% rsa +0.3% -4.0% 0.02 0.02 +0.0% symalg +0.2% -1.4% 0.01 0.01 +0.0% This addresses #8647 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:37 PM Changeset in integer-gmp [af2ba9c]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Wrap `gmpz_tdiv_{q,r,qr}_ui` to optimize `quot`/`rem` This is useful as `quot`/`rem` are often used with small-int divisors, like when computing the digits of an `Integer`. This optimization reduces allocations in the following `nofib` benchmarks: Program Size Allocs Runtime Elapsed TotalMem ----------------------------------------------------------------- power +0.3% -0.8% -1.2% -1.2% +0.0% primetest +0.3% -3.9% 0.07 0.07 +0.0% rsa +0.3% -4.0% 0.02 0.02 +0.0% symalg +0.2% -1.4% 0.01 0.01 +0.0% This addresses #8647 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
6:53 PM Ticket #8658 (Document Proxy#) created by goldfire
Commit …
6:23 PM Changeset in ghc [b014797]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 Joachim Breitner <mail@…>
Test that runST is not inlined prematurely This resulted form a discussion about #5916.
6:23 PM Changeset in testsuite [e17a62c] by Joachim Breitner <mail@…>
Test that runST is not inlined prematurely This resulted form a discussion about #5916.
5:04 PM Changeset in ghc [a93f8571]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 Edsko de Vries <edsko@…>
Extend runRnSpliceHook to decls and patterns
4:00 PM NestedCPR edited by nomeata
(diff)
3:38 PM NestedCPR/wave4main created by nomeata
12:17 PM NestedCPR edited by nomeata
(diff)
12:07 PM Building/RunningNoFib edited by nomeata
(diff)
10:32 AM Ticket #8657 (-fregs-graph still has a limit on spill slots) created by simonmar
The limit on spill slots was removed for the linear register allocator in …
10:27 AM NestedCPR edited by nomeata
(diff)
8:49 AM Ticket #551 ("No threads to run" ignores finalizers) closed by simonmar
wontfix: We shouldn't consider this a bug, since we deliberately decided to go with …
Note: See TracTimeline for information about the timeline view.