Timeline


and

Dec 1, 2013:

11:35 PM Ticket #8493 (Can't compile happy + ghc with clang's CPP) closed by carter
fixed: I think this issue *should be resolved now* make sure you're using the …
8:54 PM Changeset in ghc [ac31b79]ghc-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@…>
Move the LDV code below the self-loop label (#8275)
8:54 PM Changeset in ghc [574ccfa]ghc-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@…>
Respect the ordering of -package directives
8:54 PM Changeset in ghc [6178f6e]ghc-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@…>
Don't explicitly refer to nodeReg in ldvEnterClosure
7:47 PM Ticket #8588 (ForeignImport coercion evaluated before typechecking) closed by zcourts
invalid: As usual stuff doesn't become obvious until after you've made a fool of …
7:33 PM Ticket #8588 (ForeignImport coercion evaluated before typechecking) created by zcourts
I'm fairly new to Haskell by all accounts this could have been caused by …
6:09 PM Ticket #8587 (Add operator <%>, or similar, as <%> = flip fmap) closed by monoidal
invalid: Proposals to add new functions or instances should be discussed on the …
5:36 PM Ticket #8587 (Add operator <%>, or similar, as <%> = flip fmap) created by bunimo
Often, piping results through one function after another provides a good …
3:37 PM Building/Preparation/MacOSX edited by adamse
Information on how to use clang on OS X 10.9 (diff)
1:17 PM Ticket #8586 (internal error: evacuate(static): strange closure type 5189) created by guest
I cannot reproduce this reliably, but it happened once. Here’s what I did: …
10:28 AM Changeset in ghc [6d24076b]ghc-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 Jan Stolarek <jan.stolarek@…>
Document solution to #8275
10:25 AM Changeset in process [b2f1133]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Minor update to changelog file Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:21 AM Changeset in process [edda1be]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock note to `call{Command,Process}` wrt execptions (#2233) This also tweaks Haddock comments & markup in "System.Process" while at it. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:15 AM Ticket #8585 (Loopification should omit stack check) created by jstolarek
When we optimize a self-recursive tail call using loopification we don't …
10:15 AM Changeset in process [776a260]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Make `cleanupProcess` resistant to SIGPIPE Otherwise, `cleanupProcess` may exit prematurely if trying to flush out data to the process' stdin handle even though the endpoint has already vanished, and fail to complete the cleanup process. See also 228297ec53e9ee7a1a6a3c5964ca7e89a6474c9b and #2233. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:08 AM Ticket #8275 (Loopification breaks profiling) closed by jstolarek
fixed: OK, I see how the loopification patch works. Previously we had: […] …
8:44 AM WorkingConventions edited by jstolarek
(diff)
8:08 AM Changeset in ghc [adb9964]ghc-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 Jan Stolarek <jan.stolarek@…>
Fix loopification with profiling and enable it by default (#8275)
5:11 AM PatternSynonyms edited by cactus
(diff)
4:47 AM PatternSynonyms edited by cactus
(diff)
4:44 AM Ticket #8584 (Pattern synonym type signatures) created by cactus
Currently, the only way to specify a type signature for a pattern synonym …
4:41 AM Ticket #8583 (Associated pattern synonyms) created by cactus
The PatternSynonyms wiki page has a section on (typeclass-)associated …
4:39 AM Ticket #8582 (Record syntax for pattern synonyms) created by cactus
Implement syntax for […] which can then be used just like a regular …
4:31 AM Ticket #8581 (Add support for explicitly-bidirectional pattern synonyms) created by cactus
Some patterns cannot, by themselves, be turned over into an expression, so …

Nov 30, 2013:

10:38 PM Changeset in process [228297e]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop redundant hFlush & add ignoreSigPipe to hClose This is a follow-up to 79ae975aab5866de38e1a01aca7ac5bd9cde2285 (addressing #2233) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:14 PM Ticket #8580 (Integer size mismatch errors) created by heatsink
There is an integer size mismatch in rts/Stats.c that causes validation …
3:52 PM Ticket #8574 (Failure to require FlexibleContexts) closed by monoidal
fixed: Documentation fixed.
3:50 PM Changeset in ghc [4bbffb4]ghc-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@…>
Fix documentation of FlexibleContexts (#8574)
3:32 PM Commentary edited by jstolarek
(diff)
3:28 PM Commentary edited by jstolarek
(diff)
2:23 PM Ticket #8579 (Loading a module in GHCi affects shadowing) created by monoidal
In GHCi we can redefine a data declaration; last definition counts. But …
12:53 PM Changeset in ghc [de9f17e]ghc-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@…>
Update "stolen syntax" section (#8575)
1:32 AM Ticket #8578 (Improvements to SpinLock implementation) created by parcs
The SpinLock? implementation has a number of deficiencies. Here is a pair …
1:13 AM Changeset in ghc [9c3c1527]ghc-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@…>
Call busy_wait_nop() in the spin-wait loop in shutdown_gc_threads()

Nov 29, 2013:

11:24 PM Ticket #8577 (Polymorphism and typed TH) created by monoidal
Consider […] $$x is given type A a, as expected. However, $$y
9:48 PM Ticket #8575 (remove obsolete "stolen syntax") closed by monoidal
fixed: I've pushed it, thanks. Also added typed TH syntax.
9:44 PM Changeset in ghc [2e3c6a53]ghc-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@…>
Update "stolen syntax" section (#8575) Thanks to aavogt
9:25 PM Ticket #8576 (Improve deriving error messages) created by nomeata
Instead of […] for […] we want something like […] where we tell …
8:57 PM Ticket #8575 (remove obsolete "stolen syntax") created by aavogt
Hi. The quasiquotes [:x| |] and implicitparams %x syntax …
7:08 PM Changeset in ghc [a96f715f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add test case for #8569
7:08 PM Changeset in testsuite [c9d164a]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add test case for #8569
7:08 PM Changeset in ghc [3526198]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test the strictness analyzer using annotations This adds a new directory, tests/stranal/sigs. Tests therein are expected to use the StrAnalAnnotation GHC plugin (also therein) to annotate (some of) their top level functions like this: foo x = x {-# ANN foo (StrAnal "<S,1*U>") #-} Then the test will fail if the strictness analyzer finds a different strictness signature.
7:08 PM Changeset in testsuite [b0358f4]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test the strictness analyzer using annotations This adds a new directory, tests/stranal/sigs. Tests therein are expected to use the StrAnalAnnotation GHC plugin (also therein) to annotate (some of) their top level functions like this: foo x = x {-# ANN foo (StrAnal "<S,1*U>") #-} Then the test will fail if the strictness analyzer finds a different strictness signature.
6:44 PM Changeset in ghc [ceb600de]ghc-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 Joachim Breitner <mail@…>
Minor fix to example GHC plugin in the documentation
3:14 PM Ticket #8574 (Failure to require FlexibleContexts) created by Feuerbach
GHC accepts the following code without any extensions: […] It ought …
2:43 PM Ticket #8573 ("evacuate: strange closure type 0" when creating large array) created by nad
Consider the following code: […] If I compile the program using `ghc …
9:28 AM Changeset in ghc [23efdd6f]ghc-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 Joachim Breitner <mail@…>
Update Notes for Coercible
8:33 AM Changeset in process [d95a670]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Be even more careful with the threads that consume output (#2233) There is a potential deadlock with withCreateProcess in the case that there's an exception: cleanupProcess will try to hClose the various handles, but if another thread holds the Handle lock then that hClose will block. Takano Akio fixed the main case of this (in patch 32223a9ab174c22e939c81e24b6f48223c7cb020) by terminating the process (before closing the handles) This works because terminating the process will eventually cause those other threads to finish and release the Handle lock, so we can hClose. However on Unix terminateProcess is not guaranteed to terminate the process since it uses SIGTERM, which can be handled or ignored. So we have to separately guarantee that the handles can be hClosed, and the simplest way to do this is to ensure that the thread reading from the handles get killed in the case there's an exception. So we change forkWait to withForkWait that will kill off the thread if the body gets an exception. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:33 AM Changeset in process [79ae975]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Improve the code for ignoring EPIPE (#2233) Factor it out into an ignoreSigPipe util, and use it in both readProcess and readProcessWithExitCode. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 AM Changeset in process [b601209]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
All new sync process functions now terminate on an exception (#2233) Now all the functions that call a process synchronously have the same behaviour. Previously just readProcess, readProcessWithExitCode did this, now callProcess and callCommand do too. If a thread running one of these functions gets an exception, including async exceptions (such as from timeout or killThread), then the external process gets terminated. Introduce a helper function to implement this behaviour. Currently it is not exposed to users, but that could be changed easily. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:09 AM Changeset in ghc [9641641]ghc-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@…>
Remove whitespace between macro identifiers and `(` This is a kludge to workaround Clang's CPP lacking traditional-mode CPP (This was reported by Kazu Yamamoto) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:45 AM Ticket #8570 (In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus ...) closed by simonpj
fixed: Thank you!
7:31 AM Changeset in ghc [59e17d6e]ghc-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@…>
Fail (rather than addErr) if you use a bogus field in a pattern This fixes Trac #8570
7:30 AM Changeset in ghc [c5fa5d5]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 #8570
7:30 AM Changeset in testsuite [162765e]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8570
7:26 AM Changeset in ghc [76f8a4b3]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 when fixing Trac #8570
7:26 AM Changeset in testsuite [5f3c989]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles when fixing Trac #8570

Nov 28, 2013:

7:06 PM Ticket #8572 (Building an empty module with profiling requires profiling libraries for ...) created by parcs
[…] […] I can't built module A without profiling libraries for …
5:19 PM Ticket #8571 (Validation fails) created by khyperia
[…] followed by an infinite hang. If I comment out that specific …
4:07 PM Ticket #8557 (Panic "tcTyVarDetails" when :forcing a kind-polymorphic data family ...) closed by simonpj
fixed
4:06 PM Changeset in ghc [a95a20b]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 #8557
4:06 PM Changeset in testsuite [45f2d29]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8557
4:02 PM Ticket #8540 (Template Haskell handling bug in ghc-7.7.20131115 ?) closed by simonpj
fixed
4:02 PM Changeset in ghc [cefe67b0]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
4:02 PM Changeset in ghc [88d06d9]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@…>
Fixed Trac #8540
4:02 PM Changeset in testsuite [e00c604]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
4:02 PM Changeset in testsuite [3549b37]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Fixed Trac #8540
3:59 PM Changeset in ghc [a8ac471d]ghc-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 the deugger (fixing Trac #8557) The runtime debugger (which has not received any love from anyone for many years) looks wrong to me; it was failing to instantiate the outer foralls of a variable when called from :force, which calls cvObtainTermFromId, which calls cvObtainTerm I simplified the code too. But I'm flaky on how this debugger stuff is really supposed to work, so I'm partly guessing. Tests pass though.
3:59 PM Changeset in ghc [f3a84161]ghc-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 faff to get GHCi's top-level environment right This fixes #8540 (again), and simplifies matters a bit more. In particular, I got rid of ic_sys_vars altogether. Mostly they can just go in ic_tythings, apart from dfuns, which are readily gettable from the instances anyway. See documentation in Note [Initialising the type environment for GHCi] in TcEnv.
3:56 PM Changeset in ghc [d79ecb4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Explain skipping compiler-perf tests when debugging is on
3:56 PM Changeset in testsuite [14958ae]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Explain skipping compiler-perf tests when debugging is on
2:36 PM Ticket #8570 (In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus ...) created by rzetterberg
Hello, This is my first bug report for GHC. I encountered a type error …
2:20 PM Building/RunningTests/Adding edited by nomeata
Mention that compiler_stats_num_field skips the test with DEBUG on (diff)
2:17 PM Changeset in ghc [3ec7f39]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Summarily skip compiler_perf tests when DEBUG is on by ensuring this in the test runner.
2:17 PM Changeset in testsuite [715e313]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Summarily skip compiler_perf tests when DEBUG is on by ensuring this in the test runner.
1:50 PM Changeset in ghc [6da3797]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Undo my wrong bumps to T6048 which were obtained when running with -DDEBUG. Sorry about that.
1:50 PM Changeset in testsuite [ee9c477]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Undo my wrong bumps to T6048 which were obtained when running with -DDEBUG. Sorry about that.
12:57 PM Ticket #6084 (Add stg_ap_pnnv and related call patterns) closed by simonmar
fixed: Thanks - I pushed this today, with some more comments after peering at the …
12:53 PM Changeset in ghc [52b96a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add Note about residency tests
12:53 PM Changeset in ghc [eebf8d87]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for T6084
12:53 PM Changeset in testsuite [43e82d1]wip/nested-cprwip/pattern-synonyms by Simon Marlow <marlowsd@…>
add Note about residency tests
12:53 PM Changeset in testsuite [3d9ebe96]wip/nested-cprwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add test for T6084
12:52 PM Changeset in ghc [4d1ea48]ghc-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 Marlow <marlowsd@…>
Implement shortcuts for slow calls (#6084)
12:52 PM Changeset in ghc [e9b0d368]ghc-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 Marlow <marlowsd@…>
Fix up shortcut for slow calls
12:52 PM Changeset in ghc [9021737d]ghc-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 Marlow <marlowsd@…>
Comments on slow-call-shortcutting
12:52 PM Changeset in ghc [77e33bc]ghc-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 Marlow <marlowsd@…>
-ddump-cmm: don't dump the proc point stage if we didn't do anything
12:52 PM Changeset in ghc [6f7fa4e]ghc-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 Marlow <marlowsd@…>
Refactor handleRunStatus some more, add comments and tidy up formatting I liked the idea of combining traceRunStatus and handleRunStatus, but I think we lost a bit of clarity where traceRunStatus wants to fall back to handleRunStatus when the breakpoint is enabled. So I refactored it a bit more.
12:43 PM Commentary/Packages/MultiInstances edited by tibbe
(diff)
12:36 PM Changeset in ghc [1df2116c]ghc-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 Joachim Breitner <mail@…>
EvCast needs to take a representational coercion as the coercions for type literals are of that role.
12:36 PM Changeset in ghc [25be487]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Update some perf results for master
12:36 PM Changeset in testsuite [4afbacc]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Update some perf results for master
12:35 PM Ticket #8569 (ASSERT in testcase type-rep, only in some ways:) created by nomeata
On HEAD, I currently (d55cc30658ae7c5afc0d62f3bd118fb2a5fcee40) get …
11:58 AM Changeset in ghc [3fcde749]ghc-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 only
11:50 AM Changeset in ghc [e28006c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Output of T7861 has changed
11:50 AM Changeset in testsuite [a2b2f4b6]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Output of T7861 has changed
11:49 AM Changeset in ghc [d3b14cd4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
#3103 no longer broken, it seems
11:49 AM Changeset in testsuite [2e161a4]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
#3103 no longer broken, it seems
9:46 AM Changeset in ghc [b5b6613]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Ensure nested CPR does not break havoc with repeat ...not that we do have nested CPR right now, but when we do, this should better not break.
9:46 AM Changeset in testsuite [c3646db]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Ensure nested CPR does not break havoc with repeat ...not that we do have nested CPR right now, but when we do, this should better not break.

Nov 27, 2013:

5:31 PM Ticket #8565 (New GeneralisedNewtypeDeriving needs help with higher rank types) closed by nomeata
fixed: After a day of refactoring I got it to work. The code will still need `{-# …
5:21 PM Changeset in ghc [d2bcc79]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Testcase #8565 no longer broken at least with ImpredicativeTypes enabled in this module.
5:21 PM Changeset in testsuite [e19dc21]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Testcase #8565 no longer broken at least with ImpredicativeTypes enabled in this module.
5:19 PM Changeset in ghc [9bc5b53]ghc-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 Joachim Breitner <mail@…>
Coercible for impredicative types using deferTcSForAllEq, just like for ~ types, during canonicalization
4:15 PM Changeset in ghc [808ded9c]ghc-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 Joachim Breitner <mail@…>
Get rid of EvCoercible and use EvCoercion to describe the evidence for Coercible instances.
3:13 PM Changeset in ghc [aef9044]ghc-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 Joachim Breitner <mail@…>
Beginnings of removing EvCoercible
3:13 PM Changeset in ghc [9d643cf]ghc-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 Joachim Breitner <mail@…>
Roleify TcCoercion Previously, TcCoercion were only used to represent boxed Nominal coercions. In order to also talk about boxed Representational coercions in the type checker, we add Roles to TcCoercion. Again, we closely mirror Coercion. The roles are verified by a few assertions, and at the latest after conversion to Coercion. I have put my trust in the comprehensiveness of the testsuite here, but any role error after desugaring popping up now might be caused by this refactoring.
3:02 PM Changeset in ghc [ce5b7e7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Bump haddock.compiler perf data
3:02 PM Changeset in testsuite [3e2b557]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Bump haddock.compiler perf data
2:28 PM Changeset in ghc [3ac1539]ghc-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 Joachim Breitner <mail@…>
Add role-checking ASSERT to mkCast
2:28 PM Changeset in ghc [f432229b]ghc-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 Joachim Breitner <mail@…>
Remove unused liftTcCoSubstWith
12:43 PM Changeset in ghc [1812f449]ghc-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 Gabor Greif <ggreif@…>
Comment only
10:58 AM Changeset in ghc [a247887b]ghc-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 Gabor Greif <ggreif@…>
Comment only
1:32 AM Ticket #8562 (Builtin function __builtin___clear_cache is unavailable on GCC 4.2) closed by thoughtpolice
fixed: This should now be fixed, thanks!
1:32 AM Ticket #8561 (Clang/iOS: __builtin___clear_cache doesn't exist in clang, use ...) closed by thoughtpolice
fixed
1:29 AM Changeset in ghc [6279a011]ghc-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@…>
ghc.mk: one module name per line Signed-off-by: Austin Seipp <austin@well-typed.com>
1:29 AM Changeset in ghc [9fbb8c78]ghc-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@…>
Rejigger flushExec implementation (#8562, #8561) Instead, just don't do anything on x86/amd64, and on !x86, use either A) __clear_cache from libgcc, or B) sys_icache_invalidate for OS X (and iOS.) Signed-off-by: Austin Seipp <austin@well-typed.com>

Nov 26, 2013:

10:18 PM Changeset in ghc [df37261]ghc-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 Gabor Greif <ggreif@…>
Typos in comments
4:43 PM Changeset in ghc [5f3aa06]ghc-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 Joachim Breitner <mail@…>
Typos in comments in TcEvidence
4:34 PM Ticket #8568 (internal error: allocation of ... bytes too large) created by mojojojo
Running the following GHCi session: […] results in the following error: …
3:25 PM Ticket #8567 (Poor error message when GeneralizedNewtypeDeriving fails) created by goldfire
Say I try to compile this silly module: […] Then, I get this output: …
1:01 PM Ticket #8566 (Given kind equalities are discarded) created by dreixel
The following program: […] crashes a fresh copy of GHC HEAD with the …
11:26 AM Changeset in ghc [56b9f2a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add testcase for #8565
11:26 AM Changeset in testsuite [2f78a4e]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add testcase for #8565
11:01 AM Ticket #8565 (New GeneralisedNewtypeDeriving needs help with higher rank types) created by simonpj
Consider […] With the new "coerce" implementation of GND, this fails: …
Note: See TracTimeline for information about the timeline view.