Timeline


and

Jun 16, 2013:

8:32 PM Ticket #7988 (Big integers crashing integer-simple on qnxnto-arm) created by singpolyma
The following program gives a SIGSEGV when run on qnxnto-arm (my …
8:30 PM Ticket #7811 (intermittent 'unexpected' results of test ghcpkg01) closed by igloo
worksforme: I can't reproduce the problem, and can't see anything obviously wrong. I …
7:42 PM Ticket #7744 (Can't install conduit via cabal-install) closed by igloo
worksforme: No response from submitter, so closing.
7:41 PM Ticket #7565 (GHC fails without an error when building text-0.11.2.3) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7362 (GHC generated DLL does not work on Windows XP/Server 2003) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7327 (Inconsistent behavior for relative paths in runProcess) closed by igloo
worksforme: As far as I can see, everything is working correctly here.
7:39 PM Ticket #6084 (Add stg_ap_pnnv and related call patterns) closed by igloo
wontfix: No response from submitter, so closing.
7:35 PM Ticket #5787 (Add instances to ZipList) closed by igloo
invalid: No response from submitter, so closing.
7:23 PM Changeset in base [fb92baf]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:23 PM Changeset in ghc [4780c7ae]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:16 PM Changeset in base [80b02b2]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
7:16 PM Changeset in ghc [f2ade3f]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
6:41 PM Ticket #7987 (GHC Build Error) created by singpolyma
Trying to build HEAD as a native compiler (not cross-compiler). Build …
5:47 PM Changeset in process [e380844]ghc-7.8 by Ian Lynagh <ian@…>
Fix process007 with dash as /bin/sh dash doesn't support 2-digit FD numbers with the 0<&10 syntax, and some ways were using FDs that high. So now we have a little C program to do the job instead.
4:12 PM Changeset in ghc [08da2825]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 Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
4:12 PM Changeset in testsuite [b525448]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
3:56 PM Changeset in ghc [9e5f86a1]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 Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:56 PM Changeset in testsuite [b8961b1]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:47 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
3:46 PM Changeset in ghc [a595130]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 Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
3:46 PM Changeset in testsuite [2e7b17e]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
10:37 AM Building/GettingTheSources edited by merijn
Removed spam links. (diff)
7:40 AM Ticket #7986 (make newBroadcastTChanIO match newBroadcastTChan) created by WrenThornton
While looking through the pull requests for stm-chans I came across a …

Jun 15, 2013:

8:54 PM Changeset in ghc [b097dc9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix ghci crash when the user code closes stdin Now that we share stdin with the program, we have to check for handle-closed as well as EOF, as the program might have closed stdin.
7:50 PM Ticket #693 (dynamic locking) closed by igloo
fixed: Thanks; I've pushed a similar patch which also optimises the C users of …
6:07 PM Changeset in ghc [75947bb6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimise lockClosure when n_capabilities == 1; fixes #693 Based on a patch from Yuras Shumovich.
4:43 PM Ticket #7847 (Maintain per-generation lists of weak pointers) closed by igloo
fixed: All applied, thanks
4:28 PM Changeset in ghc [4895155]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 Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:28 PM Changeset in testsuite [4d2a20b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:23 PM Ticket #7933 (JavaScript Cmm backend) closed by bosu
wontfix: Thank you all for the comments! I fully agree that the patch is better to …
4:08 PM Changeset in ghc [9a8c20d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace and braces only
3:41 PM Changeset in ghc [4ca86427]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add braces for clarity
3:41 PM Changeset in ghc [fe652a8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Maintain per-generation lists of weak pointers (#7847)
3:38 PM Changeset in base [9afb928]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:38 PM Changeset in ghc [5257404]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:36 PM Changeset in ghc [6770663]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Check for a weak pointer being dead before we do any allocation for it
3:23 PM Changeset in ghc [d61c623e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow multiple C finalizers to be attached to a Weak# The commit replaces mkWeakForeignEnv# with addCFinalizerToWeak#. This new primop mutates an existing Weak# object and adds a new C finalizer to it. This change removes an invariant in MarkWeak.c, namely that the relative order of Weak# objects in the list needs to be preserved across GC. This makes it easier to split the list into per-generation structures. The patch also removes a race condition between two threads calling finalizeWeak# on the same WEAK object at that same time.
2:27 PM Changeset in base [452008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix a comment
2:27 PM Changeset in ghc [9dc3418]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix a comment
12:52 PM Ticket #7427 (Proposal: Add setEnv/unsetEnv to System.Environment) closed by igloo
fixed: The base split is now scheduled or post-7.8-branch, and as the amount of …
12:51 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) closed by igloo
fixed: Applied, thanks!
12:23 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Those 3 files are no longer created/used. The tests should clean up after …
12:19 PM Changeset in ghc [5d9e686]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimization for takeMVar/putMVar when MVar left empty; fixes #7923 We only need to apply the write barrier to an MVar when it acquires a reference to live data; when the MVar is left empty in the case of a takeMVar/putMVar, we can save a memory reference. Patch from Edward Z. Yang.
11:46 AM Changeset in base [60d5d2e]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
11:46 AM Changeset in ghc [3be61012]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
3:36 AM Ticket #7985 (Allow openFile on unknown file type) created by singpolyma
There should be an "unknown" file type, to allow for special file types to …
1:04 AM Ticket #7984 (hsc2hs --cross-compile does not handle negative #enum) created by singpolyma
[…] Output with hsc2hs or even hsc2hs --cross-safe : […] Output …
12:49 AM Ticket #7983 (Bug in hsc2hs --cross-safe) created by singpolyma
The following test succeeds with hsc2hs --cross-safe but fails with hsc2hs …

Jun 14, 2013:

9:02 PM Changeset in ghc [9e4348e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in rts/storage/SMPClosureOps.h
7:31 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Thanks, I've added cleaning for the extra files.
7:03 PM Changeset in ghc [da80f8e9]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 Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
7:03 PM Changeset in testsuite [8ae14cc]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
5:58 PM Changeset in base [16f71d6]data-proxyghc-7.8 by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:58 PM Changeset in ghc [7fef22a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:33 PM Changeset in ghc [725a16b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint while compiling. Need Simon's input on design.
2:49 PM Changeset in ghc [3343182]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to try compiling.
1:40 PM Changeset in ghc [5483b14]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Cleaning fixes, and other build system tweaks; part of #7941
12:40 PM PrimBool edited by jstolarek
(diff)

Jun 13, 2013:

10:15 PM Changeset in unix [e712803]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
10:15 PM Changeset in directory [571f32b]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
8:21 PM Ticket #7843 (GHC should be able to list all possible command line options) closed by igloo
fixed: Applied, thanks!
8:20 PM Ticket #7948 (hp2ps --help typo) closed by igloo
fixed: Applied, thanks!
7:49 PM Changeset in ghc [a532f40f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo in hp2ps help output As spotted by Julian Gilbey and reported at http://bugs.debian.org/710305
7:49 PM Changeset in ghc [2280f96]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
--show-options lists all flags. Add user documentation for #7843
3:35 PM Changeset in ghc [f2a178b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working on typechecker.
3:03 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) created by goldfire
[…] […] This was tested on a checkout from 22 May.

Jun 12, 2013:

9:13 PM Ticket #7981 (Lack of packages from category theory at Platform) closed by monoidal
invalid: This tracker is for problems specific to GHC. To suggest a package for …
8:45 PM Ticket #7981 (Lack of packages from category theory at Platform) created by wvv
There are lack of basics packages from category theory at Platform. Some …
6:25 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) created by totherme
I'm using ghc 7.6.2 on Ubuntu 13.04. To reproduce, put the following line …
1:31 PM Changeset in ghc [db9b6310]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Avoid generating empty llvm.used definitions. LLVM 3.3rc3 complains when the llvm.used global is an empty array, so don't define llvm.used at all when it would be empty.
11:05 AM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) closed by simonpj
fixed: Thank you for reporting this. It exposed one real bug, and one …
11:03 AM Changeset in ghc [133b500]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in testsuite [79c6532]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in ghc [bab5720]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7967
11:03 AM Changeset in testsuite [6432ecf]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7967
10:41 AM Ticket #7885 (LLVM build broken) closed by gmainland
fixed
10:12 AM PrimBool edited by jstolarek
(diff)
10:11 AM PrimBool edited by jstolarek
(diff)
8:52 AM Changeset in ghc [92b2e4ea]th-new by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:52 AM Changeset in ghc [6356813]th-new by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:52 AM Changeset in ghc [18934998]th-new by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:52 AM Changeset in ghc [147bb859]th-new by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:52 AM Changeset in ghc [97d316b8]th-new by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:52 AM Changeset in ghc [30a19ba3]th-new by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:52 AM Changeset in ghc [51ca37f9]th-new by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:52 AM Changeset in ghc [85813f6]th-new by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:52 AM Changeset in ghc [fe521cc]th-new by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:52 AM Changeset in ghc [a9abb46]th-new by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:52 AM Changeset in ghc [03e0ea63]th-new by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:52 AM Changeset in ghc [1301b10]th-new by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:52 AM Changeset in ghc [a167aa5e]th-new by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:52 AM Changeset in ghc [753ebe2a]th-new by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:52 AM Changeset in ghc [418a3340]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:52 AM Changeset in ghc [6f4cba0f]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:52 AM Changeset in ghc [627f982]th-new by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:52 AM Changeset in ghc [af607888]th-new by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
8:51 AM Changeset in testsuite [1746d9e]th-new by Geoffrey Mainland <mainland@…>
Fix test wibble.
8:51 AM Changeset in testsuite [da3c7f9]th-new by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
8:51 AM Changeset in testsuite [c2135a9]th-new by Geoffrey Mainland <mainland@…>
Adjust tests for new Template Haskell. From the new Template Haskell proposal at http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal A declaration group is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not including the next top-level declaration splice. Then the type environment seen by reify includes all the declaration up to the end of the immediately preceding declaration block, but no more. This change adds '$(return [])' where necessary to allow following declarations to see (module-local) top-level definitions.
8:51 AM Changeset in testsuite [27c8361]th-new by Geoffrey Mainland <mainland@…>
Fix test wibbles for new Template Haskell. Because splices are now run in the renamer, we do not get the same error context as we would when running in the type checker. In most cases we get less context, and in some cases I have added additional context. Error messages should at least tell the user that an error occurred in a splice; dropping context beyond that point is not judged a great loss. Note that we may now report only one error when multiple errors were reported before because splices are now run in the renamer.
8:51 AM Changeset in testsuite [3a07227]th-new by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
8:51 AM Changeset in testsuite [59e8e8b]th-new by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. splices are run in the renamer, so they only get run once.
8:43 AM Changeset in ghc [289be61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code
8:43 AM Changeset in ghc [355d57a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove trace that sometimes causes a loop
8:43 AM Changeset in ghc [262cab0f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the constraint simplifier (Trac #7967) Richard's bug report showed up a couple of subtleties in the constraint solver * We can strengthen the kind invariants on CTyEqCan and CFunEqCan See Note [Kind orientation for CTyEqCan] and Note [Kind orientation for CFunEqCan] in TcRnTypes There are some changes to reOrient and checkKind in TcCanonical to support these stronger invarants. * In TcSimplify we must make sure that we re-simplify if defaultTyVar does anything. See Note [Must simplify after defaulting] in TcSimplify. The usual round of refactoring follows!
6:23 AM Ticket #7979 (./configure script does not properly detect missing header files) created by jstolarek
I was trying to compile GHC on a fresh installation of Debian Wheezy and I …
2:22 AM Building/GettingTheSources edited by domtheo
(diff)
2:19 AM Building/Hacking edited by domtheo
(diff)

Jun 11, 2013:

10:32 PM Changeset in base [2f8c5bf]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in base [07f8524]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:32 PM Changeset in ghc [72901d41]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in ghc [089c686b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:30 PM Changeset in ghc [4aa7fc89]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment out function; consequence of reverting a553f18
10:30 PM Changeset in ghc [91979ed]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Add support for byte endian swapping for Word 16/32/64." This reverts commit 1c5b0511a89488f5280523569d45ee61c0d09ffa.
9:39 PM Changeset in ghc [2f9278d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typo in comment
9:37 PM Changeset in base [a123775]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Fix some typos
9:37 PM Changeset in ghc [b9138a8]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Gabor Greif <ggreif@…>
Fix some typos
9:27 PM Changeset in ghc [57fa4375]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
punctuation in comment
9:22 PM Ticket #7978 (Profiling broken) created by gmainland
The cardinality analysis patch broke profiling. This can be seen in the …
6:57 PM Building/Architecture/Idiom/StandardTargets edited by nfrisby
(diff)
6:53 PM Building/Using edited by nfrisby
just updated a broken link (diff)
6:01 PM Changeset in testsuite [9069fb7]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fix test case to reflect banning nonlinear standalone instances." This reverts commit 50bfe9ae6b68270120a93c420618eabfcaa817af.
5:59 PM Changeset in ghc [0f22bc8e]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit 41365aeba8020d31391784bc1b9887007e78c306.
5:56 PM Changeset in ghc [780d4b9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource" This reverts commit 33582704caaf2ba4cd6f06360ff2834667d2ce6d.
5:56 PM Changeset in ghc [508d2351]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. Working in FamInst on newFamInst." This reverts commit 9b8dc727296fc72942d2b32efe853adf795ba9ad.
5:56 PM Changeset in ghc [6c91510b]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. About to compile." This reverts commit adc506253558332086699c43e8de929e5e041cbd.
5:56 PM Changeset in ghc [c26be08]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint during compilation." This reverts commit 0276b4966bd1ec50c7236cdc9d480873f0c33b2b.
5:55 PM Changeset in ghc [5e740d8]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint." This reverts commit 09a8a7fd96b44b20d168fbb167cdee20006ebb32.
5:55 PM Changeset in ghc [55fa3d6]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. The sources compile, but the libraries don't yet." This reverts commit 0d0c71eab258d03c5ab47f7323c392014565e2b7.
5:44 PM Changeset in ghc [8e0e3a3]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fixed interface loading bug, and a few other little changes." This reverts commit e8fbb019e83aedfe334d8f2ce638d0637ab15752.
5:44 PM Changeset in ghc [0763ebd]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Code compiles. Now, on to the testsuite. Also, documentation updated." This reverts commit d82a62855de5d8cc75d67fd181b47386d9f90f58.
2:50 PM Ticket #7977 (Optimization: Shift dropped list heads by coeffecient to prevent thunk ...) created by schyler
Consider the following snippet(s) equivalent to ([a..b] !! n), the source …
2:16 PM Building/GettingTheSources edited by stefan
Removed spam (diff)
1:54 PM Changeset in ghc [716c2ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:49 PM Changeset in ghc [2333148]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
1:49 PM Changeset in testsuite [c33fc66]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
9:04 AM Ticket #7976 (Failure building master (perf) on i686-pc-linux-gnu) created by nickie
It seems that the nightly builds on x86 for the master branch fail since …
8:50 AM Ticket #7272 (PolyKinds and mutually recursive modules) closed by simonpj
fixed: Maybe now I have finally done it :-)
8:49 AM Changeset in ghc [6ecfa98]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Actually make the change described in 'Fix egregious typo in cmpTypeX' I reverted it to try something else and forgot to put it back! Fixes Trac #7272 (again!).
7:27 AM Ticket #7975 ("impossible" failure while type checking) closed by simonpj
duplicate: Thanks. I'm guessing this is a dup of #7927, #7920, #7905, etc. Works in …
4:29 AM Ticket #7975 ("impossible" failure while type checking) created by jonnadal
$ cat failure.hs […] $ ghc failure.hs […]
2:34 AM SafeHaskell edited by domtheo
(diff)
2:33 AM SafeHaskell edited by domtheo
(diff)
Note: See TracTimeline for information about the timeline view.