Timeline


and

Nov 17, 2013:

11:42 PM Ticket #8538 (confusing specialization CORE warning, also can't mark type class ...) created by carter
As part of writing an array library for numerical purposes, I have a …
10:53 PM Ticket #8537 (confusing error message for specialize pragma) created by carter
I get the following confusing error/warning about SPECIALIZE […] with …
9:03 PM Building/Using edited by bgamari
Describe re* rules (diff)
1:00 PM Changeset in ghc [a0d5566]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 Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
1:00 PM Changeset in testsuite [76deac9]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
12:56 PM Changeset in ghc [71e4950]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 Krzysztof Gogolewski <krz.gogolewski@…>
Minor change to error message wording One flag is deprecated, other removed
10:13 AM Changeset in ghc [6335c124]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 Joachim Breitner <mail@…>
Typo: s/LlVM/LlVM/

Nov 16, 2013:

12:17 PM Ticket #8536 (ghc panic on creating data type) closed by monoidal
duplicate: Thanks for the report. It's already fixed in HEAD: #7943.
2:13 AM Ticket #8536 (ghc panic on creating data type) created by xilexio
ghc 7.6.3 (or ghci) from Haskell Platform for Windows panics when …

Nov 15, 2013:

6:49 PM Changeset in ghc [26c9d591]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@…>
Include funTyCon in oprhNamesOfType (fixes Trac #8535) Thanks to parcs for identifying both the bug and the right solution.
6:47 PM Changeset in ghc [1e0ef82]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 canIrredPred again This follows up the earlier patch to Trac #6068, which I obviously hadn't validated properly.
6:46 PM Changeset in ghc [a836b69c]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 orientation I came across some stupid re-orientation, when debugging something else. For example, we were re-orienting t ~ fsk to fsk ~ t where fsk is a flatten *skolem* and t is a meta type varaible. The logic was just wrong.
1:56 PM Changeset in base [f3e5ad3]ghc-7.8 by Duncan Coutts <duncan@…>
Fix up test topHandler03 by ignoring unhelpful shell output Shells! Grrrr. Some shells print out a message if your program terminates with a signal. In the case of topHandler03 which deliberately exits with signal 15 SIGTERM, some shells were printing "Terminated" to stdout. Why the testsuite driver goes via a shell I do not know (it also messes up the exit codes for signals).
1:56 PM Changeset in ghc [14527c1]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Duncan Coutts <duncan@…>
Fix up test topHandler03 by ignoring unhelpful shell output Shells! Grrrr. Some shells print out a message if your program terminates with a signal. In the case of topHandler03 which deliberately exits with signal 15 SIGTERM, some shells were printing "Terminated" to stdout. Why the testsuite driver goes via a shell I do not know (it also messes up the exit codes for signals).
12:29 PM Changeset in ghc [dff0e99d]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 a subtle bug in kind-mis-matched equalities (Trac #6068) When we have an equality constraint where the LHS and RHS have ill-matched kinds, it get turned into a CIrredEvCan because a CTyEqCan/CFunEqCan are guaranteed kind-compatible. But that in turn led to a bug because in the constraint c = (a:k1) ~ (b:k2) the kind variables k1 and k2 don't show up in tyVarsOfType c. Why not? Because it looks like (~) k1 (a:k1) (b:k2) Maybe (~) should have two kind arguments? That seemed like too big a change for not (we wait for NoKinds), so this patch fixes the bug for now.
11:25 AM Changeset in ghc [434d783]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 error message Accommodating Simon M's suggestion (Trac #4268, comment 17)
11:24 AM Changeset in ghc [699dc54]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 the unlit path in count_lines
3:37 AM Status/GHC-7.8 edited by AndreasVoellmy
(diff)
3:09 AM Ticket #8535 (:info (->) doesn't print all relevant instances) created by parcs
I noticed that ":info (->)" does not does not print all relevant …
2:58 AM Ticket #8534 (DeriveFunctor and PolyKinds) created by monoidal
A tiny infelicity: […] works only if PolyKinds is disabled, …
12:39 AM Changeset in ghc [29b68822]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 Patrick Palka <patrick@…>
Increase coverage of #4175
12:39 AM Changeset in testsuite [3d6deba]wip/nested-cprwip/pattern-synonyms by Patrick Palka <patrick@…>
Increase coverage of #4175
12:13 AM Changeset in ghc [eb8fb43]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@…>
Simplify and improve coverage of ":info" instance lookup During instance lookup, we can treat classes and data families like any other TyCon instead of special-casing them. This approach, aside from being simpler, has the benefit of returning extra relevant instances for classes and data families. For example, given class A a instance B (a :: Constraint) instance A B ":info B" will now also print "instance A B" where previously it didn't due to the special casing of class TyCons in lookupInsts. This improves upon the existing patch for Trac #4175

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