Timeline


and

Aug 13, 2012:

9:52 PM Changeset in base [36bc4549]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:52 PM Changeset in ghc [9bd314e7]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:52 PM Changeset in ghc [e6fa845]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
8:06 PM Changeset in ghc [c48c4d08]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint some MSG work
6:42 PM Ticket #7130 (Give suggestions for unknown command line flags) closed by pcapriotti
fixed: Thanks, applied. […]
6:39 PM Changeset in ghc [562b154]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 Paolo Capriotti <p.capriotti@…>
Fix test case 7087 for x86.
6:39 PM Changeset in ghc [f5144f5]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 Paolo Capriotti <p.capriotti@…>
Add test case for #7117
6:39 PM Changeset in testsuite [3952414]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix test case 7087 for x86.
6:39 PM Changeset in testsuite [38163b91]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7117
6:39 PM Changeset in ghc [2dba6fb]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 Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests.
6:39 PM Changeset in ghc [caf3f59]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 Paolo Capriotti <p.capriotti@…>
Add test for #7130
6:39 PM Changeset in ghc [a706a604]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 Paolo Capriotti <p.capriotti@…>
Update error message in safeHaskell/ghci/p2
6:39 PM Changeset in testsuite [5639614]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests.
6:39 PM Changeset in testsuite [79cbbaa]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test for #7130
6:39 PM Changeset in testsuite [1da2132e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update error message in safeHaskell/ghci/p2
6:37 PM Ticket #7139 (GHCi is too verbose on -v0) closed by pcapriotti
fixed
5:56 PM Changeset in ghc [07483e4]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed bugs in overlapping type families caught by regression testing.
5:52 PM Changeset in testsuite [543e856]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated stderr output to reflect changes in GHC.
5:32 PM Changeset in ghc [3e6c930]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix GHCi segfault during startup on linux-powerpc (#2972). Slightly modified version of a patch from Ben Collins <bcollins@ubuntu.com> who did the final debugging that showed the segfault was being caused the memory protection mechanism. Due to the requirement of "jump islands" to handle 24 bit relative jump offsets, GHCi on PowerPC did not use mmap to load object files like the other architectures. Instead, it allocated memory using malloc and fread to load the object code. However there is a quirk in the GNU libc malloc implementation. For memory regions over certain size (dynamic and configurable), malloc will use mmap to obtain the required memory instead of sbrk and malloc's call to mmap sets the memory readable and writable, but not executable. That means when GHCi loads code into a memory region that was mmapped instead of malloc-ed and tries to execute it we get a segfault. This solution drops the malloc/fread object loading in favour of using mmap and then puts the jump island for each object code module at the end of the mmaped region for that object. This patch may also be a solution on other ELF based powerpc systems but does not work on darwin-powerpc.
5:26 PM Changeset in ghc [700d287f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix environment update for type instance declarations in GHCi (#7117) Patch by Patrick Palka <patrick@parcs.ath.cx>
5:09 PM Changeset in ghc [feb653c]supercompiler by Max Bolingbroke <batterseapower@…>
Due to evaluator change we can remove some ugliness from split cheap heap construction
5:06 PM Changeset in ghc [2ce3732]supercompiler by Max Bolingbroke <batterseapower@…>
Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner
4:41 PM Ticket #7022 (Kind variable scoping problem in Iface file when using Template Haskell) closed by simonpj
fixed: The rnfail055 error is fine. I've updated the test to test for Richard's …
4:39 PM Changeset in ghc [42d70b5]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@…>
Update T7022 to test more as per the ticket
4:39 PM Changeset in testsuite [94cdb53]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update T7022 to test more as per the ticket
4:33 PM Changeset in ghc [be04536]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@…>
Accept error change
4:33 PM Changeset in testsuite [f306e73]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error change
4:32 PM Changeset in base [b7c8017]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Comments ony
4:32 PM Changeset in ghc [7e01e07]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Comments ony
4:16 PM Ticket #7141 (Inlining the single method of a class can shadow rules) created by pcapriotti
This shows up in template-haskell, module Language.Haskell.TH.Syntax, …
3:59 PM Changeset in ghc [82373c76]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Give suggestions for unrecognised command line arguments
3:54 PM Ticket #7140 (Allow type signature in export list) created by drb226
In response to the new InstanceSigs? extension in the 7.6.1 RC1, waterlight …
2:33 PM Changeset in ghc [0378ac2]overlapping-tyfams by Richard Eisenberg <eir@…>
Added parsing rules for type instance groups.
2:33 PM Changeset in ghc [684017d]overlapping-tyfams by Richard Eisenberg <eir@…>
Made a type instance group compile into a list of FamInsts. Cleaned up some source location tracking.
2:33 PM Changeset in ghc [bff9f7e]overlapping-tyfams by Richard Eisenberg <eir@…>
Removed warnings from dead code
2:33 PM Changeset in ghc [f428eea]overlapping-tyfams by Richard Eisenberg <eir@…>
Added overlapping type family instances. The primary change is in compiler/types/FamInstEnv.hs, where the new lookup algorithm is written. See comments in that file for the full details. The biggest change that could affect other people is that, now, the top-level family instance declaration leads to a FamInstGroup, not just a FamInst. A FamInstGroup, in turn, holds an ordered list of FamInsts. This change required a ripple of changes throughout GHC, including in interface files, to support it. Still to do: clean up some code/names, allow code to compile when it relies on a certain corner-case overlap, emit warnings/errors when certain branches of an instance group are unreachable.
2:29 PM Changeset in ghc [7e5abfc]overlapping-tyfams by Richard Eisenberg <eir@…>
Bug fix: check don't derive default family instances for both type and data families when a local instance exists
1:23 PM Changeset in testsuite [56b0dd8]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated expected output of some test cases to reflect changes
12:53 PM Ticket #7138 (GHCi does no respect -ignore-dot-ghci anymore) closed by pcapriotti
fixed: Merged as 24c5c501461c9dde9858970a463672c0ac7912a5.
12:36 PM Changeset in ghc [8240843]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Respect verbosity for "flags changed" message (#7139) Also, print that message on stdout.
12:13 PM Changeset in ghc [d6fd2bfe]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add UnboxedTuples changes to release notes.
12:10 PM Ticket #7123 (Dictionary method should be applicable even in existential context) closed by simonpj
invalid: parcs is right. See …
12:02 PM Changeset in ghc [24c5c50]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix ambiguous flag resolution (#7138) Pick longest flag when more than one matches in findArg. This fixes an issue where -ignore-dot-ghci wasn't honored, because the flag was parsed as "-i gnore-dot-ghci". MERGED from commit f78b31a36b5b49afbdea199269319faca261c898
11:48 AM Changeset in ghc [f78b31a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix ambiguous flag resolution (#7138) Pick longest flag when more than one matches in findArg. This fixes an issue where -ignore-dot-ghci wasn't honored, because the flag was parsed as "-i gnore-dot-ghci".
10:48 AM Ticket #7139 (GHCi is too verbose on -v0) created by SimonHengel
Steps to reproduce: […] I'd expect that nothing is printed, but the …
10:19 AM Changeset in ghc [484262f6]supercompiler by Max Bolingbroke <batterseapower@…>
Experimental rewrite of the MSG (currently loops)
10:19 AM Ticket #7138 (GHCi does no respect -ignore-dot-ghci anymore) created by SimonHengel
Steps to reproduce: […] Expected results: GHCi is started without any …
9:48 AM Changeset in ghc [09c9b105]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update 'unboxed tuples' section of users guide. In particular, many of the restrictions on using unboxed tuples went away thanks to Max Bolingbroke, and they can now be bound to variables without pattern matching, and passed as arguments. Also fix a little formatting in glasgow-exts.xml. Some other parts of this section may be out of date. Signed-off-by: Austin Seipp <mad.one@gmail.com> MERGED from commit 7473c3d291742175e2e2a4ba98f0c1dba5393599
9:47 AM Changeset in ghc [715860aa]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Don't pass -Wimplicit to the C++ compiler. Supresses an ugly warning from gcc 4.6+ saying this is a C/ObjC flag only. Signed-off-by: Austin Seipp <mad.one@gmail.com> MERGED from commit a0e308de485bdb275008a40de9c76c31230e6c51
9:43 AM Ticket #7136 (fix for os x package builder script) closed by igloo
wontfix: However, in this case, you'd be better off patching the Haskell Platform …
9:42 AM Changeset in ghc [7473c3d2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Update 'unboxed tuples' section of users guide. In particular, many of the restrictions on using unboxed tuples went away thanks to Max Bolingbroke, and they can now be bound to variables without pattern matching, and passed as arguments. Also fix a little formatting in glasgow-exts.xml. Some other parts of this section may be out of date. Signed-off-by: Austin Seipp <mad.one@gmail.com>
9:41 AM Changeset in ghc [a0e308de]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Don't pass -Wimplicit to the C++ compiler. Supresses an ugly warning from gcc 4.6+ saying this is a C/ObjC flag only. Signed-off-by: Austin Seipp <mad.one@gmail.com>
9:41 AM Ticket #7135 (Data.Bits can still have default implementations for testBit, bit, and ...) closed by igloo
wontfix: We discussed using this extension at the time, e.g. in …
3:25 AM Ticket #7137 (Unnecessary -XRank2Types requirement involving type alias containing ...) created by joeyadams
The following builds with GHC 7.4, but not 7.6. Bottom.hs […] …
3:14 AM Ticket #7136 (fix for os x package builder script) created by carter
the build script in distrib/MacOS/mkinstaller has packagemaker hard coded …
1:34 AM Changeset in ghc [166e974f]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:28 AM Ticket #7135 (Data.Bits can still have default implementations for testBit, bit, and ...) created by joeyadams
In commit f99cee0 of the base package, the Num constraint was removed from …
1:18 AM Ticket #7134 (ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32) created by cetinsert
I downloaded ghc-7.6.0.20120810-x86_64-windows.exe and attempting to run …

Aug 12, 2012:

6:43 PM Changeset in ghc [4e6bd651]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use the right arch name in the Windows installer filename
10:45 AM Changeset in ghc [3dc0a43]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update release notes for GHC and base.

Aug 11, 2012:

8:24 AM Changeset in ghc [92637106]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint MSG bullshit, REMOVE trace in sc

Aug 10, 2012:

11:09 PM Changeset in base [4e4078e]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Fix build
11:09 PM Changeset in ghc [5682cac]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix build
10:21 PM Changeset in ghc [7299487c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Follow RTS symbol changes in Linker.c
9:28 PM Changeset in base [6b2c2ac]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:28 PM Changeset in ghc [8dbc583b]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:28 PM Changeset in ghc [c4d75a7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:26 PM Changeset in ghc [cb07cb7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Always define startProfTimer and stopProfTimer This allows us to provide access to them in the base library.
9:24 PM Changeset in base [5443ba9]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Make startProfTimer and stopProfTimer available via GHC.Profiling This allows the programmer to profile only part of a program's runtime, for example, ignoring startup and shutdown phases of programs.
9:24 PM Changeset in ghc [86ba770]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Make startProfTimer and stopProfTimer available via GHC.Profiling This allows the programmer to profile only part of a program's runtime, for example, ignoring startup and shutdown phases of programs.
1:49 PM Ticket #7133 (GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource ...) created by DuncanMortimer
Example: (launching GHCi from Terminal.app) […] This behaviour does …
12:38 PM Ticket #7127 (RTS timer gets turned off when using +RTS -I0) closed by pcapriotti
fixed: Merged as 46936288fe9dc71383d3a5d6f0f08e94df4061f4.
12:38 PM Ticket #7113 (linux-powerpc : large integer implicitly truncated to unsigned type) closed by pcapriotti
fixed: Merged as e24bd732a2bfc096f747eba23b2b09c8e83deed7.
12:37 PM Ticket #6082 (Program compiled with 7.4.1 runs many times slower than compiled with ...) closed by pcapriotti
fixed: Merged as 8dcd15240a9c2ba142fcbd31f597b51cf2f560bf.
12:36 PM Ticket #6104 (Regression: space leak in HEAD vs. 7.4) closed by pcapriotti
fixed: Merged as 1363c32a0d5b79c846530fa16d09076d02f29d1c.
12:31 PM Changeset in testsuite [0106f844]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept error MERGED from commit fd96f1918670869a1ce60878930365b750795559
11:10 AM Ticket #5962 (Data.Typeable: types which should compare equal don't) closed by pcapriotti
Merged as dd2af98d191d762e68e0b4c916096afad8b04dd7.
11:08 AM Ticket #7030 (GHCi tries to load the text package twice, leading to linking failure) closed by pcapriotti
fixed: Merged as 73bde5b1a70ce02373ac73885b7260194f30fb44.
11:06 AM Changeset in ghc [46936288]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix a bug in the handling of recent_activity The problem occurred when the idle GC was turned off with +RTS -I0. Then the scheduler would go into the state ACTIVITY_DONE_GC directly without doing a GC, and a subsequent GC would put it back to ACTIVITY_YES but without turning the timer back on. Instead if the GC finds the state is ACTIVITY_DONE_GC it should leave it there. MERGED from commit 396f09031b363bf2f0d2afa28a86e67a0628a696
11:06 AM Changeset in ghc [1363c32a]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Do calcUnfoldingGuidance on the *non* occ-analysed RHS See Note [Calculate unfolding guidance on the non-occ-anal'd expression] This makes a big difference to residency (530M vs over 800M when compiling Cabal). This fixes the majority of the regression in Trac #6104 MERGED from commit cd627bcfda713efa63b7f5290c84a5077f4976f9
11:06 AM Changeset in ghc [e24bd73]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add cast to placate gcc 4.6 on linux-powerpc (#7113). MERGED from commit 50f5016a67060538a5272cd5fa6f4532d0396ef2
11:04 AM Changeset in testsuite [22e6b94]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add 32-bit output for gcdInteger
11:04 AM Changeset in testsuite [549a5fd]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add a type signature for a function with an ambiguous type There's a comment with visit_PPSArgs to explain. GHC was rightfully rejecting visit_PPS as having an ambiguous type. And it does! It worked before because the ambiguity involved only standard classes and hence was resolved. (I suppose this could be a warning instead. But I'm fixing the test anyway.)
11:04 AM Changeset in testsuite [7551dbf]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests. MERGED from commit d4b0d7e6aa7e9cc5aa9a25c282337ab61c27a625
10:33 AM Changeset in testsuite [04569d2f]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update spec-inline output.
10:25 AM Changeset in testsuite [f7f18ef]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Make numrun012 work with excess-precision.(#5856) Remove exact base 2 logarithms, since their values depend on whether excess precision is used or not (see also #5165). MERGED from commits 5774835f02acf3ef8b587cec737bc4d66bb04026 and 19fc8e321193578a1409e837d907fb90555b342c.

Aug 9, 2012:

5:47 PM Ticket #7132 (Internal error: stg_ap_v_ret when running indexed_types tests) created by goldfire
After running make in testsuite/tests/indexed_types, I got the …
4:10 PM Ticket #7131 (FlexibleInstances / UndecidableInstances confusion) created by goldfire
Consider the following code: […] Compiling this code with no …
3:08 PM Changeset in base [dd2af98]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix an egregious bug in the fingerprint calculation for TypeRep Given (T ty1) and ty2, we were computing the fingerprint of the application (T ty1 ty2) by combining the two fingerprints from (T ty1) and ty2. But that gives a different answer to combinging the three fingerprints from T, ty1, and ty2, which is what happens if you build the type all at once. Urk! Fixes Trac #5962 MERGED from commit f35ebbd5dfd108487efa7912349e9802f6029897
2:46 PM Changeset in ghc [ec4feca]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
2:12 PM Ticket #7130 (Give suggestions for unknown command line flags) created by nomeata
I noticed that GHC does not do that yet, even though suggestions are given …
11:44 AM Changeset in ghc [d801c965]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix build failure on OS X (#7119) When refactoring this recently I accidentally put the dead-strip-preventer symbol (only used on OS X) in the wrong section.
10:30 AM Ticket #7125 (HEAD build fails with ghc-7.4.1 (XCode 3.2.6, Mac OS X 10.6.8)) closed by simonmar
duplicate
8:08 AM Changeset in ghc [50f5016a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add cast to placate gcc 4.6 on linux-powerpc (#7113).
8:08 AM Changeset in ghc [3a5788c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
a couple of small optimisations
8:08 AM Changeset in ghc [74d5ddee]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Only run the second round of control-flow optimisations when -O is on
8:08 AM Changeset in ghc [09afcc9b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove uses of fixC from the codeGen, and make the FCode monad strict
12:50 AM Changeset in ghc [358838cb]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix build on Windows: Configure packages in the right order Also added a comment explaining that addPackages need to be in dependency order.

Aug 8, 2012:

3:36 PM Changeset in ghc [ef4140f]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@…>
don't include $(EXTRA_HC_OPTS) twice
3:36 PM Changeset in ghc [31fb6f52]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@…>
don't force -O0
3:36 PM Changeset in ghc [af7c852e]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@…>
omit -dcmm-lint too
3:36 PM Changeset in testsuite [072e67e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't include $(EXTRA_HC_OPTS) twice
3:36 PM Changeset in testsuite [be107f9]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't force -O0
3:36 PM Changeset in testsuite [6c9b90c]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
omit -dcmm-lint too
3:36 PM Changeset in ghc [2999eae]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@…>
don't force -O
3:36 PM Changeset in testsuite [8db95fc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't force -O
1:47 PM Changeset in base [79d9ea6]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Refer and link to Haskell 2010 report in Prelude.
1:47 PM Changeset in ghc [3b3eb7d4]wip/T9016wip/ampwip/coveritywip/orf by Paolo Capriotti <p.capriotti@…>
Refer and link to Haskell 2010 report in Prelude.
1:46 PM Ticket #7129 (LINE pragma disables automatic tickish annotations) created by scpmw
If a {-# LINE #-} pragma is used in the code, this prevents the code in …
1:40 PM Changeset in ghc [23748ede]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 Paolo Capriotti <p.capriotti@…>
Add test case for #7118.
1:40 PM Changeset in testsuite [550a423]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7118.
1:31 PM Ticket #7128 (Panic "lookupVarEnv_NF" when using a functional dependency with a kind ...) created by goldfire
The following code causes a panic: […] The error is […] In …
12:09 PM Changeset in ghc [415598b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
12:08 PM Changeset in ghc [c2a532a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Set the value of Unregisterised in the bindist configure.ac Now that it's included in settings, the bindist configure script needs to know it.
10:43 AM Ticket #7121 (garbage collection invokation, query functions for realtime) closed by simonmar
worksforme: We already have this: * …
10:21 AM Ticket #7127 (RTS timer gets turned off when using +RTS -I0) created by simonmar
This bug was reported to me by hvr on IRC. I fixed it in GHC yesterday, …
10:19 AM Building/Preparation/Windows edited by simonmar
(diff)
10:16 AM Building/Preparation/Windows edited by simonmar
formatting (diff)
10:16 AM Building/Preparation/Windows edited by simonmar
update Windows instructions (diff)
9:56 AM Changeset in ghc [464ce12]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
9:39 AM Changeset in ghc [cc7384d1]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 Paolo Capriotti <p.capriotti@…>
Add test case for #7126
9:39 AM Changeset in testsuite [5ca9110]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7126
9:32 AM Ticket #7126 (Unexpected loop) closed by pcapriotti
fixed: Thanks for the report. This looks fixed in HEAD.
8:10 AM Changeset in ghc [1edad871]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add missing flag for respecting EXTRA_LIBDIR
7:27 AM Ticket #7126 (Unexpected loop) created by boris
The attached program executes as expected if compiled with GHC 7.0.3, but …
Note: See TracTimeline for information about the timeline view.