Timeline


and

Nov 8, 2013:

9:45 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
6:54 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
6:00 PM Changeset in ghc [12369d6]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 Patrick Palka <patrick@…>
SysTools.getTempDir: don't retry after catching a does-not-exist error Previously, a command like $ ghc -tmpdir blah Foo where the directory blah/ does not exist, would loop forever: getTempDir would repeatedly try to create a temporary subdirectory inside blah/, catching the does-not-exist error thrown by createDirectory and retrying, in vain, with another suffix. Now instead the above compiler invocation will fail with an error: blah/ghc25781_0: createDirectory: does not exist (No such file or directory)
3:33 PM Changeset in unix [18a54fa]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Export `forkProcessWithUnmask` from `System.Posix.Process` This is a follow-up to 17192d89e6 which missed that export. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:18 PM Changeset in unix [5ccab3c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `cabal install` step to Travis CI script Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
2:48 PM Changeset in unix [a5aa36d]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
`M-x untabify` & `M-x delete-trailing-whitespace` ...on recently touched files Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:18 PM Ticket #8433 (forkProcess masks async exceptions inside the child process) closed by hvr
fixed
11:54 AM Changeset in unix [a6bc389]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Fix markup for function names in DEPRECATION messages This helps Haddock make tose hyperlinked functions. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:48 AM Changeset in unix [17192d8]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `forkProcessWithUnmask` function This seemed to be an obvious addition while working on #8433. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:46 AM Changeset in unix [897d66a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Fix `forkProcess` to inherit caller's `MaskingState` ...and while at it, use `bracket` to fix a potential resource leak due to `freeStablePtr` not being called if `throwErrnoIfMinus1` throws an exception. This fixes #8433 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:38 AM Ticket #8510 (Clear up what extensions are needed at a Template Haskell splice site) created by simonpj
Suppose you write […] where cleverThFunction is some Template Haskell …
10:56 AM Ticket #8037 (GHC panic when compiling unsafeCoerce) closed by simonpj
fixed: Thanks. I've robustified this. Simon
10:52 AM Changeset in ghc [bd612773]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 #8037
10:52 AM Changeset in testsuite [9441b7f]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8037
10:51 AM Changeset in ghc [a1b6932]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 worker/wrapper robust to bogus unsafeCorece Fixes Trac #8037
7:20 AM Changeset in base [e312692]ghc-7.8 by Gabor Greif <ggreif@…>
Spelling in comments
4:50 AM Ticket #8509 (Doc Formatting - Patch Included) created by cschneid
Attached is a patch to fixup a bit of doc formatting in the …

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 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 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 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 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 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>
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 [a69fea8]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 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 [6f331d6]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 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: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>
Note: See TracTimeline for information about the timeline view.