Timeline


and

Jan 8, 2013:

11:48 PM Ticket #7279 (warning for unused type variables in instance contexts; ...) closed by simonpj
fixed: This fix to ambiguity checking solves the problem […] Now the instance …
11:46 PM Changeset in ghc [23b0bf0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7279
11:46 PM Changeset in testsuite [6e301a8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7279
11:23 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:22 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:21 PM Ticket #5366 (UNPACK is paranoid about a phantom type argument) closed by simonpj
fixed: Fixed in HEAD; see the commit for Trac #3990
11:19 PM Changeset in ghc [b5cf4978]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:19 PM Changeset in testsuite [d15f793b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:19 PM Changeset in ghc [b0486189]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5366
11:19 PM Changeset in testsuite [da88dbd]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5366
11:08 PM Ticket #7332 (Kind-defaulting omitted leads to deeply obscure type error) closed by simonpj
fixed: I think it's Too Bad for 7.6, I'm afraid.
11:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:18 PM Ticket #7559 (`./configure --with-macosx-deployment-target=` doesn't work) created by altaic
This is tested on HEAD with OS X 10.8.2 using Xcode 4.5.2. Any version X …
5:25 PM Ticket #7556 (build/fold causes with ByteString unpack causes huge memory leak) closed by duncan
fixed: Fixed in bytestring head, will be in next point releases. […]
2:11 PM Ticket #7402 (Warn about possible missing -XScopedTypeVariables on errors.) closed by simonpj
fixed: Good point. I've tightened up the ambiguity check for instance …
2:09 PM Ticket #7454 (Missing warning about redundant import of classes/types whose members are ...) closed by simonpj
fixed: Thanks! Fixed by above patch.
2:08 PM Changeset in ghc [5c899f9d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7454
2:08 PM Changeset in testsuite [c4293ef]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7454
12:14 PM Changeset in ghc [cfcd6b83]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake
12:14 PM Changeset in testsuite [433944c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Re-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake
12:13 PM Changeset in ghc [2267f41]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Typo in comments
12:13 PM Changeset in testsuite [81f0cd2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Typo in comments
12:13 PM Changeset in ghc [6c0c7230]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix typo in extension flags
12:13 PM Changeset in testsuite [74ed9e1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix typo in extension flags
12:13 PM Changeset in ghc [aace245]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Ambiguous-type wibbles
12:13 PM Changeset in testsuite [c0a060c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Ambiguous-type wibbles
12:04 PM Changeset in ghc [0a24be0]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Add missing import
9:03 AM Changeset in base [d74c198]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:03 AM Changeset in ghc [104aeb7] by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:02 AM Changeset in base [4f27b57]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Comment out IsEven, isEven, and friends, because the type is ambiguous It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.
9:02 AM Changeset in ghc [ccb16c1] by Simon Peyton Jones <simonpj@…>
Comment out IsEven, isEven, and friends, because the type is ambiguous It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.
9:00 AM Changeset in base [686d13d]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Remove unused import
9:00 AM Changeset in ghc [e68158a7] by Simon Peyton Jones <simonpj@…>
Remove unused import
8:47 AM Ticket #7558 (Terrible error message when given and wanted are both insoluble) created by simonpj
In fixing the ambiguity check I came across this tricky program […] We …
8:39 AM Changeset in ghc [f879703d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Add missing file TcValidity.lhs This should have been part of commit 97db0edc4e637dd61ec635d1f9b6b6dd25ad890c Re-engineer the ambiguity test for user type signatures
8:33 AM Changeset in ghc [0488163a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/simplCore/should_compile/T7360.stderr
8:33 AM Changeset in testsuite [b058b8f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/simplCore/should_compile/T7360.stderr
8:30 AM Changeset in ghc [441a87a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error messages and tests, following ambiguity-check changes
8:30 AM Changeset in testsuite [fe31370]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages and tests, following ambiguity-check changes
8:27 AM Changeset in ghc [7dffc18]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Merge remote branch 'origin/master'
8:26 AM Changeset in ghc [97db0ed]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Re-engineer the ambiguity test for user type signatures Two main changes. First, re-engineer the ambiguity test. Previously TcMType.checkAmbiguity used a rather syntactic test to detect some types that are certainly ambiguous. But a much easier test is available, and it is used for inferred types in TcBinds. Namely <type> is ambiguous iff <type> `TcUnify.isSubType` <type> fails to hold, where "isSubType" means "is provably more polymorphic than". Example: C a => Int is ambiguous, because isSubType instantiates the (C a => Int) to (C alpha => Int) and then tries to deduce (C alpha) from (C a). This is Martin Sulzmann's definition of ambiguity. (Defn 10 of "Understanding functional dependencies via constraint handling rules", JFP.) This change is neat, reduces code, and correctly rejects more programs. However is *is* just possible to have a useful program that would be rejected. For example class C a b f :: C Int b => Int -> Int Here 'f' would be rejected as having an ambiguous type. But it is just possible that, at a *call* site there might be an instance declaration instance C Int b, which does not constrain 'b' at all. This is pretty strange -- why is 'b' overloaded at all? -- but it's possible, so I also added a flag -XAllowAmbiguousTypes that simply removes the ambiguity check. Let's see if anyone cares. Meanwhile the earlier error report will be useful for everyone else. A handful of regression tests had to be adjusted as a result, because they used ambiguous types, somewhat accidentally. Second, split TcMType (already too large) into two * TcMType: a low-level module dealing with monadic operations like zonking, creating new evidence variables, etc * TcValidity: a brand-new higher-level module dealing with validity checking for types: checkValidType, checkValidInstance, checkFamInstPats etc Apart from the fact that TcMType was too big, this allows TcValidity to import TcUnify(tcSubType) without causing a loop.
8:24 AM Ticket #7557 (Default implementation for a type class function missing when profiling is ...) created by JohnWiegley
I tried to reduce this to a simpler case, but was unable to produce the …
5:35 AM Changeset in ghc [744035fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Fix Word2Float# test on 32-bit
5:35 AM Changeset in testsuite [2c3d474]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Fix Word2Float# test on 32-bit
2:00 AM Changeset in ghc [83bfdc2f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
2:00 AM Changeset in testsuite [22a46d1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
12:00 AM Commentary/ModuleStructure edited by simonpj
(diff)
12:00 AM Commentary/ModuleStructure edited by simonpj
(diff)

Jan 7, 2013:

11:58 PM Commentary/ModuleStructure edited by simonpj
(diff)
10:29 PM Ticket #7510 (Immediate seg-fault on 32-bit windows build) closed by igloo
fixed: Looks good here, thanks!
7:01 PM Ticket #7556 (build/fold causes with ByteString unpack causes huge memory leak) created by glguy
module Main where import qualified Data.ByteString? as B import Data.Word …
5:52 PM Changeset in ghc [afe9a3b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Remove two unused imports, detected by the fix to Trac #7454
5:50 PM Changeset in ghc [a8ea80f1]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Rearrange the computation of unused imports; fixes Trac #7454
3:52 PM Changeset in ghc [7d1216ab]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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@…>
make "./sync-all -r <path> remote set-url origin" work
3:52 PM Changeset in ghc [03d360f2]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 bugs in allocMoreStack (#7498, #7510) There were four bugs here. Clearly I didn't test this enough to expose the bugs - it appeared to work on x86/Linux, but completely by accident it seems. 1. the delta was wrong by a factor of the slot size (as noted on #7498) 2. we weren't correctly aligning the stack pointer (sp needs to be 16-byte aligned on x86/x86_64) 3. we were doing the adjustment multiple times in the case of a block that was both a return point and a local branch target. To fix this I had to add new shim blocks to adjust the stack pointer, and retarget the original branches. See comment for details. 4. we were doing the adjustment for CALL instructions, which is unnecessary and wrong; only JMPs should be preceded by a stack adjustment. (Someone with a PPC box will need to update the PPC version of allocMoreStack to fix the above bugs, using the x86 version as a guide.)
1:16 PM Ticket #7552 ("~/.haskeline" does nothing in "ghci") closed by judahj
worksforme: maxHistorySize takes a Maybe Int instead of an Int; see the docs for …
11:38 AM Ticket #7436 (Derived Foldable and Traversable instances become extremely inefficient ...) closed by simonpj
fixed: Also: […] Thanks for the patches! I added a test in perf/should_run. …
11:37 AM Changeset in ghc [97b75f7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:37 AM Changeset in testsuite [55b6fd4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:37 AM Changeset in ghc [b942d04]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to test output after fixing Trac #7436
11:37 AM Changeset in testsuite [f5981cc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to test output after fixing Trac #7436
11:37 AM Changeset in ghc [de40b044]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7436
11:37 AM Changeset in testsuite [4a17fff]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7436
10:45 AM Changeset in ghc [4da767e2]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
10:24 AM Ticket #7400 (Strange closure type 17 internal error) closed by igloo
invalid: No response from submitter, so closing

Jan 6, 2013:

11:39 PM Ticket #7555 (SpecConstr pass hangs) closed by daniel.is.fischer
duplicate: Closing as duplicate of #7553 which also hangs in the SpecConstr pass.
11:14 PM Ticket #7555 (SpecConstr pass hangs) created by daniel.is.fischer
From …
4:36 PM Ticket #7554 (Define __SSE__ when compiling with -msse) created by tibbe
The hashable package needs to know if GHC was invoked with -msse4.1 so it …
2:43 AM Ticket #7553 (ghc fails to terminate with -O2 or greater) created by erikd
GHC 7.6.1 on x86_64-lines from Debian's experimental repo (Debian unstable …

Jan 5, 2013:

8:42 PM FunDeps edited by diatchki
(diff)
8:38 PM FunDeps created by diatchki
8:37 PM Changeset in ghc [5765248b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Richard Eisenberg <eir@…>
Refactor invariants for FamInsts. This commit mirrors work done in the commit for ClsInsts, 5efe9b... Specifically: - All FamInsts have *fresh* type variables. So, no more freshness work in addLocalFamInst Also: - Some pretty-printing code around FamInsts was cleaned up a bit This caused location information to be added to CoAxioms and index information to be added to FamInstBranches.
8:36 PM Commentary edited by diatchki
(diff)
8:01 PM Ticket #7552 ("~/.haskeline" does nothing in "ghci") created by beroal
~/.haskeline: […] "~/.ghc/ghci_history" never has more than 100 lines.
3:07 PM Repositories edited by igloo
(diff)
2:57 PM Repositories edited by igloo
(diff)
2:56 PM Repositories edited by igloo
(diff)
2:53 PM Repositories edited by igloo
(diff)
2:46 PM Repositories/Upstream edited by igloo
table tidyup (diff)
5:08 AM Changeset in ghc [92d9cb7e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Updated stderr outputs to reflect changes in FamInst
5:08 AM Changeset in testsuite [7228d50]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Updated stderr outputs to reflect changes in FamInst
4:01 AM NewAxioms edited by goldfire
(diff)
3:58 AM TypeFunctions edited by goldfire
(diff)
12:33 AM Records edited by GregWeber
add Elm's records (diff)

Jan 4, 2013:

8:52 PM Ticket #7547 (Loop when printing External Core) closed by igloo
fixed: Merged as f7d9e72f4f79d3a8f635c3312ddd524a727334e4
8:52 PM Ticket #7486 (dblatex can't build docs; fix included.) closed by igloo
fixed: Merged as 160424c64cdbf72d241fc83d97f7c8afe8be9aad
8:21 PM Changeset in ghc [faee968]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix build for 7.6 branch
8:06 PM Changeset in ghc [f7d9e72f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix bug in External Core pretty printer (fixes Trac #7547) This bug was making GHC loop when printing external core from test T7239.
8:05 PM Ticket #7536 (Panic with TypeFamilies with type synonym instances) closed by igloo
fixed: Not smooth, so not merging.
8:02 PM Ticket #7525 (Compiler panic with ill-typed code using implicit parameters) closed by igloo
fixed: Already works in 7.6 branch, so not merging.
8:00 PM Changeset in ghc [160424c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set DBLATEX_OPTS to -P 'filename.as.url=0' (fixes #7486) Apparently this fixes the build with dblatex 0.3.4.
7:45 PM Ticket #7062 (Spurious undefined reference to `openpty') closed by igloo
fixed: OK, the above patch should fix this. Please reopen and give details if you …
6:43 PM Changeset in ghc [9d9d09d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 a -rpath entry for the RTS library, so that it can find libffi This fixes dynamic library resolution when --enable-new-dtags is used (#7062). When --enable-new-dtags is used when linking an executable, a RUNPATH as well as RPATH is set. The linker then ignores RPATH, and RUNPATH is only used for directly (not transitively) needed libraries. As the program doesn't directly need libffi, it isn't found.
11:12 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:49 AM Changeset in ghc [3d51f271]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Added note explaining the lambdas generated by functor deriving code, and how it compares to the old deriving code which used eta expansion.
10:48 AM Changeset in ghc [49ca2a37]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Changed deriving of Functor, Foldable, Traversable to fix #7436. Added foldMap to derived Foldable instance. The derived instances will no longer eta-expand the function. I.e. instead of fmap f (Foo a) = Foo (fmap (\x -> f x) a) we now derive fmap f (Foo a) = Foo (fmap f a) Some superflous lambdas are generated as a result. For example data X a = X (a,a) fmap f (X x) = (\y -> case y of (a,b) -> (f a, f b)) x The optimizer should be able to simplify this code, as it is just beta reduction. The derived Foldable instance now includes foldMap in addition to foldr.
10:40 AM Ticket #2431 (Allow empty case analysis) closed by simonpj
fixed: Here it is: […] but it also needs the follow up […] and […]
10:40 AM Changeset in ghc [2fb886eb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #2431
10:40 AM Changeset in testsuite [f3e3787]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #2431
10:32 AM Changeset in ghc [d6a3ccac]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to output, now that CaseElim is less aggressive.
10:32 AM Changeset in testsuite [1b8b7f4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to output, now that CaseElim is less aggressive.
10:32 AM Changeset in ghc [1d21158e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
10:32 AM Changeset in testsuite [62837ef7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
10:31 AM Changeset in ghc [fbff64a4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
10:30 AM Changeset in ghc [74d4018]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Switch on -XEmptyCase when renaming derived declarations Compiler-generated code can have empty cases
10:30 AM Changeset in ghc [e52d9d46]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Add an ASSERT
10:30 AM Changeset in ghc [a8941e2]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Refactor HsExpr.MatchGroup * Make MatchGroup into a record, and use the record fields * Split the type field into two: mg_arg_tys and mg_res_ty This makes life much easier for the desugarer when the case alterantives are empty A little bit of this change unavoidably ended up in the preceding commit about empty case alternatives
10:27 AM Changeset in ghc [3671e674]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Allow empty case expressions (and lambda-case) with -XEmptyCase The main changes are: * Parser accepts empty case alternatives * Renamer checks that -XEmptyCase is on in that case * (Typechecker is pretty much unchanged.) * Desugarer desugars empty case alternatives, esp: - Match.matchWrapper and Match.match now accept empty eqns - New function matchEmpty deals with the empty case - See Note [Empty case alternatives] in Match This patch contains most of the work, but it's a bit mixed up with a refactoring of MatchGroup that I did at the same time (next commit).
10:18 AM Changeset in ghc [28d9a032]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Peyton Jones <simonpj@…>
Make CaseElim a bit less aggressive See Note [Case elimination: lifted case]: We used to do case elimination if (c) the scrutinee is a variable and 'x' is used strictly But that changes case x of { _ -> error "bad" } --> error "bad" which is very puzzling if 'x' is later bound to (error "good"). Where the order of evaluation is specified (via seq or case) we should respect it. c.f. Note [Empty case alternatives] in CoreSyn, which is how I came across this.
10:00 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:51 AM Status/SLPJ-Tickets edited by simonpj
(diff)
1:46 AM Changeset in ghc [d967432]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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@…>
Set DBLATEX_OPTS to -P 'filename.as.url=0' (fixes #7486) Apparently this fixes the build with dblatex 0.3.4.
12:22 AM Ticket #7489 (Obscure warning: Var/Type length mismatch when using GADTs and ...) closed by igloo
Merged as 52e00f821c03fd2e3be7033f4f3b50ace05300fc
12:21 AM Ticket #7290 (Minor documentation fix for directory) closed by igloo
fixed: Merged as 5ad061f1e54da784b0622169798f91ceb40ea382
12:21 AM Ticket #7421 (Data.List.insert / insertBy do not match the documentation) closed by igloo
fixed: Merged as c4dec4948fc0b1185404e2a6d66aec25aa293b9f
12:21 AM Ticket #7546 (Manual 6.2 doesn't match current output formatting) closed by igloo
fixed: Merged as 1e73d02befc5b3c4efe130964ea6088edbbeaaea
12:20 AM Ticket #7545 (Type variable capture in InstanceSigs message) closed by igloo
fixed: Merged as c4a2c5f6034b26425f617844b158457a592be379
12:19 AM Ticket #7368 (kindFunResult panic in the) closed by igloo
fixed: Merged as c4b2ac3775323948b7a6abdb241a4ad02afa7141
12:19 AM Ticket #7493 (STM and TVar report incorrect results) closed by igloo
fixed: Reverted, and merged as 57c8d1c2c8ceba6973a48d138d1bb018ec2988ae

Jan 3, 2013:

11:54 PM Changeset in ghc [b9eb17c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 validating with GhcProfiled=YES Just Work It now takes care of adding p to the GhcLibWays, rather than just complaining that it's missing.
10:41 PM Changeset in ghc [1e73d02]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update strictness documentation (Trac #7546)
10:41 PM Changeset in ghc [c4a2c5f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Tidy the type in badInstSigErr (fixes Trac #7545)
10:41 PM Changeset in ghc [52e00f8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Pass the correct inst_tys argument to dataConCannotMatch, in mkRecSelBinds This fixes Trac #7503.
10:40 PM Changeset in base [c4dec49]ghc-7.6 by Ian Lynagh <ian@…>
Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey.
10:40 PM Changeset in ghc [c4b2ac3]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix TcUnify.matchExpectedTyConApp so that it returns types of compatible kinds This fixes Trac #7368. The problem was that we were matching Bad w ~ f (Bad f) where (f :: * -> *). Thta leads to (w ~ Bad f), which is ill-kinded, but matchExpectedTyConApp was returning the (Bad f) as the argument type, and that was being used to instanatiate w in the data constructor type, which is very bad. The code also becomes simpler and easier to understand, which is an excellent thing.
10:35 PM Changeset in directory [5ad061f]ghc-7.6 by Ian Lynagh <ian@…>
Fix Haddock markup
10:34 PM Changeset in ghc [57c8d1c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
A better fix for #7493 (see comment for details)
10:34 PM Changeset in ghc [d71d197]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "MERGED: Fix a bug in the handling of nested orElse" This reverts commit 5ea49271f793ed0f872342bf6a1cb0de10a48d94.
10:01 PM Ticket #7551 (GHCI does not support UTF8 file names.) closed by igloo
fixed: Yup, thanks for the report but it looks like it's already fixed.
9:52 PM Ticket #7528 (Non terminating thunk resolution blocks world, even in the case of forkOS) closed by igloo
duplicate: Agreed, duplicate of #367.
9:32 PM Ticket #7500 (GHC: internal error: getMBlock: mmap: Operation not permitted) closed by igloo
invalid: I don't think there's a bug here: on a 32bit platform, a single process is …
8:13 PM Ticket #7496 (Support for JavaScript as an official GHC output language) closed by igloo
wontfix: We have an entry for (more-or-less) this in the FAQ: …
4:59 PM Changeset in ghc [6d5f25f5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-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 Geoffrey Mainland <gmainlan@…>
Fix LLVM code generated for word2Float# and word2Double#.
1:37 PM Changeset in ghc [17b0c213]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Merge branch 'master' into new-demand-to-merge Conflicts: compiler/basicTypes/Id.lhs compiler/basicTypes/MkId.lhs compiler/prelude/primops.txt.pp compiler/specialise/SpecConstr.lhs compiler/stranal/DmdAnal.lhs
12:22 PM Ticket #7483 (Broken Read instance for Data.Fixed ("no parse" in legitimate cases).) closed by igloo
fixed: Fixed by above patch.
10:23 AM Ticket #7551 (GHCI does not support UTF8 file names.) created by timthelion
[…]
4:16 AM Ticket #7550 (incorrect bang patterns rejected with "report a ghc bug") closed by monoidal
duplicate: Thanks for the report. The bug is already fixed in HEAD, see #7210.
4:08 AM Ticket #7550 (incorrect bang patterns rejected with "report a ghc bug") created by aavogt
[…]
1:08 AM Ticket #7549 (Deriving Bug?) closed by monoidal
duplicate: Thanks for the report, the bug is already fixed in GHC 7.6 - bug #5961.
12:58 AM Ticket #7549 (Deriving Bug?) created by davorak
ghci -XDeriveDataTypeable > import Data.Typeable > data S = S …
12:12 AM Changeset in base [3fb1aaca]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Fix Data.Fixed.Fixed's Read instance; fixes #7483
12:12 AM Changeset in ghc [5f19f951] by Ian Lynagh <ian@…>
Fix Data.Fixed.Fixed's Read instance; fixes #7483
Note: See TracTimeline for information about the timeline view.