Timeline


and

Sep 8, 2012:

5:28 PM Changeset in ghc [7b6f650]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Build fix for GHC 7.0
12:20 PM Ticket #7221 (DataKinds with recursive data and type synonym causing GHC to crash) closed by simonpj
worksforme: I can't reproduce this, with 7.4.1. However DataKinds are not an …
7:44 AM Ticket #7230 (GHC states the same kind mismatched) created by konn
The attached code fails to compile with following rather strange kind …

Sep 7, 2012:

7:24 PM Ticket #7229 (Detecting if a process was killed by a signal is impossible) created by benmachine
Currently there is no good way of detecting if a process was terminated by …
4:28 PM Ticket #7228 (ghc-pkg prints an awful lot of usage information) created by benmachine
If you misspell a command with ghc-pkg, you are rewarded with 112 lines of …
3:25 PM Changeset in ghc [0550bcb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
comment updates
3:25 PM Changeset in ghc [bf2d58c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Lots of nat -> StgWord changes
2:39 PM Changeset in ghc [06b4e78]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Handle II16 size value in PowerPC code generator.
2:32 PM Changeset in ghc [a8179622]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Some further tweaks to reduce fragmentation when allocating the nursery
2:32 PM Changeset in ghc [41737f1]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Deprecate lnat, and use StgWord instead lnat was originally "long unsigned int" but we were using it when we wanted a 64-bit type on a 64-bit machine. This broke on Windows x64, where long == int == 32 bits. Using types of unspecified size is bad, but what we really wanted was a type with N bits on an N-bit machine. StgWord is exactly that. lnat was mentioned in some APIs that clients might be using (e.g. StackOverflowHook()), so we leave it defined but with a comment to say that it's deprecated.
1:22 PM Changeset in ghc [8224ee19]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix the PPC and SPARC NCGs to handle multiple info tables in a proc
1:22 PM Changeset in ghc [d68865de]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
memInventory(): tweak pretty-printing
1:22 PM Changeset in ghc [4d208aed]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
When using -H with -M<size>, don't exceed the maximum heap size
1:22 PM Changeset in ghc [abb875d9]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
some nats should be lnats
11:51 AM Ticket #7227 (cannot build ghc-7.6.1 because haddock seg-faults) created by maeder
[…] Can I try it somehow without haddock?
10:48 AM Ticket #5405 (Strange closure type crash when using Template Haskell on OS X Lion) closed by simonmar
worksforme: Thanks - this bug has been open for 13 months with no further info and …
2:43 AM Changeset in ghc [c811cef]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Improvements to use of ordering model (and remove traces).
12:24 AM Changeset in ghc [ad3141f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix typo in release notes

Sep 6, 2012:

9:56 PM Changeset in ghc [782595e6]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "Update to bytestring 0.10.1.0" This reverts commit bc4e74bb19f7471c79650c1fe5aa74c905280ecd. We shipped with 0.10.0.0
9:54 PM Milestone 7.6.1 completed
The 7.6.1 release is a a new major release. * …
9:53 PM Ticket #7226 (bytestring changes in 7.6 branch) created by igloo
There have been some bytestring changes in the 7.6 branch since the 7.6.1 …
8:46 PM Changeset in ghc [07c1041b]type-holes-branch by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables' of ../HEAD into type-holes-branch Plus lots more refactoring Conflicts: compiler/typecheck/TcSMonad.lhs compiler/typecheck/TcSimplify.lhs
8:43 PM Changeset in ghc [cb72b66]type-holes-branch by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables
6:24 PM Changeset in ghc [d8b48bab]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Typo fix in deferred type errors docs. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:42 PM Ticket #7225 ("ghc -C" failed) created by guest
--- source file --- module Main where main = return () --- command line …
4:24 PM Ticket #7224 (Polymorphic kind annotations on type classes don't always work as expected) created by slindley
Consider the following code for defining Atkey-style parameterised monads: …
2:43 PM Ticket #7210 (Bang in front of type name crashes GHC) closed by pcapriotti
fixed: Thanks for the patch.
2:42 PM Changeset in ghc [547913e1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test for #7210.
2:42 PM Changeset in testsuite [6834460]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test for #7210.
2:41 PM Changeset in ghc [62da65a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fail nicely when encountering an invalid bang annotation (#7210)
1:33 PM Ticket #7215 (miscompilation due to broken interface hash) closed by pcapriotti
fixed: Merged as 1aa031e7013caf59f3297d29e81ed573eb306356.
11:18 AM Changeset in ghc [2365822]type-holes-branch by Simon Peyton Jones <simonpj@…>
Add comments about how untouchables work See Note [Untouchable type variables] in TcType
10:48 AM Changeset in ghc [1aa031e7]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix #7215: we weren't calculating the hashes correctly for sub-binders MERGED from commit 583c87d00d2058b1a073ea1f5d7f4e0d92b7a9a4
10:45 AM Changeset in ghc [633dd55]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Moved solving of type families to zonkWC and a few simplifications in TcSimplify. Now unflattening does not happen recursively inside solveWanteds which should be a good performance win.
10:30 AM Changeset in unix [f169f66]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Fix warnings.
10:28 AM Changeset in testsuite [393394a]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fix tests after update to bytestring 0.10.1.0.
10:10 AM Ticket #7223 (Unregisterised and/or via-C compilation broken) created by simonmar
The new codegen broke unregisterised and/or via-C compilation. It should …
9:20 AM Changeset in ghc [bc4e74b]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update to bytestring 0.10.1.0
9:14 AM Ticket #7185 (Compiled program crashes) closed by pcapriotti
fixed: Merged as 13a833e51c141165d927325fa0d1bce9ccdab1de.
9:04 AM Ticket #7218 (No type level distinction between BroadcastTChan and TChan) closed by simonmar
fixed: […]
8:55 AM Ticket #6160 (support sub-second resolutions for file timestamps) closed by pcapriotti
fixed: Thank you for the patch. Applied as: […]
8:42 AM Changeset in ghc [d3c01e2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept
8:42 AM Changeset in testsuite [ec0da548]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept
8:23 AM Changeset in ghc [b48811c9]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update release notes.
8:07 AM Ticket #7222 (The text "Possible fix: add an instance declaration for ..." is redundant ...) created by maltem
The current state of affairs: Given a typical type error, for example …
7:06 AM Changeset in ghc [0de83ff]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Checkpoint. So far: - Removed support for working with "derived" constraints, as we don't use them now. - Hooked in the order-solver, although it is not yet working properly.
4:01 AM Ticket #7221 (DataKinds with recursive data and type synonym causing GHC to crash) created by gereeter
When working on an answer to a stackoverflow …

Sep 5, 2012:

5:35 PM Ticket #7220 (Confusing error message in type checking related to type family, fundep, ...) created by tsuyoshi
(This is related to, but different from, the message which I posted to …
3:46 PM Changeset in ghc [583c87d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix #7215: we weren't calculating the hashes correctly for sub-binders
3:18 PM Changeset in ghc [018db07b]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 a test for #7215
3:18 PM Changeset in testsuite [416ebfc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a test for #7215
2:32 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
2:30 PM Ticket #7219 (Reinstate constant propagation in some form) created by simonmar
The new codegen doesn't have a constant propagation pass. This used to be …
12:53 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
12:25 PM Changeset in ghc [9b48d74a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set RELEASE back to NO
10:59 AM Ticket #7218 (No type level distinction between BroadcastTChan and TChan) created by timthelion
There is no type level distinction between BroadcastTChan(added in STM …
9:15 AM Ticket #7212 (GHCi segmentation fault) closed by simonmar
wontfix: This problem is caused by (we think) having an XCode that is too old. See …
8:53 AM Changeset in ghc [ccf44d8]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
A further fix for -split-objs with the new codegen
8:53 AM Changeset in ghc [c655913]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove $(GhcStage1DefaultNewCodegen) etc.
8:44 AM Commentary/Compiler/NewCodeGen edited by simonmar
remove old irrelevant stuff (diff)
8:40 AM Commentary/Compiler/NewCodeGen/Cleanup created by simonmar
8:27 AM Ticket #7217 (Unification of type variables in constraints) closed by sjoerd_visscher
wontfix: On second thought, it is perfect as it is.

Sep 4, 2012:

11:32 PM Ticket #7217 (Unification of type variables in constraints) created by sjoerd_visscher
The following code works: […] But this doesn't: […] With the …
6:00 PM Changeset in ghc [37be5ba5]cardinality by Ilya Sergey <Ilya.Sergey@…>
some enhancements
5:41 PM Changeset in ghc [b6e84e7]cardinality by Ilya Sergey <Ilya.Sergey@…>
some enhancements
1:57 PM Changeset in ghc [7d847e82]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add "remote set-branches" support to sync-all
1:09 PM Changeset in ghc [5b8d30be]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix build
1:01 PM Changeset in ghc [b9c4094]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update version number and set RELEASE to YES
1:00 PM Changeset in ghc [13a833e]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Fix fencepost and byte/word bugs in cloneArray/copyArray (#7185) From: commit 8aabe8d06f7202c9a6cd1133e0b1ebc81338eed9 Author: Simon Marlow <marlowsd@gmail.com> Date: Tue Aug 28 15:52:38 2012 +0100
12:58 PM Changeset in ghc [e641139]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Narrow the args of the popCnt# primitives (new codegen) (this change was previously done in the old codegen only)
12:58 PM Changeset in ghc [bd5354e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix -split-objs with the new code generator We need to make the SRT label external and unique when splitting, because it is shared amongst all the functions in the module. Also some SRT-related cleanup.
12:49 PM Ticket #3202 (Make XNoMonomorphismRestriction the default in GHCi) closed by igloo
fixed: As this is a feature request, I don't think we should merge to 7.6 at this …
5:48 AM Changeset in ghc [81609b63]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
A bit more integration for reasoning about order.
4:03 AM Ticket #7216 (Compositional blocking on file descriptors) created by AndreasVoellmy
The GHC.Event.Thread module provides threadWaitRead, threadWaitWrite :: Fd …
2:24 AM Ticket #7215 (miscompilation due to broken interface hash) created by akio
The following script should print 'MyFalse MyTrue' but it prints …
1:06 AM Ticket #7214 (Missing Typeable instances) closed by selinger
invalid: OK, two seconds after submitting this report, I found out how to do it. …
12:56 AM Changeset in ghc [88d6a4a5]cardinality by Ilya Sergey <Ilya.Sergey@…>
rollback
12:49 AM Ticket #7214 (Missing Typeable instances) created by selinger
Data.Typeable defines Typeable instances for tuples of length up to 7. My …

Sep 3, 2012:

11:08 PM Changeset in ghc [c640520]cardinality by Ilya Sergey <Ilya.Sergey@…>
single-shot call demands added
10:42 PM Changeset in ghc [7b11baa]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make -fhpc a dynamic flag
9:42 PM Changeset in ghc [af4f987]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused -dopt-fuel
9:39 PM Changeset in ghc [056b27b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove -dstub-dead-values from flag list
9:22 PM Changeset in ghc [892d8621]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make -fhistory-size dynamic
8:49 PM Changeset in ghc [3d3fef8c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the unused opt_StubDeadValues
8:41 PM Changeset in ghc [61d41b9]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Move ldInputs into DynFlags
8:20 PM Changeset in ghc [59e6bd9]type-holes-branch by Simon Peyton Jones <simonpj@…>
Merge remote branch 'laptop-HEAD/tc-untouchables' into type-holes-branch Plus more refactoring for holes Conflicts: compiler/typecheck/TcSimplify.lhs
6:44 PM Changeset in ghc [5aa377da]cardinality by Ilya Sergey <Ilya.Sergey@…>
correct cardinality analysis for free variables
6:03 PM Changeset in ghc [3869ac5]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "Reduce the likelihood of x64/x86-64 changes breaking the build on other arches (#7083)." This reverts commit a2e589a1dcd5c74447d8f12b2db79474cca73850. Looks like it broke the build on x86/Windows.
5:48 PM Changeset in ghc [7560dd6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Some refactoring; removes simplifyCheck
5:46 PM Changeset in ghc [b493d397]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When defaulting, check for *meta* tyvars I'd forgotten that we can have runtime skolems (TcTyVarDetails = RuntimeUnk), and we definitely don't want to attempt to default them!
5:42 PM Changeset in ghc [64d07ab]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make kickOutRewritable kick out insolubles It always used to do so, but I removed it because I didn't see why. Now I unsderstand why, and wrote Note [Kick out insolubles]
5:40 PM Changeset in ghc [ed7538b4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Move inert_insols into the InertCans record We might want to rename the type, but inert_insols really belongs with these other constraints.
5:38 PM Changeset in ghc [d4fa711]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove historical Unique parameter from pushUntouchables
5:34 PM Changeset in ghc [82ace67b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
5:33 PM Changeset in ghc [d37deb7b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Some comments and false starts to do with ArrForm There's a very very wrong piece of code in TcArrows; and it is even triggering an ASERT failure now. I need to talk to Ross to figure out what is going on.
5:20 PM Changeset in ghc [3b56334]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:41 PM Changeset in ghc [92f0991d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the way-related CPP frmo DynFlags
4:25 PM Changeset in ghc [da33622]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove doingTickyProfiling It's now just 'dopt Opt_Ticky'
4:09 PM Changeset in ghc [4f15146]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Define initial buildTag and rtsBuildTag
4:02 PM Changeset in ghc [46258b4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make the ways dynamic
3:18 PM Changeset in ghc [6bceb07]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
massive_array is expect_broken(#7213)
3:18 PM Changeset in testsuite [03dcfac]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
massive_array is expect_broken(#7213)
3:16 PM Ticket #7213 (Test codeGen/should_compile/massive_array failing on 32-bits) created by simonmar
ezyang identified this problem with -fnew-codegen a while ago and made a …
2:48 PM SharedLibraries edited by duncan
fix link for PE format part 2 (diff)
1:53 PM Changeset in unix [62e07b8]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Add functions for setting file times with high resolution
1:32 PM Changeset in ghc [a2e589a1]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Reduce the likelihood of x64/x86-64 changes breaking the build on other arches (#7083). Code that needs to differentiate between i386 and x86-64 should now be written as if x86-64 is the default and i386 is the special case. Eg: # if i386_TARGET_ARCH someFuncion = ..... # else someFuncion = ..... # endif MERGED from commit 2f7c578574a9d5e9b4d95847abc3d1cb1b35336d
1:29 PM Ticket #7212 (GHCi segmentation fault) created by zenzike
Using OS X 10.6.8 on a 2.5 GHz Intel Core i5 machine. XCode 4.0.2 …
10:58 AM Changeset in ghc [494eb3d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactor the ways code a bit We used to use a list lookup that couldn't fail. Now we just use functions. There were 3 overlapping entries for WayPar; I've commented out the ones that were shadowed for now.
10:47 AM Ticket #7193 (darcs 2.8 fails to compile with ghc 7.6) closed by simonpj
fixed: The following patch fixes this ticket, #7193 (NOT #7196 as claimed): …
9:53 AM Changeset in ghc [a0fa6c37]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Adapt tests to the removal of the MR in GHCi
9:53 AM Changeset in testsuite [bc6af07]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Adapt tests to the removal of the MR in GHCi
9:52 AM Changeset in ghc [6def8bc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Disable the MR by default in GHCi (#3202)
9:36 AM Ticket #6042 (GHC is bloated) closed by pcapriotti
invalid: Closing, as there doesn't seem to be anything wrong here, just more code …
8:18 AM Ticket #7211 (Huge space leak on a program that shouldn't leak) created by bartavelle
I have a program that works in a small amount of memory on a computer …
1:38 AM Changeset in ghc [8659b634]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'type-nats' of ssh://darcs.haskell.org/srv/darcs/ghc into type-nats
1:37 AM Changeset in ghc [66f4f614]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Port more of the ordering data structure.
12:30 AM Ticket #7210 (Bang in front of type name crashes GHC) created by tibbe
When adding a bang to a type constructor applied to a type, I forgot to …
Note: See TracTimeline for information about the timeline view.