Timeline


and

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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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 [7b11baa6]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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 …

Sep 2, 2012:

2:51 PM Changeset in ghc [d2360a00]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
sync-all: Add support for the 'remote set-branches' command
2:50 PM Changeset in ghc [b5e0c5a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update ANNOUNCE for 7.6.1
2:21 PM Changeset in ghc [52b60fc0]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Add missing flag for respecting EXTRA_LIBDIR
1:09 AM Ticket #7208 (ghci panic: nameModule show{tv a9W}) closed by guest
duplicate: It's already fixed then.

Sep 1, 2012:

8:10 PM Changeset in ghc [646baf16]type-holes-branch by Simon Peyton Jones <simonpj@…>
Merge remote branch 'laptop-HEAD/tc-untouchables' into type-holes-branch Conflicts: compiler/typecheck/Inst.lhs compiler/typecheck/TcErrors.lhs compiler/typecheck/TcInteract.lhs compiler/typecheck/TcRnDriver.lhs compiler/typecheck/TcSMonad.lhs compiler/typecheck/TcSimplify.lhs
7:56 PM Changeset in ghc [b04a2f91]type-holes-branch by Simon Peyton Jones <simonpj@…>
Do not do escapeArrowScope when typechecking arrows The purpose of escapeArrowScope is to get the scopes right for arrows, and that is done in the renamer. Doing it in the typechecker as well messed up the level numbering for unification variables, triggering the ASSRET in isTouchableMetaTyVar.
7:53 PM Changeset in ghc [ff32f97]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to fe6ddf00, fixing infelicities
7:51 PM Changeset in ghc [740cbdf]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables', remote branch 'origin' into tc-untouchables
3:56 PM Ticket #7196 (Desugarer needs an extra case for casts in coercions) closed by pcapriotti
fixed: Merged as 3f79e2cf55ac7e002a6fa083821876184f6fe4c9.
3:56 PM Ticket #7177 (Flag -rtsopts not obeyed in hs_init()) closed by pcapriotti
fixed: Merged as d266a3020038403555f2d2deb903bab4ed1238a6.
3:56 PM Ticket #7175 (Panic when wrongly using a type family as return types for GADTs) closed by pcapriotti
fixed: Merged as 0d45533cd54ef08fa1e8f432c3f1192c76556504.
3:55 PM Ticket #7173 (Unnecessary constraints in inferred type) closed by pcapriotti
fixed: Merged as ce721cdc0bc98361fd20defc5f919bb12abe1634.
3:55 PM Ticket #7165 ("match_co bailing out" messages and compiler crash) closed by pcapriotti
fixed: Merged as cbedd1ce1a96eb330ad938219f0b52801ce862dc.
3:54 PM Ticket #7164 (Confusing "not a (visible) method" warning when method name clashes with ...) closed by pcapriotti
fixed: Merged as 87511d1ca0f4be6df208287c2a6c84aa85f45b70.
3:54 PM Ticket #7149 (Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults) closed by pcapriotti
fixed: Merged as 66cb7e7293709d573c0d5e320507214e64127fde.
3:54 PM Ticket #7101 (Specialise broken for implicit parameters) closed by pcapriotti
fixed: Merged as 20b25bc688b7a6257cb466d9c70c214dafa369c6.
3:53 PM Ticket #7092 (Spurious shadowing warnings for names generated with newName) closed by pcapriotti
fixed: Merged as 2caef4d67eaa3a14d2873df0a31f6afba69a308c.
3:53 PM Ticket #7090 (Panic "mkCoVarLCo" with ConstraintKinds and type-level equality) closed by pcapriotti
fixed: Merged as 428bee9c31d1f9ea37e72885dd41baba6c016811.
3:52 PM Ticket #7170 (Foreign.Concurrent finalizer called twice in some cases) closed by pcapriotti
fixed: Merged as 7a6acb111f6013edafcd8761d496fa06c64d7b75.
3:51 PM Ticket #7160 (C finalizers are reversed during GC) closed by pcapriotti
fixed: Merged as 4709d3e1c493536e6e3058ae15de0d86c01e417a.
3:51 PM Ticket #6156 (Optimiser bug on linux-powerpc) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:50 PM Ticket #5205 (Control.Monad.forever leaks space) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:49 PM Ticket #7178 (Panic in coVarsOfTcCo) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:49 PM Ticket #7172 (GHCi :issafe command doesn't work) closed by pcapriotti
fixed: Merged as 46e88e6ef397d16c034fc2348867ec2054114bd0 and …
3:48 PM Ticket #7167 (Make it a warning (not error) to hide an import that isn't exported) closed by pcapriotti
fixed: Merged as 68fd5dcd5118816e03d6c5e23533faa298d34834.
3:47 PM Ticket #7040 (linker failures with foreign global data) closed by pcapriotti
fixed: Merged as 29ec96c89d19c1b40a8990466424ff35be096780.
3:37 PM Changeset in testsuite [835c8bc]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fewer "shadowed bindings" messages from TH (result from fix of #7092) MERGED from commit c99c8bafd21d70f74c2ee452f2003f95143d90c6
3:36 PM Changeset in testsuite [d8583e3]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
avoid the new -rtsopts/-shared warning MERGED from commit 0a0cfe0549800d5ba6b7b5ca19b8d4ce04fbfce1
3:36 PM Changeset in testsuite [84ffe7a1]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept improvement MERGED from commit 95d11777a45a2811e7f0b31227abdb9ae6801ba1
3:36 PM Changeset in testsuite [a635498]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Remove rnfail038 test case Hiding a non-exported entity is not an error anymore. MERGED from commit e374e8c7b1bd683711ab791710145f402fe0d695
3:36 PM Changeset in testsuite [de314e2]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add more safe haskell test coverage. MERGED from commit 5a9f24dab26fab33c7d469e6d703de40a3daa359
3:36 PM Changeset in testsuite [332293a]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Update SafeHaskell outputs. MERGED from commit a6b670ea89ddcb835d0082f4812a798d3e2a6289
3:36 PM Changeset in testsuite [ac00b62]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add test for #7172. MERGED from commit ff73844a8bc772595aeca59a8c0bd0b0dc780eec
10:28 AM Changeset in ghc [2164e97]type-holes-branch by Simon Peyton Jones <simonpj@…>
extractRelevant should not see a CHoleCan
10:25 AM Changeset in ghc [fe6ddf00]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A bunch more simplification and refactoring to the constraint solver * Instead of Untouchables being a [Unique], it is simply an Int indicating the depth of nesting. This works fine now that floatEqualities is promoting the floated unification variables to the outer level * Remove the inert_tv_eqs (InScopeSet) from InertCans. It wasn't being used. See Note [Shadowing in a constraint] in TcRnTypes * Rename inert_frozen to inert_insols * Some simple refactoring in TcErrors.reportFlatsAndInsols TcInteract.kickOutRewritable TsSimplify.floatEqualities
Note: See TracTimeline for information about the timeline view.