Timeline


and

Nov 7, 2013:

11:39 PM Changeset in ghc [9378e39]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update aux files `config.{guess,sub}` and `install-sh` This updates the files to the versions bundled with GNU automake 1.13.3 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:37 PM Changeset in ghc [d97951f] by Herbert Valerio Riedel <hvr@…>
Improve Haddock documentation Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:37 PM Changeset in integer-gmp [3990c28]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Improve Haddock documentation Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:52 PM Changeset in ghc [17c55a4b] by Herbert Valerio Riedel <hvr@…>
Optimize order of pattern matches for export operations These are supposed to be called with `J#`-kind `Integer`s, so check that constructor first. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:52 PM Changeset in integer-gmp [d43d362]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Optimize order of pattern matches for export operations These are supposed to be called with `J#`-kind `Integer`s, so check that constructor first. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:49 PM Changeset in ghc [4962f407]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Add tests for new import/export GMP primitives Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:49 PM Changeset in testsuite [9431918]wip/nested-cprwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add tests for new import/export GMP primitives Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:23 PM Changeset in ghc [008e6366] by Herbert Valerio Riedel <hvr@…>
Add `Addr#` based `{import,export}Integer` variants These follow closely the existing implementations for `importIntegerFromByteArray` and `exportIntegerToMutableByteArray`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:23 PM Changeset in integer-gmp [caf314e]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Add `Addr#` based `{import,export}Integer` variants These follow closely the existing implementations for `importIntegerFromByteArray` and `exportIntegerToMutableByteArray`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:40 PM Changeset in ghc [449f188d] by Herbert Valerio Riedel <hvr@…>
Rename `{import,export}Integer` This renames to more verbose names which include the type these operations import/export from/to: - `importIntegerFromByteArray`, and - `exportIntegerToMutableByteArray`. This follows the naming convention used for other primitive operations, such as the recently added `copyMutableByteArrayToAddr` operation. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:40 PM Changeset in integer-gmp [22c23c6]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Rename `{import,export}Integer` This renames to more verbose names which include the type these operations import/export from/to: - `importIntegerFromByteArray`, and - `exportIntegerToMutableByteArray`. This follows the naming convention used for other primitive operations, such as the recently added `copyMutableByteArrayToAddr` operation. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5:15 PM Ticket #8508 (Inlining Unsaturated Function Applications) closed by simonpj
duplicate: Dup of #8099.
3:19 PM Ticket #8508 (Inlining Unsaturated Function Applications) created by crockeea
After trying a simple test, I noticed some strange performance results …
2:23 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:58 PM Ticket #8305 (ghci macros override built-ins for command expansion) closed by thoughtpolice
fixed: I went ahead and wrote some up myself based on Reid's examples.
1:58 PM Ticket #8505 (Arrows example error) closed by thoughtpolice
fixed: Merged, thanks!
1:57 PM Ticket #8089 (Implementation of GHC.Event.Poll.poll is broken due to bad coercion) closed by thoughtpolice
fixed: I reproduced this on my OS X machine but didn't push it, it seems. The …
1:56 PM Changeset in ghc [b459c35]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add docs for #8305 Signed-off-by: Austin Seipp <austin@well-typed.com>
1:56 PM Changeset in ghc [f9b3ff49]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix typo in User's Guide Signed-off-by: Austin Seipp <austin@well-typed.com>
1:32 PM Ticket #8507 (ConstraintKinds TH regression from 7.6 -> 7.7) closed by simonpj
fixed: Thanks
1:27 PM Changeset in ghc [3fe4b67]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@…>
Error message wibbles
1:27 PM Changeset in testsuite [01b2050]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
1:26 PM Changeset in ghc [384398b3]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Allow optional 'family' and 'instance' keywords in associated type instances This is to allow class C a where type family F a type instance F a = Bool instance C Int where type instance F Int = Char Plus minor improvements relating to Trac #8506
1:26 PM Changeset in ghc [fa8b20af]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix oversight in comverting tuples from TH to HsSyn (Trac #8507)
1:08 PM Changeset in directory [c606f05]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update aux files `config.{guess,sub}` and `install-sh` This updates the files to the versions bundled with GNU automake 1.13.3 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
1:04 PM Ticket #8286 (fdToHandle docs are wrong about non-blocking mode) closed by hvr
fixed
12:49 PM Changeset in unix [0c59426]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Kill trailing whitespace Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:46 PM Changeset in unix [48a72e8]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove misleading paragraph in `fdToHandle`'s Haddock The removed paragraph is obsolete and does no longer apply to the implementation as noted by Duncan in #8286. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:30 PM Ticket #7359 (unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)) closed by hvr
fixed: This one is fixed by the workaround in …
12:27 PM Ticket #7912 (Missing symbols from termios.h when linking on Android) closed by hvr
fixed
12:22 PM Changeset in unix [7ca70fb]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Fix #7912 by using `CApiFFI` for `<termios.h>` imports On Android, the functions imported from `<termios.h>` are actually inlined functions, so we need to wrap them via the `capi` calling convention. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:11 AM Changeset in base [9c0eb7b]ghc-7.8 by Austin Seipp <aseipp@…>
*Really* RTS crash due to bad coercion. Previous commit only moved the coercion mistake to a different architecture (i.e. underflow could still occur on platforms where Int is smaller than CInt). This patch should definitively deal with all possible combinations. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:11 AM Changeset in ghc [33ed16b] by Austin Seipp <aseipp@…>
*Really* RTS crash due to bad coercion. Previous commit only moved the coercion mistake to a different architecture (i.e. underflow could still occur on platforms where Int is smaller than CInt). This patch should definitively deal with all possible combinations. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:11 AM Changeset in base [95a74f9]ghc-7.8 by Austin Seipp <aseipp@…>
Fix OSX RTS crash due to bad coercion. The code coerces Int to CInt, which causes an overflow if Int is bigger than CInt (for example, Int 64bit, CInt 32 bit). This results in a negative value being passed to c_poll. On Linux all negative values are treated as infinite timeouts, which gives subtly wrong semantics, but is unlikely to produce actual bugs. OSX insists that only -1 is a valid value for infinite timeout, any other negative timeout is treated as an invalid argument. This patch replaces the c_poll call with a loop that handles the overflow gracefully by chaining multiple calls to poll to obtain the proper semantics. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:11 AM Changeset in ghc [00e04e8] by Austin Seipp <aseipp@…>
Fix OSX RTS crash due to bad coercion. The code coerces Int to CInt, which causes an overflow if Int is bigger than CInt (for example, Int 64bit, CInt 32 bit). This results in a negative value being passed to c_poll. On Linux all negative values are treated as infinite timeouts, which gives subtly wrong semantics, but is unlikely to produce actual bugs. OSX insists that only -1 is a valid value for infinite timeout, any other negative timeout is treated as an invalid argument. This patch replaces the c_poll call with a loop that handles the overflow gracefully by chaining multiple calls to poll to obtain the proper semantics. Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:21 AM Changeset in unix [88bfec0]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Temporary workaround for addressing #7359 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Nov 6, 2013:

4:59 PM Ticket #8278 (Improve error message when the same type is imported from two different ...) closed by simonpj
fixed: Good idea. Much improved now I think: […] However implementing the idea …
4:55 PM Changeset in ghc [22bcd5e6]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@…>
Wibbles following fix to Trac #8278 The error message for ghci052 and ghci053 are (still) terrible, because there is shadowing going on in the interactive context. But that's a separate matter.
4:55 PM Changeset in testsuite [9ca3219]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles following fix to Trac #8278 The error message for ghci052 and ghci053 are (still) terrible, because there is shadowing going on in the interactive context. But that's a separate matter.
4:53 PM Changeset in ghc [2403fa10]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve printing of errors when the tycons look the same See Trac #8278. Example new message: Couldn't match expected type ‛T8278a.Maybe’ with actual type ‛Maybe a0’ NB: ‛T8278a.Maybe’ is defined in ‛T8278a’ ‛Maybe’ is defined in ‛Data.Maybe’ in package ‛base’ In the first argument of ‛f’, namely ‛Nothing’ The "NB" is the new bit
4:39 PM Changeset in ghc [c314e64]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to 'Tidy up the error messages we get from TH'
4:38 PM Ticket #8312 (Annotations in a compiler without interpreter needs a better error message) closed by simonpj
fixed: I have at least eliminated the panic: […] I'm not sure it's worth a …
4:21 PM Changeset in ghc [bf3b293]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Tidy up the error messages we get from TH in stage1 (Trac #8312) Instead of panic-ing we now give a sensible message. There is quite a bit of refactoring here too, removing several #ifdef GHCI things
4:19 PM Changeset in ghc [5bf435b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Warn if you use -XTemplateHaskell in stage1 This should really be an error, but we'll just warn for now
3:10 PM Ticket #8507 (ConstraintKinds TH regression from 7.6 -> 7.7) created by errge
[…] Results in this error message: […] This is a regression …
10:46 AM Ticket #4135 (Can't Quote Instance Associated Types in Template Haskell) closed by simonpj
fixed: Comment 2 works now, with the new Template Haskell story. I've added a new …
10:46 AM Ticket #4230 (Template Haskell: less type checking in quotations?) closed by simonpj
fixed: Closing this because the [blog:Template%20Haskell%20Proposal TH blog post …
10:42 AM Ticket #8506 (misleading error message for duplicate type class instances) closed by simonpj
fixed
10:41 AM Ticket #7477 (reifyInstances can't deal with polykinded type families) closed by simonpj
fixed: Fixed at last. Simon
10:40 AM Changeset in ghc [a69fea8e]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 #8506
10:40 AM Changeset in ghc [f6f9eb3]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 for Trac #4135, comment 2
10:40 AM Changeset in ghc [bc5f6f5]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@…>
Error message wibbles
10:40 AM Changeset in testsuite [8a4d858]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8506
10:40 AM Changeset in testsuite [7a318d7]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test for Trac #4135, comment 2
10:40 AM Changeset in testsuite [559436a]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
10:40 AM Changeset in ghc [959eef6]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 #7477
10:40 AM Changeset in testsuite [37158ff]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #7477
10:39 AM Changeset in ghc [38438e13]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve a parser error message (Trac #8506)
10:39 AM Changeset in ghc [8944fd3]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Zonk the type in reifyInstances (fixes Trac #7477) A simple oversight, but crucial! tcLHsType was returning F k Int where k is a unification variable that has been unified with *
9:47 AM Ticket #8450 (can't match type Bool with (), but shouldn't have to) closed by simonpj
fixed: Thank you for the provocation. Things are much better now. Simon
9:46 AM Changeset in ghc [136dc98e]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 #8450
9:46 AM Changeset in testsuite [8c88d0a]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8450
9:41 AM Changeset in ghc [a2ff078]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@…>
Error messsage wibbles
9:41 AM Changeset in ghc [bc61455d]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@…>
Peak megabytes for T1969 varies from run to run
9:41 AM Changeset in testsuite [6162a7c]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error messsage wibbles
9:41 AM Changeset in testsuite [19b8f3b]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Peak megabytes for T1969 varies from run to run
9:40 AM Changeset in ghc [1548d83e]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make -ddump-tc-trace imply -ddump-cs-trace
9:40 AM Changeset in ghc [2c6b201]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add filterVarEnv
9:40 AM Changeset in ghc [706552a]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Untabify and whitespace
9:40 AM Changeset in ghc [06aac68]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Refactor the constraint solver (again!) There are three core changes here: a) In the constraint-solver pipeline. Given a work-item 'wi', the old scheme was: let relevant = getRelevantInerts wi interact 'wi' with each constraint in 'relevant' Bu now we have a single step interact 'wi' with the inert-set This turns out to avoid duplication, between getRelevantInerts (which needs to know which are relevant) and the interact step. Simpler, cleaner. This in turn made it sensible to combine the 'spontaneous solve' stage into the 'interact with inerts' stage. b) Wanteds are no longer used to rewrite wanteds. See Trac #8450. This in turn means that the inert set may have - many CFunEqCans with the same LHS - many CTyEqCans with the same LHS Hence the EqualCtList in teh domain of inert_eqs and inert_funeqs c) Some refactoring of the representation of the inert set, Notably inert_dicts and inert_funeqs are indexed by Class and TyCon respectively, so we can easily get all the constraints relevant to that class or tycon There are many knock on effects! This started as a small job but I ended up doing qite a lot. Some error messages in the test suite really did improve as a result of (b)
9:40 AM Changeset in ghc [28e2606c]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Untabify and whitespace
8:34 AM Ticket #8499 (Template Haskell: newName not new enough) closed by simonpj
fixed
8:34 AM Ticket #8500 (Default associated type instances not instantiated) closed by simonpj
fixed
8:33 AM Changeset in ghc [a7d9aa1]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 #8499
8:33 AM Changeset in testsuite [a019503]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8499
8:33 AM Changeset in ghc [ac4a5e29]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 #8500
8:33 AM Changeset in testsuite [d4da5f8]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8500
8:30 AM Changeset in ghc [ba33d57e]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comments and reorg only
5:33 AM Ticket #8506 (misleading error message for duplicate type class instances) created by carter
In the following code I accidentally declared a type class more than once, …

Nov 5, 2013:

10:10 PM WorkingConventions/FixingBugs edited by simonpj
(diff)
9:49 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
9:34 PM Ticket #8505 (Arrows example error) created by pdfrod
In the section 7.15.2. Conditional commands of the User's Guide …
8:28 PM Changeset in ghc [1415647] by Herbert Valerio Riedel <hvr@…>
Clean-up Cmm of import/export primitives This is a follow-up to e94799c9 fixing the Cmm implementation of the primops based on suggestions by Duncan Coutts. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:28 PM Changeset in integer-gmp [dfd65a2]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Clean-up Cmm of import/export primitives This is a follow-up to e94799c9 fixing the Cmm implementation of the primops based on suggestions by Duncan Coutts. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:17 PM Changeset in ghc [50d4cd7a]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
More comments on Usage and Dependencies
2:58 PM Changeset in ghc [e470290f]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix checking of shadowed names (fixes Trac #8499)
2:58 PM Changeset in ghc [ae9ed7de]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comments on mi_usages
2:58 PM Changeset in ghc [6f331d69]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix marshalling of IfaceAt to and from interface files I had forgotten about Note [CoAxBranch type variables] in CoAxiom This patch fixes Trac #8500
2:55 PM Changeset in ghc [a4494acd]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve pretty printing of IfaceAT in interface files
2:01 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
12:21 PM Changeset in ghc [abd4fae9] by Herbert Valerio Riedel <hvr@…>
Add primitives to write/read Integers to/from bytearrays This adds the following new (internal) primitives {{{#!hs sizeInBaseInteger :: Integer -> Int# -> Word# exportInteger :: Integer -> MutableByteArray# s -> Word# -> Int# -> State# s -> (# State# s, Word# #) importInteger :: ByteArray# -> Word# -> Word# -> Int# -> Integer }}} The import/export primitives support selecting most/least significant byte first order as well as using an offset into the byte-arrays. See Haddock comments for more details. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:21 PM Changeset in integer-gmp [e94799c]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Add primitives to write/read Integers to/from bytearrays This adds the following new (internal) primitives {{{#!hs sizeInBaseInteger :: Integer -> Int# -> Word# exportInteger :: Integer -> MutableByteArray# s -> Word# -> Int# -> State# s -> (# State# s, Word# #) importInteger :: ByteArray# -> Word# -> Word# -> Int# -> Integer }}} The import/export primitives support selecting most/least significant byte first order as well as using an offset into the byte-arrays. See Haddock comments for more details. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:50 AM Ticket #8504 (Provide minor GC residency estimates) created by ezyang
Currently, the residency statistics (e.g. max residency and current …

Nov 4, 2013:

5:08 PM Commentary/Rts/Storage/Stack edited by Tarrasch
grammar (diff)
5:00 PM Commentary/Rts/Storage/Stack edited by Tarrasch
clarify (diff)
4:59 PM Commentary/Rts/Storage/Stack edited by Tarrasch
Mention UNDERFLOW_FRAME (diff)
4:52 PM Commentary/Rts/Storage/Stack edited by Tarrasch
Fix dead link (diff)
4:07 PM Ticket #8503 (New GeneralizedNewtypeDeriving check still isn't permissive enough) created by goldfire
Roman Cheplyaka writes: I just tried compiling smallcheck with GHC HEAD, …
3:10 PM Ticket #8502 (Document a surprising {{{unsafeDupablePerformIO}}} limitation.) created by int-e
We just discussed the following code on #ghc. […] This is not a bug; …
1:42 PM Ticket #1201 (ghci runs Template Haskell splices 4 times) closed by monoidal
fixed: This is now fixed, thanks to new TH.
1:37 PM Changeset in ghc [9f507c6b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Mention some new instances in release notes
9:37 AM Ticket #8495 (Infinite loop when using Data.HashTable.newHint and Data.HashTable.update) closed by erszcz
wontfix: Definitely. I haven't noticed the deprecation notice and it probably …
9:06 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:11 AM Changeset in ghc [7e4406b2]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Tweak lookup semantics for GHCi macros This changes the prefix-based lookup to prefer macros over builtins only if the macro name matches an existing builtin name. See #8305 for more details. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:11 AM Changeset in ghc [2c028d8]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update obsolete URLs in documentation Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:11 AM Changeset in ghc [7ea0c63b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Fix obsolete mention of `darcs-all` script Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:26 AM Ticket #8501 (Improve error message when using rec/mdo keyword without RecursiveDo ...) created by shelarcy
GHC shows unhelpful error message when using rec keyword and/or mdo …
1:30 AM Ticket #8500 (Default associated type instances not instantiated) created by goldfire
I have these modules: […] […] When I say ghc A.hs B.hs, all …
1:26 AM Ticket #8499 (Template Haskell: newName not new enough) created by goldfire
When I compile this: […] I get this: […] The problem is that, in …
1:08 AM Ticket #8483 (Use addDependentFile in Language.Haskell.TH.Syntax.quoteFile) closed by thoughtpolice
fixed: Merged, thanks!
1:07 AM Ticket #8256 (adding locality levels to prefetch# and friends) closed by thoughtpolice
fixed: Merged, thanks!

Nov 3, 2013:

11:32 PM Changeset in ghc [28ef0bd] by Austin Seipp <austin@…>
Use addDependentFile in quoteFile. We'd expect recompilation if these files change. Authored-by: Adam Vogt <vogt.adam@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
11:22 PM Changeset in ghc [37ae422f]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Update documentation concerning prefetch ops Also remove can_fail=True since it's likely unnecessary upon discussion (see #8256.) Signed-off-by: Austin Seipp <austin@well-typed.com>
2:30 PM Commentary/Rts/Storage/Stack edited by Tarrasch
Fix old link (diff)
2:28 PM Commentary/Rts/CAFs edited by Tarrasch
Update redirect (diff)
2:12 PM Commentary/Rts/Storage/HeapObjects edited by Tarrasch
Remove GRAN, doesn't exist anymore (what is it anyway?) (diff)
1:23 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
12:02 PM Changeset in directory [5c9de1f]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Travis-CI script & README Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:10 AM Status/GHC-7.8/Libraries edited by hvr
(diff)
8:42 AM Changeset in ghc [c3e7823e]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Silence two AMP warnings Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Nov 2, 2013:

10:16 PM Ticket #8498 (gcc hardcoded in build scripts! (ignores the --with-gcc= flag in ...) created by carter
NB: this may be a dupe of another issue, but reporting is separately for …
9:41 PM Changeset in ghc [5a01117]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Bump all version numbers in release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
9:03 PM Ticket #1480 (Template Haskell should allow reification of modules) closed by thoughtpolice
fixed: Merged, thanks!
9:02 PM Ticket #7753 (Profiling report broken with foreign exported functions) closed by thoughtpolice
fixed: Merged, thanks!
9:02 PM Ticket #8134 (ghc enters a loop while building 7.6.3 for powerpc64 platform.) closed by thoughtpolice
fixed: Merged - thanks everyone!
9:01 PM Ticket #8322 (Report all missing module, not just the first or last) closed by thoughtpolice
fixed: Merged, thanks Joachim!
9:00 PM Ticket #8256 (adding locality levels to prefetch# and friends) closed by thoughtpolice
fixed: The documentation patch is now merged, thanks!
8:58 PM Changeset in ghc [773365f9]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
rts_apply uses CCS_MAIN rather than CCS_SYSTEM (#7753) Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [7e6786fa]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Remove superfluous #ifdef from Takano's patch. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [dd2bce5]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
adding further documentation and explanation to the prefetch primops Signed-off-by: Carter Tazio Schonwald <carter.schonwald@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [23fb7f3b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Nuke trailing whitespace. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [63b8147]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Load all modules before reporting errors (#8322) Instead of reporting only one "module not found"" error. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [69fa2e55]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add support for module reification (#1480) Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [1082f21b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix a race condition when PROFILING (#8453) Signed-off-by: Austin Seipp <austin@well-typed.com>
8:58 PM Changeset in ghc [a4b1a435]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix loop on 64bit Big-Endian platforms (#8134) This is a fun one. In the RTS, `cas` expects a pointer to StgWord which will translate to unsigned long (8 bytes under LP64.) But we had previously declared token_locked as *StgBool* - which evaluates to 'int' (4 bytes under LP64.) That means we fail to provide enough storage for the cas primitive, causing it to corrupt memory on a 64bit platform. Hilariously, this somehow did not affect little-endian platforms (ARM, x86, etc) before. That's because to clear our lock token, we would say: token_locked = 0; But because token_locked is 32bits technically, this only writes to half of the 64bit quantity. On a Big-Endian machine, this won't do anything. That is, token_locked starts as 0: / token_locked | v 0x00000000 and the first cas modifies the memory to: / valid / corrupted | | v v 0x00000000 0x00000001 We then clear token_locked, but this doesn't change the corrupted 4 bytes of memory. And then we try to lock the token again, spinning until it is released - clearly a deadlock. Related: Windows (amd64) doesn't follow LP64, but LLP64, where both int and long are 4 bytes, so this shouldn't change anything on these platforms. Thanks to Reid Barton for helping the diagnosis. Also, thanks to Jens Peterson who confirmed this also fixes building GHC on Fedora/ppc64 and Fedora/s390x. Authored-by: Gustavo Luiz Duarte <gustavold@linux.vnet.ibm.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
7:26 AM Changeset in ghc [72102f10]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Update tcfail082 output (#8322 fallout) Signed-off-by: Austin Seipp <austin@well-typed.com>
7:26 AM Changeset in testsuite [88fd25a]wip/nested-cprwip/pattern-synonyms by Austin Seipp <austin@…>
Update tcfail082 output (#8322 fallout) Signed-off-by: Austin Seipp <austin@well-typed.com>
5:59 AM Ticket #8497 (clang/wrapper cannot build GHC head with integer-gmp on Mavericks) created by kazu-yamamoto
I'm using GHC 7.6.3 with clang/wrapper (setting is modified). This GHC …
3:38 AM Changeset in ghc [336e94d] by Austin Seipp <austin@…>
Allow module reification (#1480) Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
Note: See TracTimeline for information about the timeline view.