Timeline


and

Oct 21, 2013:

7:59 PM Changeset in ghc [3fb19a9]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 Edward Z. Yang <ezyang@…>
s/excpetions/exceptions/ Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
3:40 PM Ticket #8468 (ghc panic in deriving Generic1 on Array#) created by ghorn
Compiling the following code […] causes panic: […] some comments …
9:31 AM Ticket #8464 (ghc -C crashes on Hello World) closed by jstolarek
duplicate

Oct 20, 2013:

11:56 PM TemplateHaskell/Annotations edited by errge
(diff)
11:55 PM TemplateHaskell/Annotations edited by errge
(diff)
11:22 PM Ticket #7867 (Allow template-haskell to communicate with itself between compilation ...) closed by errge
duplicate: Closing this bug report as we now have a [wiki:TemplateHaskell/Annotations
11:07 PM Ticket #8337 (make it possible for the user to force orphanness via a module-level ...) closed by errge
invalid: Closing this one, as this feature request seems to be a bad idea after …
8:47 PM Ticket #8467 (Stack overflow when optimizing recursive newtype) created by goldfire
I have […] When I […] I get […] The module compiles fine …
8:40 PM Ticket #8464 (ghc -C crashes on Hello World) closed by carter
invalid: the flag -C is only for unregisterized GHC builds, ie when you've built …
7:46 PM Ticket #8466 (Aggregate “ambiguous import” errors for the same name) created by nomeata
When porting legacy code, such an error happens frequently. But instead of …
7:16 PM Ticket #8465 (./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and ...) created by ygramoel
I am trying to reproduce bug #8464 with the newest ghc; not available in …
6:02 PM Ticket #8464 (ghc -C crashes on Hello World) created by ygramoel
johan@morla:~/haskell\> cat hello.hs main = putStrLn "Hello, World!" …
4:24 PM Changeset in process [5f0a692]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add forgetten build-dep install step to `.travis.yml` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:20 PM Ticket #8463 (Inferred types problem) closed by kosmikus
invalid: I don't see incorrect behaviour here. Your type annotation is interpreted …
4:09 PM Changeset in process [6127c90]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove redundant `MIN_VERSION_unix(2,5,0)` conditionals Since ad1a5c88 `process` supports GHC>=7.2 (which implies `unix>=2.5`), therefore `MIN_VERSION_unix(2,5,0)` is always true. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:09 PM Changeset in process [6323146]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove obsolete Hugs CPP conditionals in `Internals.hs` The Hugs CPP conditionals in `System.Process.Internals` make little sense, as that module is only listed in `exposed-modules` when `impl(ghc)` and moreover, it's `import` in `System.Process` is guarded by an `#ifndef __HUGS__`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:09 PM Changeset in process [47dc1f2]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
`M-x delete-trailing-whitespace` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:09 PM Changeset in process [688254f]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop obsolete `if !impl(nhc98)` and refactor `.cabal` This is a follow-up to e5fc2ac7c which removed NHC98 support but didn't consider the `process.cabal` file. While at it, this normalizes other parts of the cabal file and adds a `repository this` declaration. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:09 PM Changeset in process [0b479ab]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `README.md` and `.travis.yml` script This enables testing (or rather testing the packages builds) for all released GHC versions this package is supposed to work with. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:08 PM Changeset in process [e6bb979]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove aux files `config.{guess,sub}` and `install-sh` These automake aux files are not needed (anymore). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:17 PM Ticket #8462 (Compiler crash on invalid type class instance) closed by monoidal
duplicate: Thanks for the report. This is already fixed in GHC 7.6, see #5951.
2:03 PM Ticket #8463 (Inferred types problem) created by danilo2
I've talked about this issue on Haskell irc and nobody knows why types are …
12:14 PM Changeset in unix [574c291]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Markdown-ify README and add Travis-CI script Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:01 PM Changeset in unix [ddfab51]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
`M-x untabify` changelog and unix.cabal Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:01 PM Changeset in unix [6bc4808]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>
6:42 AM Ticket #8462 (Compiler crash on invalid type class instance) created by thomaseding
If you try compiling the following code, the compiler crashes […] …
5:34 AM Ticket #8461 (Panic (on woefully incorrect code)) closed by monoidal
duplicate: It's already fixed in HEAD: …

Oct 19, 2013:

5:18 PM Ticket #8461 (Panic (on woefully incorrect code)) created by srhb
The following (very wrong) code causes a panic. The haskeline hackage …
3:54 PM Changeset in ghc [8159186f]decision-procedure by Iavor S. Diatchki <iavor.diatchki@…>
Generalize to support arbitrary theories. The theory of natural numbers is defined in TcTypeNats.
3:35 PM Ticket #8460 (Annotation reification with types in TH) created by errge
The attached patch adds two simple helper functions to support typed …
1:05 PM PatternSynonyms/Implementation created by cactus
8:09 AM Ticket #8459 (Role of TExp) created by monoidal
We've got type role TExp phantom where TExp is typed TH expression. As …
6:26 AM TeamGHC edited by thoughtpolice
(diff)
12:55 AM Status/Oct13 edited by thoughtpolice
Add TypeHoles? notes. (diff)
12:33 AM Building/CrossCompiling/iOS edited by maxs
(diff)

Oct 18, 2013:

11:37 PM Ticket #8119 (better type inference for lambdas) closed by monoidal
fixed: It's good in HEAD, which gives Int -> Int in both cases. I can't point …
11:33 PM Changeset in ghc [a6d5d9c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Test #8119
11:33 PM Changeset in testsuite [ce68132]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Test #8119
11:32 PM Changeset in ghc [c650ed4a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Test #8119
11:32 PM Changeset in testsuite [68aefc9]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Test #8119
9:32 PM Changeset in ghc [d4f7e011]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 about stack layout
7:43 PM Changeset in ghc [169a188]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Flush stdout after printing in runIO as the docs of runIO tell me to.
7:43 PM Changeset in testsuite [522f81d]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Flush stdout after printing in runIO as the docs of runIO tell me to.
5:27 PM Ticket #8458 (T5435_dyn_asm fails on x86_64 Linux) created by jstolarek
I keep getting failure from T5435_dyn_asm test: […]
5:22 PM Ticket #8456 (Control flow optimisations duplicate blocks) closed by jstolarek
fixed
5:05 PM Changeset in ghc [eb49cba]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Update performance tests Regressions in haddock for unknown reason
5:05 PM Changeset in testsuite [e7e0d82]wip/nested-cprwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Update performance tests Regressions in haddock for unknown reason
5:00 PM Changeset in ghc [77250f2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Update performance test due to fix for #8456
5:00 PM Changeset in testsuite [1e31b00]wip/nested-cprwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Update performance test due to fix for #8456
4:40 PM TeamGHC edited by jstolarek
(diff)
4:29 PM TeamGHC edited by jstolarek
(diff)
4:22 PM Status/Oct13 edited by heisenbug
spell this out (diff)
4:18 PM Changeset in ghc [f1c7d94]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 Jan Stolarek <jan.stolarek@…>
Comments only
4:01 PM Status/Oct13 edited by heisenbug
typo (diff)
3:57 PM Status/Oct13 edited by heisenbug
add accents (diff)
3:56 PM Status/Oct13 edited by lukexi
(diff)
3:54 PM Changeset in ghc [b0545d8]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 Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
3:54 PM Changeset in ghc [057bef6e]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 Jan Stolarek <jan.stolarek@…>
Improve control flow optimisation algorithm Fixes #8456. Previous version of control flow optimisations did not update the list of block predecessors, leading to unnecessary duplication of blocks in some cases. See Trac and comments in the code for more details.
3:54 PM Status/Oct13 edited by heisenbug
add myself (diff)
3:50 PM Status/Oct13 edited by heisenbug
(diff)
3:46 PM Status/Oct13 edited by heisenbug
grammar (diff)
3:45 PM Status/Oct13 edited by heisenbug
Richard did empty case (diff)
3:41 PM Status/Oct13 edited by heisenbug
typo (diff)
3:23 PM Ticket #7774 (T5313 fails) closed by nomeata
fixed: Everyone (including Travis) seems to agree that this works now; marking it …
3:22 PM Changeset in ghc [9ed37ee]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
T5313 now succeeds (Fixes: #7774)
3:22 PM Changeset in testsuite [2d2fa1b]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
T5313 now succeeds (Fixes: #7774)
3:14 PM Ticket #8457 (-ffull-laziness does more harm than good) created by errge
In this bug report I'd like to argue that -ffull-laziness shouldn't be …
3:11 PM Status/Oct13 edited by nomeata
Clarification, there is no new version of -XIncoherentInstances. (diff)
1:35 PM Changeset in ghc [41212fd]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@…>
Clarify comments and liberalise stack-check optimisation slightly The only substantive change here is to change "==" into ">=" in the Note [Always false stack check] code. This is semantically correct, but won't have any practical impact.
1:22 PM Changeset in ghc [dfc51a46]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 Richard Eisenberg <eir@…>
Merge branch 'master' of git://git.haskell.org/ghc
12:51 PM Changeset in ghc [d43bf5d8]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 about control-flow optimisation
12:04 PM Changeset in ghc [4fa1efe]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 (about the stack overflow check) only
11:32 AM Changeset in base [7123029]ghc-7.8 by Simon Peyton Jones <simonpj@…>
Remove now-unnecessary NOINLINE pragmas The NOINLINEs were a work-around for a bug that was fixed by patch f7e7948 to ghc, which also fixed Trac #8449
11:31 AM Ticket #8449 (Core lint error with data families and promotion across modules) closed by simonpj
fixed
11:30 AM Changeset in ghc [62d0116]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 #8449
11:30 AM Changeset in testsuite [c315e26]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8449
11:26 AM Changeset in ghc [2140e8a5]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 only
11:26 AM Changeset in ghc [d6ed4df]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 only
11:26 AM Changeset in ghc [f7e7948]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@…>
When de-serialising interfaces, need to distinguish types from kinds This patches fixes two separate instances of the bug, * one in tc_ax_branches (Trac #8449) * one in type/kind applications in IfaceExpr (hence the new tcIfaceApps) The latter was reported by Iavor, no ticket
11:26 AM Changeset in ghc [d1683f0]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@…>
Trailing whitespace only
10:37 AM Status/Oct13 edited by simonpj
(diff)
10:34 AM Status/Oct13 edited by simonpj
(diff)
10:22 AM Status/Oct13 edited by simonpj
(diff)
10:01 AM Status/GHC-7.8/Libraries edited by hvr
add travis link (diff)
8:37 AM Ticket #8456 (Control flow optimisations duplicate blocks) created by jstolarek
During work on #8275 I observed that control flow optimisation pass in the …
2:37 AM Ticket #8455 (Core lint error with Template Haskell quotation and type lits) created by goldfire
When I compile […] I get […] I'm pretty sure I know what's going …
2:37 AM Ticket #8454 (kindFunResult) closed by monoidal
duplicate: Already fixed in HEAD …

Oct 17, 2013:

9:17 PM Changeset in ghc [1cf0c8ad]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 Jan Stolarek <jan.stolarek@…>
Optimise stack checks that are always false Fix a bug introduced in 94125c97e49987e91fa54da6c86bc6d17417f5cf. See Note [Always false stack check]
8:03 PM Ticket #8454 (kindFunResult) created by adinapoli
GHC asked, and I diligently reported the bug: […]
7:44 PM Changeset in ghc [7a58033f]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 Geoffrey Mainland <mainland@…>
Add typed Template Haskell details to the release notes.
7:21 PM Changeset in ghc [828f874]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 Geoffrey Mainland <mainland@…>
Document new typed Template Haskell features.
6:09 PM Changeset in ghc [61e9f512]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 Geoffrey Mainland <mainland@…>
Support the syntax [e||...||] for typed expression brackets.
6:08 PM Changeset in ghc [80b63d4]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 Geoffrey Mainland <mainland@…>
Fix typo
6:04 PM Changeset in ghc [553fafb]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 Geoffrey Mainland <mainland@…>
Correct release notes about SIMD support.
3:11 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:19 AM Ticket #8453 (segfault/assertion failure with multi-threaded profiling) created by akio
Steps to reproduce: […] In a few seconds, it either segfaults or dies …
9:13 AM Changeset in ghc [74144dd]decision-procedure by Iavor S. Diatchki <iavor.diatchki@…>
Hook-up an SMT solver. NOTE: This uses a very naive method to call the SMT solver: * GHC will call a program called cvc4, which better be an SMT solver, which is in the path * GHC will create (overwrite!) two files "ghc_input.smt" and "ghc_output,smt" two files in the current directory.
7:42 AM Ticket #8452 (hp2ps manage does not document -c) closed by nomeata
fixed
7:41 AM Changeset in ghc [0af9e72]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 Joachim Breitner <mail@…>
Document -c in hp2hs(1) This fixes #8452.
7:40 AM Ticket #8452 (hp2ps manage does not document -c) created by nomeata
As reported at http://bugs.debian.org/726592, the manpage for hp2ps does …
4:14 AM Ticket #8451 (Link problem on FreeBSD) created by kazu-yamamoto
GHC head on FreeBSD causes a link error if -prof and -threaded are …

Oct 16, 2013:

11:22 PM Ticket #8450 (can't match type Bool with (), but shouldn't have to) created by dmwit
The following (definitely type-incorrect) file: […] produces the …
6:52 PM Ticket #8449 (Core lint error with data families and promotion across modules) created by goldfire
I have these files: […] […] If I compile them together, with …
2:18 PM Changeset in ghc [b3a2cf8]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 Jan Stolarek <jan.stolarek@…>
Minor code refactoring in HscMain Compiled HscMain.o is now smaller.
11:34 AM Changeset in base [f1b4bc2]ghc-7.8 by Simon Peyton Jones <simonpj@…>
Spelling in commments
11:23 AM Changeset in ghc [00226dd9]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 Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
11:12 AM Changeset in ghc [a05ffbd9]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 Jan Stolarek <jan.stolarek@…>
Remove unused code I am removing old loopification code that has been commented out for long long time. We now have loopification implemented in the code generator (see Note [Self-recursive tail calls]) so we won't need to resurect this old code.
11:11 AM Changeset in ghc [738e2f1]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 Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
11:04 AM Changeset in ghc [94125c97]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 Jan Stolarek <jan.stolarek@…>
Generate (old + 0) instead of Sp in stack checks When compiling a function we can determine how much stack space it will use. We therefore need to perform only a single stack check at the beginning of a function to see if we have enough stack space. Instead of referring directly to Sp - as we used to do in the past - the code generator uses (old + 0) in the stack check. Stack layout phase turns (old + 0) into Sp. The idea here is that, while we need to perform only one stack check for each function, we could in theory place more stack checks later in the function. They would be redundant, but not incorrect (in a sense that they should not change program behaviour). We need to make sure however that a stack check inserted after incrementing the stack pointer checks for a respectively smaller stack space. This would not be the case if the code generator produced direct references to Sp. By referencing (old + 0) we make sure that we always check for a correct amount of stack: when converting (old + 0) to Sp the stack layout phase takes into account changes already made to stack pointer. The idea for this change came from observations made while debugging #8275.
9:33 AM Changeset in ghc [cb0fd91a]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 Iavor S. Diatchki <iavor.diatchki@…>
Improve documentation (Related to #8447)
9:13 AM Emacs edited by jstolarek
(diff)
9:12 AM Emacs edited by jstolarek
(diff)
8:19 AM Changeset in ghc [c9f3be7]decision-procedure by Iavor S. Diatchki <iavor.diatchki@…>
Checkpoint
8:10 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
update to latest design (diff)
7:52 AM Records/OverloadedRecordFields/Plan edited by adamgundry
update to latest design (diff)
6:54 AM Changeset in ghc [0a80baa]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 `Cabal` to 1.18.1.1 final
Note: See TracTimeline for information about the timeline view.