Timeline


and

Nov 11, 2013:

11:33 PM Commentary/Libraries/Integer edited by kraai
(diff)
10:18 PM Changeset in process [0f1fe27]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Tweak deprecation message so Haddock recognizes module name Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:16 PM Ticket #8522 (exprType incorrect for let expressions which bind types) created by afarmer
The exprType function in CoreUtils doesn't handle let expressions which …
7:37 PM TestingPatches edited by kraai
(diff)
1:32 PM Ticket #8513 (Parallel GC increases CPU load while slowing down program) closed by simonmar
worksforme: Your results seem to be in line with what I would expect. The parallel GC …
12:45 PM Ticket #8521 (Tight loop prevents other threads from running in available cores) created by facundo.dominguez
The following program does not terminate when compiled with: {{{ghc --make …
11:28 AM Ticket #8520 (ghc.exe: internal error: loadArchive: error whilst reading `C') created by awson
While building Agda HEAD, GHC 7.7.20131108 for i386_unknown_mingw32 spits: …
8:50 AM Ticket #8519 (Make -XTemplateHaskell an error in a stage-1 compiler) created by simonpj
If you use the language extension -XTemplateHaskell in a stage-1 …
8:38 AM Ticket #8518 (panic ghci when probably using type families incorrectly) closed by simonpj
fixed: Thank you! Happily the original program compiled with HEAD (shortly to be …

Nov 10, 2013:

7:00 PM Ticket #8518 (panic ghci when probably using type families incorrectly) created by HanStolpo
Hi I am a beginner and was playing around with type families when ghc gave …

Nov 9, 2013:

9:00 PM Ticket #8517 (Add library function retrieve label set by GHC.Conc.Sync.labelThread) created by blitzcode
It would be useful to be able to retrieve the label set by the labelThread …
8:39 PM Ticket #8516 (Add (->) representation and the Invariant class to GHC.Generics) created by nfrisby
We currently disallow any use of the parameter in the domain of (->). …
8:04 PM Ticket #8515 (Biographical profiling (-hb) crashes, other profiling modes have truncated ...) created by blitzcode
I have a (non-trivial) threaded program which always crashes with a Bus …
6:40 PM Ticket #8514 (Non-ideal error with a kind error in a tuple) created by monoidal
The definition […] gives an error: […] However, obviously that's …
6:22 PM Ticket #8513 (Parallel GC increases CPU load while slowing down program) created by blitzcode
I noticed this issue with a lot of my programs. I have no idea if this is …
5:42 PM Ticket #8512 (Add flag like '-xc' that only reports uncaught exceptions) created by blitzcode
The -xc RTS flag reports the stack trace of all exceptions. This can be …
10:16 AM Ticket #8511 (GHCi Startup Crash with GHC 7.6.3 / HP 2013.2.0.0 64bit on OS X 10.6) created by blitzcode
A couple of HP / GHC releases later this bug still seems to exist: …

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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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
7:20 AM Changeset in ghc [1e38f49]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8506
10:40 AM Changeset in ghc [f6f9eb3]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test for Trac #4135, comment 2
10:40 AM Changeset in ghc [bc5f6f5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve a parser error message (Trac #8506)
10:39 AM Changeset in ghc [8944fd3]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error messsage wibbles
9:41 AM Changeset in ghc [bc61455d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make -ddump-tc-trace imply -ddump-cs-trace
9:40 AM Changeset in ghc [2c6b201]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add filterVarEnv
9:40 AM Changeset in ghc [706552a]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Untabify and whitespace
9:40 AM Changeset in ghc [06aac68]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #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]ghc-7.8wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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, …
Note: See TracTimeline for information about the timeline view.