Timeline


and

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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Gabor Greif <ggreif@…>
Comment typos only
6:16 PM Changeset in ghc [08a3536e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Deprecate TH.global (Trac #8656)
6:00 PM Changeset in ghc [91252ef]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comments only
5:58 PM Changeset in ghc [5d2fb2ee]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comment typo
5:58 PM Changeset in ghc [0ec53020]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/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 …

Jan 7, 2014:

11:53 PM Commentary/Rts/Storage/GC/Weak created by ezyang
10:26 PM Commentary/Rts/Storage/HeapObjects edited by Tarrasch
Fix old link (diff)
5:24 PM NestedCPR edited by nomeata
(diff)
4:22 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
3:05 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
3:00 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
3:00 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
2:59 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
2:50 PM Building/Preparation/Windows/MSYS2 edited by thoughtpolice
(diff)
2:36 PM Ticket #8601 (runghc from standard input and --ghc-args) closed by thoughtpolice
fixed: Merged (with a fixed test.) Thanks!
2:35 PM Ticket #4210 (LLVM: Dynamic Library Support) closed by thoughtpolice
fixed: Merged, thanks Ben!
2:34 PM Ticket #8602 (Wrong argument order to Haskell pre-processor (-F, -pgmF, -optF)) closed by thoughtpolice
fixed: Merged, thanks!
2:34 PM Ticket #8502 (Document a surprising {{{unsafeDupablePerformIO}}} limitation.) closed by thoughtpolice
fixed: Merged, thanks!
2:29 PM Changeset in ghc [c53b339]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Tests for #8601 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:29 PM Changeset in testsuite [f50c270]wip/pattern-synonyms by Austin Seipp <austin@…>
Tests for #8601 Signed-off-by: Austin Seipp <austin@well-typed.com>
1:23 PM Changeset in ghc [ec4af3f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
runghc: Fix interaction of stdin and --ghc-args When reading the program from standard input, runghc did not properly handle the --ghc-arg= escape for arguments to ghc which do not start with a dash, since arguments were processed twice and the first time the --ghc-arg= was stripped. Now arguments are only processed once. For backwards compatibility, a prefix of --ghc-arg=--ghc-arg= is allowed since this prefix will work on both old and new versions of ghc. This fixes #8601 Signed-off-by: Austin Seipp <austin@well-typed.com>
1:18 PM Changeset in ghc [ca77f5c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix validate failure. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:14 PM Changeset in base [8c24917]ghc-7.8 by Austin Seipp <aseipp@…>
Document another unsafeDupablePerformIO limitation. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:14 PM Changeset in ghc [9143961e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Austin Seipp <aseipp@…>
Document another unsafeDupablePerformIO limitation. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:12 PM Changeset in ghc [d24aa8f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Remove trailing whitespace. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:12 PM Changeset in ghc [32002b3]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
LlvmMangler: Make sure no symbols slip through re-.typing Previously a few symbols weren't flipped from %function to %object as the section splitter was emitting them without processes. This may be a bug in itself but for now let's just work around the issue but rewriting all symbol `.types`. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:11 PM Changeset in ghc [ed67d29]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
LlvmMangler: Rewrite @function symbols to @object Signed-off-by: Austin Seipp <austin@well-typed.com>
1:08 PM Changeset in ghc [036916bd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add test suite for #8602 Signed-off-by: Austin Seipp <austin@well-typed.com>
1:08 PM Changeset in testsuite [b7bc064]wip/pattern-synonyms by Austin Seipp <austin@…>
Add test suite for #8602 Signed-off-by: Austin Seipp <austin@well-typed.com>
1:08 PM Changeset in ghc [032969f7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Re-order preprocessor args to agree with User Guide (fixes #8602) The section of the User Guide in reference is 4.12.4 Signed-off-by: Austin Seipp <austin@well-typed.com>
11:40 AM Ticket #5498 (Generalized newtype deriving allows creating of instances I can't create ...) closed by nomeata
fixed: This should not be possible any more: In the type `intIso :: forall c. c t …
10:20 AM NestedCPR edited by nomeata
(diff)
10:19 AM NestedCPR/better-ho-cardinality created by nomeata
10:12 AM NestedCPR edited by nomeata
(diff)
9:53 AM Changeset in ghc [d531c8d] by Joachim Breitner <mail@…>
Allow CPR for sum types as the join point problem is taken care of.
9:52 AM Changeset in ghc [9e10e9cd]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Austin Seipp <austin@…>
Hackishly fix parallel build failure with in-tree GMP See the comments and #8102. The basic gist of it seems to be that the build system follows an implied rule from somewhere to directly build a C file, which doesn't have a dependency on the in-tree gmp.h that we build. As a result, the C file compilation races against the GMP build, causing an error. This is a pretty unsatisfactory hack, but for Windows and OS X machines where we more often build in-tree GMPs, it's quite important. Authored-by: Kazu Yamamoto <kazu@iij.ad.jp> Signed-off-by: Austin Seipp <austin@well-typed.com>
9:52 AM Changeset in integer-gmp [8ed8ac5]ghc-7.8wip/T8647 by Austin Seipp <austin@…>
Hackishly fix parallel build failure with in-tree GMP See the comments and #8102. The basic gist of it seems to be that the build system follows an implied rule from somewhere to directly build a C file, which doesn't have a dependency on the in-tree gmp.h that we build. As a result, the C file compilation races against the GMP build, causing an error. This is a pretty unsatisfactory hack, but for Windows and OS X machines where we more often build in-tree GMPs, it's quite important. Authored-by: Kazu Yamamoto <kazu@iij.ad.jp> Signed-off-by: Austin Seipp <austin@well-typed.com>
9:51 AM Changeset in ghc [98940247] by Joachim Breitner <mail@…>
After demand analysis of a let, reduce CPR information of the join point Code needs cleanup. TODO: How to treat the termination information of the join point?
9:50 AM Ticket #8656 (Identical functions in Template Haskell) created by jstolarek
I noticed that module Language.Haskell.TH.Lib in template-haskell …
9:47 AM Changeset in ghc [360bd08] by Joachim Breitner <mail@…>
Add isJoinPointOf function hackish and non-efficient version; Can be improved, or even turned into a phase of its own which annotates the binder (isJoinPoint :: Id -> Bool), and does one traversal to detect all join points.
7:43 AM Changeset in ghc [d783f12]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Lower unfolding threshold for windows (again.) We creeped back up again past the symbol threshold on my test x86_64 win2k8 test machine. This brings it down to 60600 symbols in split windows DLL. Signed-off-by: Austin Seipp <austin@well-typed.com>
7:08 AM Changeset in ghc [1310d75]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
nativeGen: Fix spelling in comment Signed-off-by: Austin Seipp <austin@well-typed.com>
7:06 AM Changeset in ghc [26fcbd0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix specification of -z origin for gold. Gold apparently doesn't recognize `-z origin`, only `-zorigin` it seems. Authored-by: Ben Gamari <bgamari.foss@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
7:03 AM Changeset in ghc [bb63e83a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
LLVM mangler: fix AVX instruction rewriter. This was pretty badly broken... Authored-by: Ben Gamari <bgamari.foss@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
6:59 AM Changeset in ghc [949be3f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix __GLASGOW_HASKELL_LLVM__ #define (It improperly used 'show' on the Maybe Int, not the Int.) Authored-by: Karel Gardas <karel.gardas@centrum.cz> Signed-off-by: Austin Seipp <austin@well-typed.com>
6:58 AM Changeset in ghc [e25af05]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix -dynamic-too clashing with -o (#8180) Signed-off-by: Austin Seipp <austin@well-typed.com>
6:07 AM Status/GHC-7.8 edited by thoughtpolice
(diff)

Jan 6, 2014:

6:34 PM NestedCPR edited by nomeata
(diff)
5:34 PM Ticket #8622 (Importing modules in .ghci file doesn't work) closed by m4dc4p
invalid: Thanks for taking a look - I've marked this bug as invalid, since its by …
3:32 PM Ticket #8655 (Evaluate know-to-terminate-soon thunks) created by nomeata
I guess I’ll better put my interior monologue in a ticket than on …
3:23 PM Ticket #8654 (Exponential-long compilation of code with Implicit params) closed by monoidal
duplicate: See #8474. It's fixed in the development branch (which will become 7.8).
2:43 PM Ticket #8654 (Exponential-long compilation of code with Implicit params) created by akamaus
Some time ago I stumbled upon GHC hanging on my code. After some …
2:35 PM Changeset in nofib [e6759f0]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Linux/x86 reference output for `kahan` benchmark This makes the nofib testsuite pass again when run on Linux/x86. See #7462 for more details Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
1:52 PM NestedCPR edited by nomeata
(diff)
1:38 PM NestedCPR edited by nomeata
(diff)
1:02 PM Ticket #8653 (panic the impossible happened) closed by monoidal
duplicate: Already reported as #7389.
12:51 PM Ticket #8653 (panic the impossible happened) created by guest
on the commandline: Warning: -package-conf is deprecated: Use …
10:58 AM Debugging/LowLevelProfiling/Perf edited by tibbe
(diff)
10:58 AM Debugging/LowLevelProfiling/Perf edited by tibbe
(diff)
10:57 AM Changeset in ghc [fc194269]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update perf values for T5237 Probably improved by [9e10d188]
10:57 AM Changeset in testsuite [2a73e2e]wip/pattern-synonyms by Joachim Breitner <mail@…>
Update perf values for T5237 Probably improved by [9e10d188]
10:54 AM Changeset in ghc [c3a08c09]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add output for T8639 (probably forgotten in [0a0ca809])
10:54 AM Changeset in testsuite [e7a7b86]wip/pattern-synonyms by Joachim Breitner <mail@…>
Add output for T8639 (probably forgotten in [0a0ca809])
10:50 AM Changeset in ghc [1675423]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update T7594 properly The previous updates had the line numbers wrong.
10:50 AM Changeset in testsuite [4affd08]wip/pattern-synonyms by Joachim Breitner <mail@…>
Update T7594 properly The previous updates had the line numbers wrong.
10:38 AM Ticket #8652 (Cross-compiling broken for ARM/Linux target) created by kgardas
I've attempted to cross compile GHC HEAD on Ubuntu 13.10 with ubuntu's …
9:41 AM Ticket #8651 ('Untouchable' error when using type function in class constraint in rank-2 ...) created by sbarclay
I noticed there are some cases that no longer compile after the recent fix …
Note: See TracTimeline for information about the timeline view.