Timeline


and

Nov 14, 2013:

11:25 PM Ticket #7229 (Detecting if a process was killed by a signal is impossible) closed by duncan
fixed: So I've pushed patches to process, base and the rts to implement this, …
9:07 PM Ticket #8533 (Extend new getPhysicalMemorySize ifdef to ios_HOST_OS) created by lukexi
A very tiny patch to extend thoughtpoice's recent commit "Fix …
6:50 PM Changeset in ghc [19b8809c]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <diatchki@…>
Change the representation and move TcBuiltInSynFamily. The changes in more detail: * `TcBuiltInSynFamily` is now known as `BuiltinSynFamily` and lives in `CoAxiom` * `sfMatchFam` returns (CoAxiomRule, [Type], Type), which is enough to make Coersion or TcCoercion, depending on what what we need. * The rest of the compiler is updated to reflect these changes, most notably we can eliminate the cludge (XXX) in FamInstEnv and remove the lhs-boot file.
4:06 PM Changeset in ghc [a987b800]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Duncan Coutts <duncan@…>
Improve the shutdownHaskellAndSignal and add fast exit This is the RTS part of a patch to base's topHandler to handle exiting by a signal. The intended behaviour is that on Unix, throwing ExitFailure (-sig) results in the process terminating with that signal. Previously shutdownHaskellAndSignal was only used for exiting with SIGINT due to the UserInterrupt exception. Improve shutdownHaskellAndSignal to do the signal part more carefully. In particular, it (should) now reliably terminates the process one way or another. Previusly if the signal was blocked, ignored or handled then shutdownHaskellAndSignal would actually return! Also, the topHandler code has two paths a careful shutdown and a "fast exit" where it does not give finalisers a chance to run. We want to support that mode also when we want to exit by signal. So rather than the base code directly calling stg_exit as it did before, we have a fastExit bool paramater for both shutdownHaskellAnd{Exit,Signal}.
4:06 PM Changeset in ghc [12cdd6d]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Duncan Coutts <duncan@…>
Don translate UserInterrupt into ExitFailure 1, let it propagate It is important that if a program recieved ^C from the user, and the program terminates as a result, that it exit with SIGINT so that the parent process knows that was the case. For example cabal calling ghc will then be able to tell the difference between it failing and the user interrupting with ^C and report (or not) appropriately. So we should just let the UserInterrupt exception propagate to the top level error handler which will do the right thing. See http://www.cons.org/cracauer/sigint.html
3:36 PM Changeset in base [dd00004]ghc-7.8 by Duncan Coutts <duncan@…>
Add tests for the top level exception handler The top level exception handler is wrapped around main, and FFI exports. It handles exceptions that are not otherwise caught in user code. For most exception is just prints them, but handles a few specially, including ExitCode and UserInterrupt. On Unix it installs a signal handler for SIGINT to translate it into a UserInterrupt async exception. So we test that: 1. receiving SIGINT does trigger a UserInterrupt async exception 2. an unhandled UserInterrupt makes us kill ourselves with SIGINT 3. an unhandled ExitFailure (-sig) makes us kill ourselves with sig
3:36 PM Changeset in ghc [2ec9734]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Duncan Coutts <duncan@…>
Add tests for the top level exception handler The top level exception handler is wrapped around main, and FFI exports. It handles exceptions that are not otherwise caught in user code. For most exception is just prints them, but handles a few specially, including ExitCode and UserInterrupt. On Unix it installs a signal handler for SIGINT to translate it into a UserInterrupt async exception. So we test that: 1. receiving SIGINT does trigger a UserInterrupt async exception 2. an unhandled UserInterrupt makes us kill ourselves with SIGINT 3. an unhandled ExitFailure (-sig) makes us kill ourselves with sig
3:15 PM Changeset in base [6b22a6e]ghc-7.8 by Duncan Coutts <duncan@…>
Handle ExitFailure (-sig) by killing process with signal On Unix we now use negative exit codes in ExitFailure to indicate that a process exited due to a signal. This patch implements the case for when a ExitFailure exception propagates out of the top of main (and is handled by the topHandler). For a negative ExitFailure code, we try to kill the process using that signal (the details of that are handled by shutdownHaskellAndSignal from the RTS). For an exit code outside the valid ranges, we use 0xff.
3:15 PM Changeset in ghc [643f07c]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Duncan Coutts <duncan@…>
Handle ExitFailure (-sig) by killing process with signal On Unix we now use negative exit codes in ExitFailure to indicate that a process exited due to a signal. This patch implements the case for when a ExitFailure exception propagates out of the top of main (and is handled by the topHandler). For a negative ExitFailure code, we try to kill the process using that signal (the details of that are handled by shutdownHaskellAndSignal from the RTS). For an exit code outside the valid ranges, we use 0xff.
1:59 PM Changeset in process [3ebbe13]ghc-7.8 by Duncan Coutts <duncan@…>
Change the unix ExitCode encoding again! Now simply -signum So rather than a bitfield encoding, covering normal exit codes, signals and core dumps, we now simply use negative numbers for signal exit codes. We thus do not report core dumps by this mechanism. This encoding is a lot simpler to explain and use. It also happens to be the same encoding as Python's subprocess package uses. Anyone who cares about core dumps can still use the unix package.
1:34 PM Ticket #8531 (ghc crash from kinds) closed by goldfire
duplicate: This is fixed in HEAD and will be fixed in 7.8. Thanks for reporting!
12:18 PM Ticket #8298 (+RTS -hb crash when blocking on empty TChan) closed by simonmar
fixed: Optimistically assuming fixed.
12:16 PM Ticket #8515 (Biographical profiling (-hb) crashes, other profiling modes have truncated ...) closed by simonmar
fixed: This fixes the crashes I saw with +RTS -hb here.. Please re-open if you …
12:07 PM Changeset in ghc [334545e0]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix a small memory leak with +RTS -hb
12:07 PM Changeset in ghc [35c05d71]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
comments
12:07 PM Changeset in ghc [5b0b83b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
simplify processNurseryForDead It wasn't actually broken, but it wasn't obviously right either.
12:07 PM Changeset in ghc [ad0b943]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Fix some cases where we were leaving slop in the heap (#8515, #8298)
12:00 PM Ticket #8532 (Hyperbolic arc cosine fails on (-1) :: Complex r.) created by leftaroundabout
When allowing for complex results, the hyperbolic arc cosine is …
10:19 AM Changeset in ghc [69559a4]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update `Cabal` to 1.18.1.2 (again) Cabal was already updated to 1.18.1.2. last month, but then got reverted by accident by 06aac68dee100b21dc7d304fa90d9baa423507a0 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:20 AM Ticket #8530 (ghc: Unknown PEi386 section name `.drectve') closed by ezyang
duplicate: Duplicate of #7056
5:30 AM Ticket #8531 (ghc crash from kinds) created by guest
When I run this in ghci: […] I get this output: […] where …
4:56 AM Ticket #8530 (ghc: Unknown PEi386 section name `.drectve') created by jamer
Hello, Bug: - GHC crashes when running "cabal install scion-browser". …
1:57 AM Changeset in ghc [cb8935d]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ben Lippmeier <benl@…>
Fix bug in LLVM code generator The bitcast operation always needs a type for the source.

Nov 13, 2013:

10:48 PM Building/CrossCompiling/iOS edited by lukexi
(diff)
10:48 PM Building/CrossCompiling/iOS edited by lukexi
(diff)
10:47 PM Building/CrossCompiling/iOS edited by lukexi
Make the libffi note more explicit (diff)
10:13 PM Building/CrossCompiling/iOS edited by lukexi
(diff)
12:37 PM Ticket #8529 (Sequent reading from socket/connection on Windows fails) created by Heimdell
I wrote a simple TCP-client, which consumes and produces 8-byte packets. …
11:42 AM ErlangInHaskell edited by ciphergoth
Kill dead link, replace with working ones. (diff)
9:27 AM Ticket #8521 (Tight loop prevents other threads from running in available cores) closed by simonmar
duplicate: Dup of #367 If -fno-omit-yields does not fix the problem (with GHC …
8:36 AM Ticket #8512 (Add flag like '-xc' that only reports uncaught exceptions) closed by simonmar
wontfix: The problem is that there are never any uncaught exceptions. All …
6:19 AM Ticket #8528 (Preprocessor issues building GHC HEAD on Mavericks) created by guest
I can't build GHC HEAD on Mavericks with Xcode 5 and GCC 4.2. My system: …
2:55 AM Changeset in ghc [9156be56]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Remove old workaround for containers <= 0.3
2:55 AM Changeset in ghc [117b6b8d]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Remove unnecessary and deprecated inclusions of Typeable.h The build system would've complained loudly about these inclusions if it weren't for #8527.
2:55 AM Changeset in ghc [54957b6]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Turn NameCacheUpdater into a newtype
2:55 AM Changeset in ghc [bed118a]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Make the fields in NameCache strict We've already been making sure to strictly modify the global name cache in order to avoid space leaks. However, that does us little good if the fields of the name cache are not made strict as well.
2:44 AM Ticket #8527 (container's Typeable.h is being shadowed by base's Typeable.h during ...) created by parcs
Here's a reduced test case: == cpp.hs == […] == command line == …
1:43 AM Building/Preparation/MacOSX edited by carter
adding more information about mac woes (diff)
12:36 AM Changeset in ghc [b2fa2d4]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <diatchki@…>
Make type-level evaluation work with :kind! The main change is to add a case to `reduceTyFamApp_maybe` to evaluate built-in type constructors (e.g., (+), (*), and friends). To avoid problems with recursive modules, I moved the definition of TcBuiltInSynFamily from `FamInst` to `FamInstEnv`. I am still not sure if this is the right place. There is also a wibble that it'd be nice to fix: when we evaluate a built-in type function, using`sfMatchFam`, we get a `TcCoercion`. However, `reduceTyFamApp_maybe` needs a `Corecion`. I couldn't find a nice way to convert between the two, so I resorted to a bit of hack (marked with `XXX`). The hack is that we happen to know that the built-in constructors for the type-nat functions always return coercions of shape `TcAxiomRuleCo`, with no assumptions, so it easy to convert `TcCoercion` to `Coercion` in this one case. This is enough to make things work, but it is clearly a cludge.

Nov 12, 2013:

11:44 PM Ticket #5996 (fix for CSE) closed by simonpj
fixed
11:42 PM Changeset in ghc [faa6842]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5996
11:42 PM Changeset in testsuite [a80663d]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #5996
11:41 PM Changeset in ghc [ee65883]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Detect msys2 via uname (different to msys) uname -s msys gives "MINGW32" msys2 gives "MINGW_NT-6.2"
11:41 PM Changeset in testsuite [6ee5303b]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Detect msys2 via uname (different to msys) uname -s msys gives "MINGW32" msys2 gives "MINGW_NT-6.2"
10:54 PM Changeset in process [ffe7773]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Change exit code encoding of `waitForProcess` yet again This changes the exit code encoding from `(128+signum)` (as introduced via 5403824028) to {{{#!hs if coredump then 0x8000 else 0 .|. signum `shiftL` 8 .|. exitstatus }}} in order to address the `process`-package part of #7229 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:11 PM Ticket #8526 (-fforce-recomp does not re-summarise modules) created by parcs
-fforce-recomp should re-summarise modules so that the source file will …
6:11 PM Changeset in ghc [1c17d00]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Further refactoring to the tuple-typechecking patch
6:10 PM Changeset in ghc [1e603f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Actually increase the perf number!
6:10 PM Changeset in testsuite [ec8edb7]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Actually increase the perf number!
6:10 PM Changeset in ghc [50c4f33d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles
6:10 PM Changeset in testsuite [5dbb4cb]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles
3:32 PM Ticket #8514 (Non-ideal error with a kind error in a tuple) closed by simonpj
fixed: Thank you!
3:29 PM Changeset in ghc [552f1bf0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8514
3:29 PM Changeset in testsuite [286b45a]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8514
3:27 PM Ticket #8522 (exprType incorrect for let expressions which bind types) closed by simonpj
fixed: It's not easy to make a test case, so closing. Simon
3:20 PM Ticket #8519 (Make -XTemplateHaskell an error in a stage-1 compiler) closed by simonpj
fixed
3:20 PM Ticket #4268 (Warning for ANN pragmas when GHCi is not supported) closed by simonpj
fixed: I don't know how to make a test that runs the stage-1 compiler and it's …
3:10 PM Changeset in ghc [96e6edd]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make exprType work correctly in the presnce of type bindings (Trac #8522)
3:10 PM Changeset in ghc [961203b5]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve typechecking of tuples (Trac #8514)
3:07 PM Changeset in ghc [fd252df6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8507
3:07 PM Changeset in ghc [c6ccdbbe]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8518
3:07 PM Changeset in ghc [6be78e2a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Much better perf on 5030, higher peak on 3064 The peak-megabytes is vulnerable to when GC runs, but the bytes-allocated on 5030 shows a big reduction from 466Mbytes to 367Mbytes. This follows the arity improvement and CSE patches
3:07 PM Changeset in testsuite [1215543]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8507
3:07 PM Changeset in testsuite [5ecd306]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8518
3:07 PM Changeset in testsuite [53b3199b]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Much better perf on 5030, higher peak on 3064 The peak-megabytes is vulnerable to when GC runs, but the bytes-allocated on 5030 shows a big reduction from 466Mbytes to 367Mbytes. This follows the arity improvement and CSE patches
2:40 PM Ticket #8525 (lib/integer/integerConstantFolding fails with -DDEBUG) created by nomeata
Hi, with -DDEBUG in GhcStage2HcOpts, the test integerConstantFolding …
1:12 PM Changeset in ghc [4279665b]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make -XTemplateHaskell an error in a stage-1 compiler (except with -M) Fixes Trac #8519
1:12 PM Changeset in ghc [6c1aba4f]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Warn if you use ANN annotations with a stage-1 compiler (Trac #4268) This makes us give a civilised warning when we hit an {-# ANN f foo #-} pragma in a stage-1 compiler. We decided that, since it's a pragma, it does not need a language extension flag to enable it.
1:12 PM Changeset in ghc [0001d161]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix egregious omission in CSE (Trac #5996) This patch fixes a bad omission in CSE, thanks to 'michaelt' for spotting it, and correctly identifying the fix (in cseRhs). The trouble was with x1 = C a b x2 = C x1 b y1 = C a b y2 = C y1 b we were not commoning up y2=x2, because we failed to substitute y1:=x1, so y2's RHS looked different to x2's I also refactoring, so taht the cs_map in a CSEnv map is cs_map :: CoreMap (OutExpr, Id) instead of cs_map :: CoreMap (OutExpr, OutExpr) Much nicer! This doesn't make much difference to allocation, but it gives a surprisingly big benefit to binary size. -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- ansi -1.7% -0.8% 0.00 0.00 +0.0% bspt -1.6% -1.5% 0.01 0.01 +0.0% cacheprof -1.8% -0.2% +1.6% +1.9% +2.7% fft -1.4% -1.3% 0.06 0.06 +11.1% ida -1.4% -1.0% 0.12 0.12 +0.0% rfib -1.4% -0.1% 0.03 0.03 +0.0% scs -1.6% -0.1% +1.5% +1.5% +0.0% spectral-norm -1.3% -0.1% -0.2% -0.2% +0.0% tak -1.4% -0.1% 0.02 0.02 +0.0% veritas -1.4% -0.1% 0.00 0.00 +0.0% -------------------------------------------------------------------------------- Min -2.5% -1.5% -11.8% -11.8% -8.0% Max -1.0% +0.0% +2.7% +2.5% +11.1% Geometric Mean -1.3% -0.1% -2.6% -2.6% +0.0%
1:12 PM Changeset in ghc [802f4b89]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve eta expansion (again) The presenting issue was that we were never eta-expanding f (\x -> case x of (a,b) -> \s -> blah) and that meant we were allocating two lambdas instead of one. See Note [Eta expanding lambdas] in SimplUtils. However I didn't want to eta expand the lambda, and then try all over again for tryEtaExpandRhs. Yet the latter is important in the context of a let-binding it can do simple arity analysis. So I ended up refactoring CallCtxt so that it tells when we are on the RHS of a let. I also moved findRhsArity from SimplUtils to CoreArity. Performance increases nicely. Here are the ones where allocation improved by more than 0.5%. Notice the nice decrease in binary size too. -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- ansi -2.3% -0.9% 0.00 0.00 +0.0% bspt -2.1% -9.7% 0.01 0.01 -33.3% fasta -1.8% -11.7% -3.4% -3.6% +0.0% fft -1.9% -1.3% 0.06 0.06 +11.1% reverse-complem -1.9% -18.1% -1.9% -2.8% +0.0% sphere -1.8% -4.5% 0.09 0.09 +0.0% transform -1.8% -2.3% -4.6% -3.1% +0.0% -------------------------------------------------------------------------------- Min -3.0% -18.1% -13.9% -14.6% -35.7% Max -1.3% +0.0% +7.7% +7.7% +50.0% Geometric Mean -1.9% -0.6% -2.1% -2.1% -0.2%
11:33 AM Changeset in ghc [0b46843]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Typo in test definition
11:33 AM Changeset in testsuite [8a92faa]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Typo in test definition
10:08 AM Changeset in ghc [486d3967]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Run T7478, plugins06, T7918 only when dynamic libraries are available as they fail in a non-helpful way otherwise. This should help the testsuite pass on travis.
10:08 AM Changeset in testsuite [435c595]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Run T7478, plugins06, T7918 only when dynamic libraries are available as they fail in a non-helpful way otherwise. This should help the testsuite pass on travis.
6:33 AM Building/RunningTests edited by kraai
(diff)
3:39 AM Ticket #8524 (GHC is inconsistent with the Haskell Report on which Unicode characters ...) created by oerjan
GHC is inconsistent with the Haskell Report on which Unicode characters …
12:50 AM Changeset in ghc [95216e8f]better-ho-cardinalityghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Gabor Greif <ggreif@…>
Typos in note
12:47 AM Ticket #8523 (blowup in space/time for type checking and object size for high arity ...) created by carter
Eric Mertens found a compilation performance issue in how GHC handles type …

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: …
Note: See TracTimeline for information about the timeline view.