Timeline


and

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]

Jan 1, 2014:

1:46 PM Ticket #5412 (dataTypeConstrs gives unhelpful error message) closed by nomeata
fixed: Validated and pushed. Thanks for your first contribution to GHC, and …
1:14 PM Changeset in base [d0b74ca]ghc-7.8 by Joachim Breitner <mail@…>
Improve error messages for partial functions in Data.Data This closes: #5412
7:55 AM Ticket #8645 (Improper response from GHCI terminal after importing Gnuplot package) created by pankajsejwal
I recently tried one simple example on plotting using Haskell wrapper for …

Dec 31, 2013:

10:13 PM Ticket #8644 ('Untouchable' error with constraint variable in rank-2 type) created by sbarclay
The following program compiles fine with GHC 7.6.3: […] However, it …
3:17 PM Ticket #8609 (Clean up block allocator) closed by ezyang
fixed
3:13 PM Changeset in base [072e299]ghc-7.8 by Edward Z. Yang <ezyang@…>
s/therad/thread/ Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
3:11 PM Changeset in ghc [38d17a0c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Clean up block allocator, fixes #8609 Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
10:01 AM Roles edited by simonpj
(diff)
5:24 AM Ticket #8643 (Silent name shadowing) created by mirpa
I have code like: […] which gives me error: […] However if I try to …

Dec 30, 2013:

10:47 PM Ticket #8642 (Allow GHCi to print non-pretty forms of things.) created by Fuuzetsu
Currently when we ask GHCi for :info or :type of something, it will do …
9:14 PM Changeset in ghc [4393b4b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Fix number literal syntax mistake introduced in c2e88b34cd3cb48d4bb203b6f0e7de1980e9c570.
9:14 PM Changeset in testsuite [ba31360]wip/pattern-synonyms by Joachim Breitner <mail@…>
Fix number literal syntax mistake introduced in c2e88b34cd3cb48d4bb203b6f0e7de1980e9c570.
9:01 PM Ticket #8641 (ghc with -odir and -prof (or any stub file) does not create the specified ...) created by wmarshall
Calling ghc with -odir set to a non-existent directory causes ghc to …
7:51 PM Ticket #8640 (:show imports ignores -XNoImplicitPrelude) created by monoidal
The implicit import should not be shown: […]
5:59 PM Ticket #8639 (GHC API `runStmt` overrides qualified import of `it` variable) created by agibiansky
The runStmt function in InteractiveEval creates an it variable …
3:07 PM Ticket #8638 (Optimize by demoting "denormalized" Integers (i.e. J# -> S#)) created by hvr
In the course of a recent …
12:31 PM Ticket #8633 (template haskell mkName parses operator ^.. as a qualified operator) closed by simonpj
fixed: Thanks for the patch. I adjusted it a bit […]
12:30 PM Ticket #8637 (Infix declaration on operators ending on backslash) closed by jcristovao
duplicate
12:29 PM Ticket #8603 (GHC crashes on some code using StateT monad transformer) closed by simonpj
fixed: Thanks for identifying this bug! Simon
12:27 PM Ticket #8637 (Infix declaration on operators ending on backslash) created by jcristovao
Hi, I was trying the latest GHC Head (version 7.7.20131227), when I …
12:27 PM Ticket #8636 (Infix declaration on operators ending on backslash) created by jcristovao
Hi, I was trying the latest GHC Head (version 7.7.20131227), when I …
12:10 PM Changeset in ghc [00a91102]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@…>
Comments only

Dec 29, 2013:

12:46 AM Records/SyntaxDirectedNameResolution edited by aavogt
note a preprocessor that implements this concept (for HList records only … (diff)
Note: See TracTimeline for information about the timeline view.