Timeline


and

Jan 10, 2013:

11:59 PM Ticket #7568 (Can't dynamically load DLL-using libraries on Windows x86_64) created by bos
I've spent the past day trying to understand and fix this downstream bug: …
11:39 PM Changeset in ghc [35428a3]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactoring: No functional change Moved some code from runPipeline' into runPipeline.
11:30 PM Changeset in ghc [bab8dc7]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Add preprocessor defines when SSE is enabled This will add the following preprocessor defines when Haskell source files are compiled: * __SSE__ - If any version of SSE is enabled * __SSE2__ - If SSE2 or greater is enabled * __SSE4_2_ - If SSE4.2 is enabled Note that SSE2 is enabled by default on x86-64.
8:43 PM Changeset in ghc [ccd8c6f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Handle -boot files properly when doing -dynamic-too
8:41 PM Changeset in ghc [9e3088f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove redundant rule from rules/build-package.mk We were adding "maintainer-clean : distclean" every time we call build-package. All of these are redundant, as the same dependency appears in the root ghc.mk.
7:29 PM Changeset in ghc [1353b4a1]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Enable the .hi file sanity check when not on Windows We don't want the overhead of spawning a shell on Windows, but on other platforms it's a useful sanity check.
6:34 PM Changeset in ghc [5cb0880]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make the rule for .hi files depend on the .hs/.lhs files make thought that it could make a .hi file for the C files in libraries, which was causing problems when using dynamic-too.
6:29 PM Changeset in ghc [8dd2f98]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Support the MergeStub phase when building with dynamic-too
6:29 PM Changeset in ghc [35691ad]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update the -no-auto-link-packages docs It's now base + rts, rather than haskell98, that we link in by default.
4:54 PM Changeset in ghc [0ac8c371]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7562
4:54 PM Changeset in testsuite [a91cac4f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7562
4:37 PM Ticket #7567 (invalidateModSummaryCache throws exception if ms_hs_date is 0) created by edsko
It will try to subtract one, and the negative value will cause …
3:42 PM Ticket #7566 (exception when loading) closed by monoidal
duplicate: This is already fixed in GHC 7.6, bug #5951. (You compile your code by …
2:41 PM Ticket #7566 (exception when loading) created by j4hr0m
when i save […] as point.hs and load it using WinGHCi 1.0.6 …
11:09 AM Ticket #7564 (GHC fails without an error when building text-0.11.2.3) closed by simonmar
duplicate: looks like a dup of #7565
9:41 AM ReadingList edited by jstolarek
Hoopl and C-- (diff)

Jan 9, 2013:

8:41 PM Ticket #7565 (GHC fails without an error when building text-0.11.2.3) created by guest
Coming from [here](https://github.com/haskell/cabal/issues/1173). I …
7:52 PM Ticket #7564 (GHC fails without an error when building text-0.11.2.3) created by guest
I wanted to install GHC-7.6.1 on my server system. It is a CentOS 6. I …
5:46 PM Changeset in ghc [413017c]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Lots of refactoring on the demand analyser I've been doing nofib comparisons! Many small improvements in here. Mostly refactoring and tidying up, but a few modest but real changes.
5:44 PM Changeset in ghc [7b64905]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Make CSE work for case expressions too See Note [CSE for case expressions] in CSE. Seldom makes a difference, but a very simple change.
5:41 PM Changeset in ghc [8a806e1e]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Minor merge stuff only
5:40 PM Changeset in ghc [a21bbf30]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
White space and tabs only
5:23 PM Ticket #7361 (Segmentation fault on 5f37e0c71ff4af8539c5aebc739b006b4f0c6ebf) closed by simonmar
fixed
4:52 PM Changeset in ghc [3af022f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix some incorrect narrowing rules (#7361) e.g. narrow8Int# subsumes narrow16Int#, not the other way around.
4:51 PM Changeset in ghc [26e5aafd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7361
4:51 PM Changeset in testsuite [a443715]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7361
2:46 PM Changeset in ghc [343548da]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix disassembler after removal of size field in bco->instrs (#7518)
12:14 PM Ticket #7518 (Instruction list length in bco->instrs redundant) closed by simonmar
fixed
12:11 PM Changeset in ghc [f838d2f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add docs for ":showi language" (#7501)
12:11 PM Changeset in ghc [0c42e301]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove unnecessary size field in BCO (#7518)
10:46 AM Ticket #7563 (Passing -C flag causes the 'impossible' to happen) created by jstolarek
Passing -C flag to GHC causes compiler panic: […] Comment in …
9:40 AM Ticket #7562 (Parse error with {-# UNPACK #-} Int) created by nomeata
This code (note the missing !) causes a parser error: […] I think a …
9:37 AM Changeset in ghc [41e9276]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc Conflicts: compiler/typecheck/FamInst.lhs
9:36 AM Ticket #7504 (hackage vector package yields ghc bug on raspberry pi) closed by simonmar
invalid: Your GHC was built without GHCi support (I'm not sure why though). That …
9:27 AM Commentary/Pipeline edited by jstolarek
(diff)
8:58 AM Changeset in ghc [4737d64]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
More tidying up in FamInstBranch In particular I removed the fib_index and fib_loc fields. The "master version" is in the CoAxiom; the FamInstBranches are only for matching.
6:17 AM Ticket #7561 (Unnecessary Heap Allocations - Slow Performance) created by wurmli
Using the vector library operations that should in principle take place …
4:34 AM Ticket #7560 (Panic in conflictInstErr when branched type family instances conflict) closed by goldfire
fixed
4:31 AM Changeset in ghc [4aa886d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add new testcase for Trac #7560.
4:31 AM Changeset in testsuite [0b4b7a9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add new testcase for Trac #7560.
4:30 AM Changeset in ghc [851e4e7]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #7560. Code in conflictInstErr did not handle the case where some branches of a branched family instance had an error and some didn't. It was all or nothing. Now, if there are no conflicts for a given branch, conflictInstErr just ignores the branch instead of panicking.
2:11 AM Ticket #7560 (Panic in conflictInstErr when branched type family instances conflict) created by goldfire
This code causes the panic: […] Here is the output: […] Fix on …

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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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]wip/T9016wip/ampwip/coveritywip/orf 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]wip/T9016wip/ampwip/coveritywip/orf 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]wip/T9016wip/ampwip/coveritywip/orf 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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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)
Note: See TracTimeline for information about the timeline view.