Timeline


and

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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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:12 PM Changeset in ghc [d24aa8f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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]wip/cpr-vs-jp by Joachim Breitner <mail@…>
Allow CPR for sum types as the join point problem is taken care of.
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 [9894024]wip/cpr-vs-jp 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]wip/cpr-vs-jp 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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 …

Jan 5, 2014:

10:18 PM Ticket #8650 (Unexpected behaviour of import ccall "header.h function") created by nh2
When I write […] Is GHC supposed to check the existence of the …

Jan 4, 2014:

9:41 PM Changeset in integer-gmp [8bf9541]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Add new `mpz_{sub,add}_ui`-based primop (re #8647) This adds `{plus,minus}IntegerInt#` which help to reduce temporary allocations in `plusInteger` and `minusInteger`. This and the previous commit introducing `timesIntegerInt#` (i.e. baeeef7af6e) result in reduced allocations for the following nofib benchmarks on Linux/amd64: Program Size Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------ bernouilli +0.0% -4.2% 0.12 0.12 +0.0% kahan +0.1% -12.6% 0.17 0.17 +0.0% pidigits +0.0% -0.5% -4.7% -4.5% +0.0% power +0.0% -2.7% +3.1% +3.1% +9.1% primetest +0.0% -4.2% 0.07 0.07 +0.0% rsa +0.0% -4.1% 0.02 0.02 +0.0% scs +0.0% -2.6% -0.8% -0.7% +0.0% ------------------------------------------------------------------ Min +0.0% -12.6% -4.7% -4.5% -5.0% Max +0.1% +0.2% +3.1% +3.1% +9.1% Geometric Mean +0.1% -0.3% -0.0% +0.0% +0.1% ------------------------------------------------------------------ Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:17 PM Changeset in integer-gmp [baeeef7]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Add new `mpz_mul_si`-based primop (re #8647) This primop helps reducing allocation by being able to pass one `S#` argument directly to the GMP multiplication primitive without needing to promote (and thus allocate a `ByteArray#` as well) the `J#` first. This benefits a few nofib benchmarks wrt to allocations (having most impact on `kahan` resulting in about 10% less allocations) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5:42 PM Ticket #8649 (Disambiguate Repeated Identifiers for data types in error messages) created by agibiansky
If, in an interactive context, you redefine a type, but then try to use …
4:14 PM Ticket #8648 (Initialization of C statics broken in threaded runtime) created by edsko
Consider a tiny package static-value, consisting of one Haskell file …
12:26 PM Ticket #5361 (regSpill: out of spill slots!) closed by kazu-yamamoto
fixed: SimonM said in …
7:58 AM Changeset in integer-gmp [ebec308]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Refactor C-- wrappers to use macros for mpz_t access This factors out the recurring task of converting mpz_t structures to/from Int#/ByteArrays# pairs and makes the code more readable. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:43 AM Changeset in base [b62f687]ghc-7.8 by Gabor Greif <ggreif@…>
add 'Since' annotations and remove an unneeded import
12:17 AM Newcomers edited by galen
grammar (diff)

Jan 3, 2014:

11:11 PM Changeset in base [c5c8c4d]ghc-7.8 by Iavor S. Diatchki <diatchki@…>
Add functions to compare Nat and Symbol types for equality.
11:09 PM WikiStart edited by galen
Fix feature requests link. (diff)
9:58 PM Changeset in integer-gmp [66ea120]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Refactor `stgReallocForGMP` to use `memcpy` GCC is able to generate better code when using `memcpy` instead of manually copying bytes in a loop. Otoh, `stgAllocForGMP` is typically called for enlarging initial single-limb structures (see also #8647 for more information) and so this minor optimization won't be very visible in measurements. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:49 PM Changeset in integer-gmp [c6f046a]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Make use of `quotRemInt#` primop in `quotRemInteger` Otoh, `divModInt#` is not a proper primop (it's implemented as wrapper around `quotRemInt#` in `GHC.Base`), so we can't do the same for `divModInteger` yet. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:26 PM Ticket #5209 (^C doesn't correctly reset the prompt from within multiline commands in ...) closed by monoidal
fixed: As far as I know, there's no easy to way to test Ctrl-C with current …
7:32 PM Changeset in ghc [4d70840d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Fix #5209: Reset GHCi prompt in multiline mode GHCi didn't reset the multiline prompt when an exception (in particular, the UserInterrupt exception) occured. This commit uses `finally` to reset the prompt in all cases.
5:05 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
5:04 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
5:03 PM Ticket #7794 (GHCi "Prelude.undefined" exceptions on ARM; ByteCodeItbls.mkJumpToAddr ...) closed by thoughtpolice
fixed
4:51 PM Ticket #8579 (Loading a module in GHCi affects shadowing) closed by simonpj
fixed: Thanks. Fixed as part of the fix to #8639
4:50 PM Changeset in ghc [a9eed48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8579
4:50 PM Changeset in testsuite [d009423]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8579
4:37 PM Ticket #8625 (GHCi does not support some TH elements, while those elemenst are working ...) closed by simonpj
fixed: Thank you. This one was easy, happily. Simon
4:34 PM Ticket #8628 (dynCompileExpr breaks repeated runDecls of the same name) closed by simonpj
fixed: Good example. Fixed! Simon
4:33 PM Changeset in ghc [de705b8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8628
4:33 PM Changeset in testsuite [e5a95b0]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8628
4:27 PM Ticket #8639 (GHC API `runStmt` overrides qualified import of `it` variable) closed by simonpj
fixed: Thanks for identifying this so well. Simon
4:25 PM Ticket #8638 (Optimize by demoting "denormalized" Integers (i.e. J# -> S#)) closed by simonpj
fixed: Thanks. I committed two patches below. I'll close this one since you …
4:23 PM Ticket #8640 (:show imports ignores -XNoImplicitPrelude) closed by simonpj
fixed: Thanks, great example. Simon
4:22 PM Changeset in ghc [7f2bf06]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8640
4:22 PM Changeset in testsuite [1c44663]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8640
4:17 PM Ticket #8644 ('Untouchable' error with constraint variable in rank-2 type) closed by simonpj
fixed: Great catch, thank you! This showed (in a nice simple example) that the …
4:13 PM Changeset in integer-gmp [3c93d7f]ghc-7.8wip/T8647 by Simon Peyton Jones <simonpj@…>
Refactor and comment the smartJ# changes (re Trac #8638)
4:10 PM Changeset in ghc [bcd92b03]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Do hFlush in the T8639_api test
4:10 PM Changeset in testsuite [aae5cf6]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Do hFlush in the T8639_api test
4:09 PM Changeset in ghc [b0cdb9b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Update T7594 as a result of fixing #8644 The fix to #8644 makes the original T7594 pass (rightly). I've added a variant that shouuld and does fail
4:09 PM Changeset in testsuite [cf68a8e]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Update T7594 as a result of fixing #8644 The fix to #8644 makes the original T7594 pass (rightly). I've added a variant that shouuld and does fail
4:07 PM Changeset in ghc [c06528c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
White space only
4:07 PM Changeset in testsuite [a9138b9]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
White space only
4:06 PM Changeset in ghc [e54ce01]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8644
4:06 PM Changeset in testsuite [2818ec6]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8644
4:04 PM Changeset in ghc [9e10d188]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve the equality-floating story (again), to fix Trac #8644 We float equalities out of implications whose 'givens' include equalities. But it's a bit tricky knowing whether some givens do or do not include equalities, as #8644 shows. There the given has type 'c' (which might have equalities), but we discover that 'c ~ ()', which definitely doesn't. In short, we must look at the givens *after* normalisation, not before. Moreover, something similar happens in approximateWC, where we need to ask whether an implication has given equalities. This patch does the job: * Add a Boolean field inert_no_eqs to InertCans, which records whether we've added a non-constant equality * Add a field ic_no_eqs to Implication, which records whether the ic_given binders include any equalities * Get rid of Inst.hasEqualities altogether On the way I did some un-forced refactoring * Introduce the auxiliary function TcCanonical.flattenNestedFamApp * Kill off FamHeadMap and PredMap in favour of the new FunEqMap and DictMap respectively
3:50 PM Changeset in ghc [5dffb4a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Refactor the way shadowing in handled in GHCi If you say ghci> import Foo( T ) ghci> data T = MkT ghci> data T = XXX then the second 'data T' should shadow the first. But the qualified Foo.T should still be available. We really weren't handling this correctly at all, resulting in Trac #8639 and #8628 among others This patch: * Add RdrName.extendGlobalRdrEnv, which does shadowing properly * Change HscTypes.icExtendGblRdrEnv (was badly-named icPlusGblRdrEnv) to use the new function * Change RnNames.extendGobalRdrEnvRn to use the new function * Move gresFrom Avails into RdrName * Better pprGlobalRdrEnv function in RdrName
3:39 PM Changeset in ghc [e60a841]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve error message when using qualified names in GHCi When you say ghci> :i Foo.x GHCi tries to find module Foo and get 'x' from it. But if Foo doesn't exist we don't want to say: Attempting to use module ‛Foo’ which is not loaded This is a bit confusing. Rather we just want to say that Foo.x is not in scope.
3:36 PM Changeset in ghc [5c4265f2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add alterOccEnv
3:35 PM Changeset in ghc [4853be2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Use the GlobalRdrEnv when renaming the axuiliary bindings in 'deriving' I'm not sure why were were using bindLocalNames before, but it triggers an assert failure that checks that local names are Internal. This change makes things more uniform and straightforward.
12:55 PM Ticket #8647 (Reduce allocations in `integer-gmp`) created by hvr
I've added printf(3)s to integer-gmps GMP allocation/reallocation …

Jan 2, 2014:

9:59 PM Ticket #8636 (Infix declaration on operators ending on backslash) closed by jcristovao
invalid: You are absolutely right, I had indeed enabled the CPP extension, and was …
3:26 PM Changeset in integer-gmp [301269a]ghc-7.8wip/T8647 by Simon Peyton Jones <simonpj@…>
Try harder to demote results from `J#` to `S#` (re #8638) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:18 PM Changeset in ghc [fb121d3f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improved out-of-scope error for qualified names in GHCi
3:18 PM Changeset in testsuite [119a6cd]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Improved out-of-scope error for qualified names in GHCi
3:18 PM Changeset in ghc [f54fc09b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8639 (just the GHCi version)
3:18 PM Changeset in ghc [40db99a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8639
3:18 PM Changeset in testsuite [0a0ca809]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8639 (just the GHCi version)
3:18 PM Changeset in testsuite [b56bee2]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8639
3:16 PM Changeset in ghc [c93d664]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
In ':show imports' take account of -XNoImplicitPrelude Fixes Trac #8640
3:15 PM Changeset in ghc [22770b4d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8625
3:15 PM Changeset in testsuite [6425ccb]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8625
2:49 PM Changeset in ghc [053a9d15]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Handle parens in predicates when converting to TH This fixes Trac #8625
2:38 PM Ticket #8606 (Fix whitespaces in rts/sm/Scav.c) closed by Tarrasch
wontfix: Nevermind, I shouldn't open whitespace-only patches.
2:29 PM Ticket #8646 (Distinguish between update frames in rts/Printer.c) created by Tarrasch
When doing printf-debugging and using Printer.c, it would be nice to see …
11:39 AM Changeset in ghc [4eeaf556]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update Note [Coercible instances]
Note: See TracTimeline for information about the timeline view.