Timeline


and

Dec 16, 2012:

11:37 PM Ticket #7503 (Bug with PolyKinds, type synonyms & GADTs) created by Ashley Yakeley
GHC incorrectly rejects this program: […] GHC accepts the program when …
9:30 PM Changeset in ghc [06a962b3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some redundant parentheses
2:06 PM Changeset in ghc [6e0d45a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring: makes it easier to see what nativeCodeGen actually does
3:04 AM Changeset in ghc [f8fb4a4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: depending set of a vectorised tycon need only be vectorised if also parallel

Dec 15, 2012:

6:24 PM Changeset in ghc [51d3645]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
PPC: Implement stack resizing for the linear register allocator. Fixes #7498.
6:24 PM Changeset in ghc [6a990ac]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
De-tab compiler/nativeGen/PPC/Instr.hs.
6:24 PM Changeset in ghc [eec4c10]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Call gcc with '-x assembler-with-cpp' instead of '-x assembler'. On x86 and powerpc, the second form above was ignoring all the CPP lines and hence trying to compile x86 asm on powerpc and powerpc asm on x86.
1:48 PM Building edited by igloo
(diff)
1:47 PM Building edited by igloo
(diff)
1:47 PM Building edited by igloo
(diff)
12:50 PM BugSweep edited by Yuras
Delete tickets that are closed already (diff)
8:55 AM Ticket #7431 (execvpe exists on QNX) closed by ezyang
fixed: Applied, thanks. […]
8:54 AM Changeset in unix [14f43cb]ghc-7.8 by Edward Z. Yang <ezyang@…>
execvpe exists on QNX
3:44 AM Changeset in ghc [551472b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: don't pack free *scalar* variables

Dec 14, 2012:

11:29 PM Changeset in ghc [cf240aa0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Only run dynamicToo001 if we have both vanilla and dynamic libraries
11:29 PM Changeset in testsuite [890fea0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Only run dynamicToo001 if we have both vanilla and dynamic libraries
11:22 PM CodeOwners edited by simonpj
(diff)
10:40 PM Ticket #7487 (Deriving Generic1 for a type containing Either) closed by igloo
fixed: Merged as effbdfe8e66b8d171c2b8ccd68fe727660993491
10:39 PM Ticket #7409 (Document special "this" module name for PackageImports extension) closed by igloo
fixed: Merged as de6bfe043e1d98a7459642e4d1b6077533d347eb
10:39 PM Ticket #7493 (STM and TVar report incorrect results) closed by igloo
fixed: Merged as 5ea49271f793ed0f872342bf6a1cb0de10a48d94
10:16 PM Ticket #7502 (Panic when using lists of type-literals) created by diatchki
The following program: […] Causes a panic: […]
10:00 PM Changeset in ghc [effbdfe]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix #7487 Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
10:00 PM Changeset in ghc [de6bfe0]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
document special "this" syntax for PackageImports (#7409)
9:57 PM Changeset in ghc [5ea49271]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Fix a bug in the handling of nested orElse commit f184d9caffa09750ef6a374a7987b9213d6db28e Author: Simon Marlow <marlowsd@gmail.com> Date: Mon Dec 10 12:00:54 2012 +0000 Fix a bug in the handling of nested orElse Exposed by the following snippet, courtesy of Bas van Dijk and Patrick Palka on libraries@haskell.org: import Control.Concurrent.STM main = do x <- atomically $ do t <- newTVar 1 writeTVar t 2 ((readTVar t >> retry) `orElse` return ()) `orElse` return () readTVar t print x
9:29 PM Changeset in ghc [6f50601]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for -dynamic-too
9:29 PM Changeset in testsuite [9f1f5ff]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for -dynamic-too
9:28 PM Changeset in ghc [bcf7123]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Implement the slow mode of -dynamic-too I'm not sure if making an entirely new HscEnv is too large a hammer, but it works for now.
8:05 PM Changeset in ghc [9924685]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
plugins*: Follow changes in ghc
8:05 PM Changeset in testsuite [e668693]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
plugins*: Follow changes in ghc
8:04 PM CodeOwners edited by jepst
Add Jeff Epstein to CH contributors (diff)
7:28 PM Ticket #7501 (Some GHCi options are undocumented) created by monoidal
The following commands are missing from the list found in …
7:23 PM Changeset in ghc [6409ba5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Rename remaining FastBytes usages to ByteString
6:14 PM Changeset in ghc [ca56668a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the trivial mkFastStringFastBytes wrapper
6:12 PM Changeset in ghc [a243fa7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use ByteString rather than FastBytes in Binary
5:39 PM Changeset in ghc [96acba6f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc Conflicts: compiler/typecheck/TcTyClsDecls.lhs
5:37 PM Changeset in ghc [faa8ff40]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Major refactoring of the way that UNPACK pragmas are handled The situation was pretty dire. The way in which data constructors were handled, notably the mapping between their *source* argument types and their *representation* argument types (after seq'ing and unpacking) was scattered in three different places, and hard to keep in sync. Now it is all in one place: * The dcRep field of a DataCon gives its representation, specified by a DataConRep * As well as having the wrapper, the DataConRep has a "boxer" of type DataConBoxer (defined in MkId for loopy reasons). The boxer used at a pattern match to reconstruct the source-level arguments from the rep-level bindings in the pattern match. * The unboxing in the wrapper and the boxing in the boxer are dual, and are now constructed together, by MkId.mkDataConRep. This is the key function of this change. * All the computeBoxingStrategy code in TcTyClsDcls disappears. Much nicer. There is a little bit of refactoring left to do; the strange deepSplitProductType functions are now called only in WwLib, so I moved them there, and I think they could be tidied up further.
4:29 PM ReadingList edited by jstolarek
Added some DPH papers (diff)
3:37 PM Ticket #7499 (Case-inspecting unboxed unit causes codegen crash) closed by simonpj
duplicate: Yes I assume it's a dup of #7392 and #7237. Re-open if you disagree. …
3:30 PM CodeOwners edited by goldfire
(diff)
3:12 PM CodeOwners edited by simonpj
(diff)
3:03 PM CodeOwners edited by michalt
fix typo (diff)
2:54 PM GettingStarted edited by simonpj
(diff)
2:54 PM WorkingConventions edited by simonpj
(diff)
2:53 PM WorkingConventions edited by simonpj
(diff)
2:49 PM WorkingConventions edited by simonpj
(diff)
2:40 PM ReadingList edited by simonpj
(diff)
2:40 PM ReadingList edited by simonpj
(diff)
2:39 PM WorkingConventions edited by simonpj
(diff)
2:38 PM CodeOwners edited by simonpj
(diff)
2:37 PM WorkingConventions edited by simonpj
(diff)
2:36 PM WorkingConventions edited by simonpj
(diff)
2:34 PM WorkingConventions edited by simonpj
(diff)
2:30 PM CodeOwners edited by simonpj
(diff)
2:28 PM ReadingList edited by simonpj
(diff)
2:21 PM ReadingList edited by simonpj
(diff)
2:20 PM ReadingList edited by simonpj
(diff)
2:19 PM ReadingList created by simonpj
1:55 PM CodeOwners edited by simonpj
(diff)
1:42 PM CodeOwners edited by simonpj
(diff)
1:38 PM CodeOwners edited by simonpj
(diff)
11:27 AM Ticket #7500 (GHC: internal error: getMBlock: mmap: Operation not permitted) created by guest
Trying to calculate partition of a number using generating fuction with …
9:23 AM Changeset in integer-gmp [f6e76d0]ghc-7.8wip/T8647 by Gabor Greif <ggreif@…>
zap obsolete FIXME, fix typos
1:06 AM Changeset in ghc [80a3a15]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove a couple more FastBytes functions
1:02 AM Changeset in ghc [3c17143]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use BS.pack instead of mkFastBytesByteList
12:52 AM Changeset in ghc [fae0d4c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in hsSyn/Convert.lhs
12:42 AM Changeset in ghc [7085b841]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Inline some FastBytes/ByteString wrappers Working towards removing FastBytes

Dec 13, 2012:

10:49 PM Changeset in base [7ed0451]data-proxydbcsghc-7.8type-reasoning by Johan Tibell <johan.tibell@…>
Add fromIntegral/Word->Double and fromIntegral/Word-Float rules
10:40 PM Changeset in ghc [c79f7334]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
10:26 PM Changeset in ghc [265af43]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Make enabled_capabilities visible (fixes dynamic linking)
10:26 PM Changeset in ghc [2b977d9]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove most of TailCalls.h it was only needed for registerised compilation.
10:00 PM Changeset in ghc [ab9de78d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:57 PM Changeset in ghc [e2564ce]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge ../bs
9:54 PM Changeset in ghc [2e8c769]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Implement word2Float# and word2Double#
9:31 PM Changeset in ghc [7651b67]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make FastBytes a synonym for ByteString A step on the way to getting rid of FastBytes slow nofib Compile times look like: -1 s.d. -2.4% +1 s.d. +3.4% Average +0.4% but looking at the times for the longer-running compilations I think the change is just noise.
8:03 PM Changeset in ghc [cd01e48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Add test for word2Double# and word2Float#
8:03 PM Changeset in testsuite [8b3c309]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Add test for word2Double# and word2Float#
5:00 PM Changeset in base [d0059677]data-proxydbcsghc-7.8type-reasoning by Johan Tibell <johan.tibell@…>
highestBitMask: use shiftRL instead of shiftR
4:31 PM Ticket #7499 (Case-inspecting unboxed unit causes codegen crash) created by rl
Here is a minimal test case: […] GHC crashes with: […] Here is …
3:50 PM Changeset in ghc [ad482243]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
3:50 PM Changeset in testsuite [7314261]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
11:43 AM Ticket #7498 (panic : Register allocator: out of stack slots (need 147)) created by erikd
Build current GHC HEAD on linux-powerpc. Usign the stage1 to build …
9:18 AM Changeset in base [5c34c02]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
unbreak qsem001/qsemn001
8:24 AM Ticket #7497 (qsem001 and qsemn001 fail in HEAD) closed by simonmar
fixed: Fixed, sorry about that. […]
8:24 AM Changeset in base [829dcf8]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
fix qsem001 & qsemn001
3:37 AM CodeOwners edited by dterei
(diff)
3:37 AM CodeOwners edited by dterei
(diff)
2:08 AM Changeset in base [26b449e]data-proxydbcsghc-7.8type-reasoning by Johan Tibell <johan.tibell@…>
GHC.Event.IntMap.highestBitMap reimplementation Replaced the previous implementation due to licensing concerns. The new implementation is a reimplementation by Clark Gaebel, based on the public domain implementation at http://graphics.stanford.edu/~seander/bithacks.html#RoundUpPowerOf2
12:15 AM Changeset in base [19da7a4]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
qsem001 and qsemn001 fail in HEAD: #7497
12:11 AM Ticket #7497 (qsem001 and qsemn001 fail in HEAD) created by igloo
qsem001 and qsemn001 fail in HEAD […] […]
12:10 AM CodeOwners edited by benl
(diff)
12:09 AM Changeset in ghc [575573e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
T3294 now uses more space Reason unknown. The rise was present before commit d5b5d48881b3adbf3bd5e177ee6ef506e589b882 Author: Ian Lynagh <ian@well-typed.com> Date: Wed Dec 12 17:12:13 2012 +0000 Use ByteString rather than FastBytes inside FastZString Slow nofib Compile Times difference looks like just noise: -1 s.d. -2.9% +1 s.d. +2.9% Average -0.1% however.
12:09 AM Changeset in testsuite [894e4a2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
T3294 now uses more space Reason unknown. The rise was present before commit d5b5d48881b3adbf3bd5e177ee6ef506e589b882 Author: Ian Lynagh <ian@well-typed.com> Date: Wed Dec 12 17:12:13 2012 +0000 Use ByteString rather than FastBytes inside FastZString Slow nofib Compile Times difference looks like just noise: -1 s.d. -2.9% +1 s.d. +2.9% Average -0.1% however.
12:06 AM CodeOwners edited by chak
(diff)

Dec 12, 2012:

11:07 PM CodeOwners edited by dterei
(diff)
9:34 PM Changeset in ghc [589b628b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge ../bs
9:33 PM Changeset in ghc [d5b5d48]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use ByteString rather than FastBytes inside FastZString Slow nofib Compile Times difference looks like just noise: -1 s.d. -2.9% +1 s.d. +2.9% Average -0.1%
5:52 PM Changeset in ghc [7df6d78]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a comment
5:16 PM Changeset in ghc [750a34b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small code tidy-up
9:27 AM Changeset in ghc [5d0d1d9]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo
8:46 AM Commentary/Rts/Word edited by simonmar
(diff)
8:43 AM Commentary/Rts/Config edited by simonmar
(diff)
8:23 AM Commentary/Rts/Conventions edited by simonmar
(diff)
8:21 AM Commentary/Rts/Conventions edited by simonmar
(diff)
7:34 AM Changeset in ghc [2af1895]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: VECTORISE pragma assumes parallel values
7:21 AM DataParallel/VectPragma edited by chak
(diff)
5:08 AM Changeset in ghc [40614d8e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: improve top-level check and vectFnExpr
1:43 AM Changeset in nofib [890caa4]ghc-7.8shake by Ian Lynagh <ian@…>
Fix mandel in slow mode
1:40 AM Changeset in nofib [9f9d5df]ghc-7.8shake by Ian Lynagh <ian@…>
Detabbing
12:41 AM Changeset in nofib [442a39f]ghc-7.8shake by Ian Lynagh <ian@…>
Use a larger stack for spectral/hartel/event in slow mode
12:39 AM Changeset in nofib [57944ff]ghc-7.8shake by Ian Lynagh <ian@…>
Add slow output for fft2 on x86_64/Linux I haven't checked if the output is right or not, but it looks roughly consistent with the existing variety of values.
12:26 AM Changeset in nofib [8ccd4d1]ghc-7.8shake by Ian Lynagh <ian@…>
Fix slow output for the power benchmark

Dec 11, 2012:

11:52 PM Changeset in nofib [6fc6e54]ghc-7.8shake by Ian Lynagh <ian@…>
Remove -fglasgow-exts when building nofib-analyse
10:35 PM Changeset in ghc [bd8f7fc5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Implement the -dynamic-too optimised path for the NCG We don't yet have the slow path, for when we have to fall back to separate compilation. We also only currently handle the case qhere we're compiling Haskell code with the NCG.
7:09 PM Changeset in ghc [8685535c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add more plumbing to the nativeCodeGen This patch adds more of the plumbing necessary to allow the nativeGen to build multiple ways in a single compilation.
6:35 PM Changeset in ghc [8246c7a4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweak how 'count' is handled in the nativeCodeGen We were always passing 0 to cmmNativeGenStream, so now the 0 is just hardcoded there.
6:17 PM Changeset in ghc [d23148a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Package the NativeGen state up into a named type This will make it a little more pleasant to have the nativegen build for multiple ways at once.
5:45 PM Ticket #7496 (Support for JavaScript as an official GHC output language) created by mcandre
JavaScript is becoming an alternative to JVM, the write once run …
5:37 PM Changeset in ghc [48bb69a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring: Use more idiomatic strictness forcing in AsmCodeGen
4:57 PM Commentary/SourceTree/Includes edited by simonmar
use source: links (diff)
4:54 PM Commentary/SourceTree/Includes edited by simonmar
(diff)
4:49 PM Commentary/SourceTree/Includes edited by simonmar
(diff)
4:41 PM Commentary/Rts edited by simonmar
(diff)
4:35 PM Changeset in ghc [497cb61]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:53 PM Ticket #7491 (getNumCapabilities uses n_capabilities instead of enabled_capabilities) closed by simonmar
fixed: Also fixed in base: commit fa55000b516b05387ee9f84f132668e6c10e9243
3:38 PM Changeset in ghc [d684114]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add enabled_capabilities (#7491)
2:52 PM Changeset in ghc [b0339aa]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
document special "this" syntax for PackageImports (#7409)
9:31 AM Changeset in base [fa55000]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
getNumCapabilities should read enabled_capabilities (#7491)

Dec 10, 2012:

10:20 PM Ticket #7495 (Rebindable list syntax?) created by nwf
First, sorry if I've missed an earlier request for this in trac; a few …
3:23 PM Ticket #7494 (Allow compatible type synonyms to be the return type of a GADT data ...) created by topi
Please consider adding support for something like: […]
2:22 PM Ticket #7417 (replace Control.Concurrent.QSem) closed by simonmar
fixed: I added my new QSem and QSemN implementations as an interrim measure …
2:07 PM Changeset in base [ea3abf1]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
Add back new working QSem and QSemN implementations (#7417) We decided not to break existing users without providing an easy migration path. For the time being I've made these implementations, which fix the bugs in the old versions and perform reasonably well. In due course we should move the concurrency functionality, including these modules, out of base and into a separate package.
1:18 PM Ticket #7468 (incorect waiting for packets on UDP connections.) closed by simonmar
invalid: You can't use hWaitForInput, for the reasons that you state. You can …
12:30 PM Changeset in ghc [31d8900]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Fix #7487 Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
12:30 PM Changeset in ghc [41629057]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Add test for #7487
12:30 PM Changeset in testsuite [877361e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add test for #7487
12:00 PM Changeset in ghc [f184d9ca]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a bug in the handling of nested orElse Exposed by the following snippet, courtesy of Bas van Dijk and Patrick Palka on libraries@haskell.org: import Control.Concurrent.STM main = do x <- atomically $ do t <- newTVar 1 writeTVar t 2 ((readTVar t >> retry) `orElse` return ()) `orElse` return () readTVar t print x
11:51 AM Ticket #7493 (STM and TVar report incorrect results) created by parcs
On Haskell Cafe, I posted: I'm getting strange behavior when using the …
10:02 AM Changeset in base [1bfecaf]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
Make a class for asynchronous exceptions in the exception hierarchy Right now, we only have data AsyncException = StackOverflow | HeapOverflow | ThreadKilled | ... so it is not possible to add another async exception. For instance, the Timeout exception in System.Timeout should really be an async exception. This patch adds a superclass for all async exceptions: data SomeAsyncException = forall e . Exception e => SomeAsyncException e deriving Typeable and makes the existing AsyncException and Timeout children of SomeAsyncException in the hierarchy.
12:13 AM Changeset in ghc [332e6812]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Add -funbox-strict-primitive-fields example
12:10 AM Changeset in ghc [3558690]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: enable encapsulation of scalar functional expression of arbitrary form

Dec 9, 2012:

10:00 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
9:56 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
9:56 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
8:17 PM Ticket #7492 (Generic1 deriving: Can we replace Rec1 f with f :.: Par1?) created by spl
It seems like Rec1 f is isomorphic to f :.: Par1. Is it possible and …
8:09 PM Ticket #7310 (Compiler nontermination on UNPACK pragmas) closed by igloo
fixed: Thanks for the report. This is fixed in HEAD and the 7.6 branch by …
7:34 PM Changeset in ghc [b339dd48]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how sync-all handles directory changes We now remember the current working directory right at the start, and change back to it after we've finished working in a subdirectory. This should fix a problem some people have been seeing, where sync-all thinks that they have an out-of-date time library because its working directory has gone wrong somehow.
5:26 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:10 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:08 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:02 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
4:59 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
4:58 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
8:05 AM Changeset in ghc [87c0a59a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: don't include scalar types in base set of parallel tycons
6:24 AM Changeset in ghc [a33dddc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: distinguish vectorised from parallel types and functions - We sometimes need to vectorise types and functions because they might be needed in a vectorised context, not because they do directly introduce parallelism.

Dec 8, 2012:

9:49 PM Ticket #7491 (getNumCapabilities uses n_capabilities instead of enabled_capabilities) created by Yuras
setNumCapabilities newer removes capabilities, it just disables them when …
8:27 PM TypeNats edited by diatchki
(diff)
8:26 PM TypeNats edited by diatchki
(diff)
8:25 PM Commentary edited by diatchki
(diff)
8:24 PM Commentary/Compiler edited by diatchki
(diff)
8:22 PM Commentary edited by diatchki
(diff)
7:52 PM Changeset in ghc [ecd96761]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix loading dynamic interfaces when using -dynamic-too We need to have WayDyn in the ways in the DynFlags, or the interface loader will fail. -dynamic-too now correctly evaluates whether or not it is possible to build for the dynamic way too, but doesn't actually do so yet.
7:29 PM Ticket #7490 (ghc-stage1 panic when building a cross-compiler or cross-building a ...) created by singpolyma
[…]
7:03 PM Changeset in ghc [0c4a9f3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a function to change DynFlags to be suitable for compiling for way=dynamic Will be used when we are compiling with -dynamic-too. This needed a little refactoring of the "addWay" code to allow the code to be shared.
5:16 PM Changeset in ghc [e5182b7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add replaceDynFlags to the ContainsDynFlags class
4:46 PM Ticket #7476 (-ddump-minimal-imports confused if first line is an import) closed by igloo
fixed: Test added.
4:45 PM Ticket #7474 (Panic with zonkQuantifiedTyVar in GHC 7.6.1) closed by igloo
fixed: Test added, and looks fine in 7.6 branch.
4:44 PM Ticket #7489 (Obscure warning: Var/Type length mismatch when using GADTs and ...) created by portnov
GHC 7.4.2 and 7.6.1 both write obscure warning without any link to source …
4:43 PM Changeset in ghc [cea7aa33]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:24 PM Changeset in ghc [d7d25db]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:50 PM Changeset in ghc [713c514d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
3:49 PM Changeset in ghc [dbb5a87]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7474
3:49 PM Changeset in testsuite [a1be96f5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7474
12:19 PM Changeset in ghc [33ab3f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7476
12:19 PM Changeset in testsuite [fc20d6c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7476

Dec 7, 2012:

11:20 PM Changeset in ghc [609aecb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweaks to dynamic-too code
10:09 PM Changeset in ghc [1435eef]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Refactor primitive field unpacking check
9:47 PM Changeset in ghc [7bf6eb9a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Minor twiddle to -funbox-strict-primitive-fields docs
9:02 PM ReportABug edited by igloo
(diff)
7:12 PM Building/MacOSX edited by tibbe
(diff)
6:38 PM Changeset in ghc [c1c2d849]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:36 PM Changeset in ghc [86e2a2a4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't set "-O0 -g" C flags when -debug is given -debug now only determines whether or not a debug RTS is linked in. To get main() with debugging symbols you need to explicitly say -optc-O0 -optc-g
6:17 PM Changeset in ghc [1d50de5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Move UnboxStrictPrimitiveFields.hs to the right directory
6:17 PM Changeset in testsuite [56036c9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Move UnboxStrictPrimitiveFields.hs to the right directory
5:25 PM Ticket #7445 (template-haskell : need a good error message instead of just an ...) closed by igloo
fixed: Merged as 1183080b1b45dbcaa6af1154e2e668f924598772
5:25 PM Ticket #7478 (setSessionDynFlags does not always work) closed by igloo
fixed: Merged as 16ba75714cc22aeb86425679ad24b996a2b30fea
5:24 PM Ticket #7471 (Documentation bug: hs_init is incorrectly called in the example) closed by igloo
fixed: Merged as 723570dab0384e295ced98089703060fce52e616
5:00 PM Changeset in ghc [4f7027d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Document -funbox-strict-primitive-fields
4:21 PM Changeset in ghc [e415777c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Detabbing
4:15 PM Changeset in ghc [b85a849b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Pessimistically assume that unknown arches can't do unaligned loads
3:49 PM Changeset in ghc [1183080]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Stop attempting to "trim" data types in interface files Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors. Conflicts: compiler/main/TidyPgm.lhs
3:47 PM Changeset in ghc [90bf23c1]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Release notes update
3:46 PM Changeset in ghc [16ba757]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Invalidate the ModSummary cache in setSessionDynFlags (#7478)
3:45 PM Changeset in ghc [723570da]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
fix code in library initialisation example (#7471)
1:16 PM Ticket #7488 (Promotion of newtypes) created by dreixel
[…] The program above raises the error: `A of kind * is not …
12:08 PM Changeset in ghc [b4444878]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
delete stray file
12:08 PM Changeset in testsuite [e0ba47a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
delete stray file
12:08 PM Changeset in ghc [63e4bcac]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test for #7478
12:08 PM Changeset in testsuite [fd681c4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #7478
12:05 PM Changeset in ghc [27770ae5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Invalidate the ModSummary cache in setSessionDynFlags (#7478)
10:50 AM Changeset in ghc [250f026]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix code in library initialisation example (#7471)
10:37 AM Changeset in ghc [e4feb52]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix description of ghci instance env bug
10:22 AM Changeset in ghc [93e82e23]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
10:22 AM Changeset in testsuite [fbfb43d]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
10:22 AM Changeset in ghc [34534c53]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7445
10:22 AM Changeset in testsuite [6fec11b4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7445
9:50 AM GhcKinds/KindsWithoutData edited by dreixel
(diff)
8:57 AM Ticket #7485 (Tuple constraints not properly kinded) closed by simonpj
invalid: I think that is as expected. In the source language at least, * and …
5:58 AM DataParallel/VectPragma edited by chak
(diff)
5:47 AM DataParallel/VectPragma edited by chak
(diff)
5:41 AM DataParallel/VectPragma edited by chak
(diff)
5:30 AM Changeset in ghc [2ecdaed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Add test for -funbox-strict-primitive-fields
5:30 AM Changeset in testsuite [b2c5047]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Add test for -funbox-strict-primitive-fields
5:23 AM Changeset in ghc [566920c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Add -funbox-strict-primitive-fields When enabled, this flag causes all strict fields which representation is smaller or equal to the size of a pointer to be unboxed.
5:10 AM DataParallel/VectPragma edited by chak
(diff)
4:40 AM DataParallel/VectPragma edited by chak
(diff)
3:01 AM Changeset in ghc [cc21a70]overlapping-tyfams by Richard Eisenberg <eir@…>
Change in comments
2:15 AM Changeset in testsuite [063c8db]overlapping-tyfams by Richard Eisenberg <eir@…>
Changed expected output of one test to account for pretty-printer change.
1:44 AM Ticket #7347 (Existential data constructors should not be promoted) closed by igloo
Merged as e3dc71de7307d30f6063a8447b93e54f1551a041 and …
1:43 AM Ticket #7479 (ArrowChoice unit law in haddock seems to be wrong) closed by igloo
fixed: Merged as 56c8295c638a03676a9be8d34195e6be945ddc2c.
1:32 AM Changeset in ghc [81a2dd3]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:26 AM Changeset in ghc [77e5aa77]overlapping-tyfams by Richard Eisenberg <eir@…>
Change output of CoAxioms to look prettier.
1:26 AM Changeset in testsuite [432e510]overlapping-tyfams by Richard Eisenberg <eir@…>
Update to various tests to reflect output changes due to overlapping type family instances.
1:06 AM Changeset in ghc [e5ded8b]overlapping-tyfams by Richard Eisenberg <eir@…>
Miscellaneous bug fixes that came up during validation.
12:43 AM Changeset in ghc [f630eb51]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Document promotion of existential data types Thanks to Richard Eisenberg for writing this.
12:42 AM Changeset in ghc [e3dc71de]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Allow existential data constructors to be promoted This reverts the change in Trac #7347, which prevented promotion of existential data constructors. Ones with constraints in their types, or kind polymorphism, still can't be promoted.
12:42 AM Changeset in base [56c8295]ghc-7.6 by Ian Lynagh <ian@…>
fix #7479: ArrowChoice unit law in doc comment
12:41 AM Changeset in ghc [3e1925a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
More release notes
12:18 AM Changeset in ghc [d99810d8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Start on release notes for 7.6.2

Dec 6, 2012:

11:55 PM Ticket #7487 (Deriving Generic1 for a type containing Either) created by spl
With the following code: […] I get the error message: […] But …
11:10 PM Changeset in base [9fe3a43]ghc-7.6 by Ian Lynagh <ian@…>
Bump version to 4.6.0.1
11:00 PM Changeset in unix [b08de9b]ghc-7.6 by Ian Lynagh <ian@…>
Bump version number to 2.6.0.1
9:40 PM Ticket #7486 (dblatex can't build docs; fix included.) created by rlpowell
Currently, on my Fedora 17 system, the following occurs when you try to …
8:50 PM Changeset in ghc [9b2882c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of mac:ghc/git/val64/.
7:34 PM Changeset in ghc [6bdac1c3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make nativeCodeGen return the rest of its UniqSupply
7:12 PM Ticket #7485 (Tuple constraints not properly kinded) created by goldfire
Consider this: […] So far, so good. But, adding the following causes …
6:58 PM Changeset in ghc-prim [dbe66a7]ghc-7.8 by Johan Tibell <johan.tibell@…>
Add word2float
4:33 PM Changeset in nofib [270c8d8]supercompiler by Max Bolingbroke <batterseapower@…>
Ad-hoc nofib-analyse changes and SUPERCOMP_HC_OPTS
4:31 PM Changeset in ghc [08e33edf]supercompiler by Max Bolingbroke <batterseapower@…>
Last bug fixes and flag additions.
4:14 PM Changeset in ghc [8a0534f6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:03 PM Changeset in ghc [9a20e540]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Stop attempting to "trim" data types in interface files Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors.
3:38 PM Changeset in base [9aa29b8]data-proxydbcsghc-7.8type-reasoning by Daniel Fischer <daniel.is.fischer@…>
Worker/Wrapper and static argument transform for `until` so it can be inlined With the direct top level recursion, `until` cannot be inlined by GHC, so no strictness analysis and consequently no unboxing occurs at the call site. With the recursion delegated to the worker with the condition and update function static arguments, it can be inlined, and strictness analysis can happen.
3:37 PM Changeset in base [392f285]data-proxydbcsghc-7.8type-reasoning by Daniel Fischer <daniel.is.fischer@…>
Remove trailing whitespace in GHC.Base
1:31 PM Ticket #7484 (Template Haskell allows building invalid record fields/names) created by iustin
This is not really a bug, more like a unintuitive behaviour. Due to a bug …
10:59 AM Ticket #7483 (Broken Read instance for Data.Fixed ("no parse" in legitimate cases).) created by navaati
read "Just 12.30" :: Maybe Centi throws "* Exception: …
8:33 AM Commentary/Rts/Word edited by Yuras
fix link to StgWord? definition (diff)

Dec 5, 2012:

10:46 PM Changeset in ghc [d842dffa]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use a MonadIO instance instead of an 'io' function
9:42 PM Changeset in ghc [b25d7090]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add the beginnings of support for building vanilla and dynamic at the same time
8:45 PM Changeset in ghc [ccdccee]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in iface/IfaceType.lhs
8:35 PM Changeset in ghc [71b5ca5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactor findAndReadIface; no functional changes
7:27 PM Changeset in ghc [3864da2f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo
6:30 PM Changeset in ghc [5b746f5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:05 PM Changeset in ghc [6c1caeb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
6:05 PM Changeset in testsuite [c4fe55f]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
5:33 PM Changeset in testsuite [495a1b4]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
5:33 PM Changeset in ghc [52f2ba1]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
5:29 PM Changeset in ghc [467d575]overlapping-tyfams by Richard Eisenberg <eir@…>
Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated docs/core-spec to reflect new axioms.
4:41 PM Changeset in ghc [b0626b63]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document promotion of existential data types Thanks to Richard Eisenberg for writing this.
4:41 PM Changeset in ghc [57d67983]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When using a GHC plugin, load its interface file very partially: just enough that it can be used, without its rules and instances affecting (and being linked from!) the module being compiled.
4:37 PM Changeset in ghc [3fc453a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't define DYNAMIC when compiling the dyn way We want to compile the sources only once, and to produce both vanilla and dyn object files. This means that the sources can't differ for the two ways. This needed a bit of a kludge to get keepCAFsForGHCi included only in the dynamic library.
4:15 PM Ticket #7482 (GHC.Event overwrites main IO managers hooks to RTS) created by AndreasVoellmy
The IO manager registers two file descriptors with the RTS which the RTS …
1:13 PM Changeset in ghc [95d8658a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
In FP_GCC_VERSION, test $CC not $GCC $GCC is empty when autoreconf 2.56 or 2.59 is used, although it works with 2.67. If testing $GCC with 2.5* worked in the past then I'm not sure when/why it broke.
12:53 PM Building/GettingTheSources edited by igloo
(diff)
11:29 AM Ticket #7481 (Partially promoted data types) created by simonpj
Consider […] Is D a promoted type? Well, D1 is promotable, but …
11:18 AM Changeset in ghc [f971e75e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
11:17 AM Changeset in ghc [bb2f56a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add comment
11:09 AM Changeset in ghc [f3938cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Now that existential data constructors can be promoted T7347 passes And test 'Holdermans' was simply a duplicate
11:09 AM Changeset in testsuite [7ef55d7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Now that existential data constructors can be promoted T7347 passes And test 'Holdermans' was simply a duplicate
11:07 AM Changeset in ghc [431e8047]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:07 AM Changeset in ghc [c0d8469]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow existential data constructors to be promoted This reverts the change in Trac #7347, which prevented promotion of existential data constructors. Ones with constraints in their types, or kind polymorphism, still can't be promoted.
6:06 AM Changeset in ghc [895ff21]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: fix vectorisation avoidance for case expressions
4:28 AM Changeset in ghc [b77da25e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Rewrote vectorisation avoidance (based on the HS paper) * Vectorisation avoidance is now the default * Types and values from unvectorised modules are permitted in scalar code * Simplified the VECTORISE pragmas (see http://hackage.haskell.org/trac/ghc/wiki/DataParallel/VectPragma for the spec) * Vectorisation information is now included in the annotated Core AST

Dec 4, 2012:

10:42 PM Ticket #7480 (Proposal: Add Functor instances for ArgOrder, OptDescr and ArgDescr) created by basvandijk
The attached patch adds Functor instances for the types in …
10:30 PM Ticket #7462 (New nofib benchmark for unpacked arrays and floating point arithmetic) closed by tibbe
fixed: Merged as [14bccff2c547c0e06fe8f98607b9cf18890ef051/nofib].
7:36 PM Changeset in ghc [50905e1a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Revert "Fix pprPanic so that it doesn't throw away the SDoc part of the error." This reverts commit e6ce335e8e3ba0718efd234910185e4257424562. pprPanic doesn't throw the Doc away: It gets passed in the PprPanic constructor.
7:32 PM Changeset in base [96889dd]data-proxydbcsghc-7.8type-reasoning by Ross Paterson <ross@…>
fix #7479: ArrowChoice unit law in doc comment
6:58 PM Changeset in testsuite [741f6be]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
6:58 PM Changeset in ghc [4f08c12]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/types/TyCon.lhs
6:49 PM Changeset in testsuite [4dd52e0]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated test to pass with new TySynInstD in Template Haskell.
6:45 PM Changeset in ghc [86e4ca30]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated user manual to include a section on branched type family instances.
6:02 PM Ticket #7479 (ArrowChoice unit law in haddock seems to be wrong) created by pminten
In the haddock documentation of ArrowChoice there is an (unnamed) law: …
5:07 PM Ticket #7478 (setSessionDynFlags does not always work) created by edsko
The attached test case runs GHC in a separate thread (with a single call …
3:18 PM Changeset in ghc [3c06c09f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Rearrange configure.ac a bit Anything that uses gcc needs to happen after we've made the mingw inplace tree on Windows.
3:12 PM Changeset in ghc [70c4e4b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Rearrange configure.ac a bit Anything that uses gcc needs to happen after we've made the mingw inplace tree on Windows.
1:57 PM Changeset in ghc [4df0d19]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated Template Haskell to reflect branched type family instances.
1:56 PM Changeset in testsuite [d64423c]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated Template Haskell tests to reflect change to TySynInstD.
12:59 PM Ticket #7468 (incorect waiting for packets on UDP connections.) closed by simonmar
invalid: This is not a bug - Handles have buffers, so when you use hWaitForInput, …
12:03 PM Changeset in ghc [88eeabc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [e6ce335]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Fix pprPanic so that it doesn't throw away the SDoc part of the error.
11:17 AM Changeset in ghc [9467f73]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:58 AM Changeset in ghc [156d30d7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix buglet in -ddump-minimal-imports (Trac #7476) We were mixing up the *implicit* import of Prelude with a user-written import declaration
8:58 AM Ticket #2076 (rational infinities don't compare correctly to each other) closed by simonmar
wontfix: Lots of good discussion on this subject in #3676. I think we concluded …
4:02 AM Ticket #7477 (reifyInstances can't deal with polykinded type families) created by goldfire
When I run the following code […] I get this error: […] I …

Dec 3, 2012:

7:10 PM Ticket #7476 (-ddump-minimal-imports confused if first line is an import) created by dag
On reddit, Chris Done posted this example: […] I noted that this is …
6:08 PM NewAxioms/TemplateHaskell created by goldfire
6:02 PM NewAxioms edited by goldfire
(diff)
5:54 PM Changeset in ghc [67835fa]overlapping-tyfams by Richard Eisenberg <eir@…>
Removed confluent overlap check from branched type family instances. It was discovered that confluent overlap within groups implemented the "obvious" way doesn't support substitution. We (Simon PJ, Stephanie Weirich, Conor McBride, and I) were unable to come up with a simple solution to this problem. In any case, we'll wait until someone shouts loudly enough to make this worthwhile.
5:53 PM Changeset in testsuite [f915be8f]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated test cases to reflect removal of "type instance where" confluent overlap checking.
5:14 PM Ticket #7475 (Mysterious Data.Word Segmentation Fault in GHCi) created by VKS
So, this happens: […]
4:57 PM Changeset in ghc [b637a24]ghc-7.6th-new-7.6 by Simon Peyton Jones <simonpj@…>
Fix Trac #7453 on the 7.6 branch This patch fixes a quite egregious bug. runTcS was intialising the 'untouchables' to NoUntouchables, which is quite wrong for the invocation in TcSimplify.simplifyInfer. Result: missed skolem-escape check and seg-fault city. All this is done differently, and better, in HEAD, so this patch is needed only on the branch.
4:10 PM Ticket #7474 (Panic with zonkQuantifiedTyVar in GHC 7.6.1) created by spl
In GHC 7.6.1, the following code: […] produces the following error …
1:01 PM Ticket #7473 (getModificationTime gives only second-level resolution) created by duncan
The System.Directory.getModificationTime function only returns time with …
12:28 PM Ticket #7472 (Build on FreeBSD fails with ncurses) created by nematoder
Building fails on FreeBSD 8.2-stable with current Ports with the error as …
9:40 AM Changeset in ghc [3a40456]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Make "sync-all pull --rebase" work By filtering out the --rebase when fetching submodules
4:23 AM Commentary/Compiler/TypeNatSolver created by diatchki
4:10 AM Commentary/Compiler edited by diatchki
(diff)

Dec 2, 2012:

9:52 PM Changeset in ghc [31d771be]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use -e rather than -f when checking for libraries/time/.git Apparently .git can be a file rather than a directory in some cases
8:51 PM Changeset in ghc [c3db2b2]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweak sync-all It wasn't handling new submodules appearing
8:38 PM Ticket #7469 (GHC does not report name clashes in export lists) closed by diatchki
invalid: This is not a bug: exports of the form module A have slightly complex …
5:52 PM Changeset in ghc [4b4f014b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a check for old time packaes
5:44 PM Changeset in ghc [ccce9fe]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
When pulling, only 'fetch' in submodules
5:29 PM WorkingConventions/Repositories edited by igloo
(diff)
5:28 PM Repositories edited by igloo
(diff)
5:28 PM Ticket #7471 (Documentation bug: hs_init is incorrectly called in the example) created by dsign
In the page …
4:58 PM Changeset in ghc [8fd3f3c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use a submodule for the time package This bring the time package into line with how we handle other packages.
3:40 PM Changeset in ghc [691c8a8]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't get submodules when 'get'ing Leave it to 'git submodule init/update'
3:23 PM Ticket #7216 (Compositional blocking on file descriptors) closed by igloo
fixed: Applied, thanks!
2:48 PM Changeset in ghc [418a8c92]ghc-7.6th-new-7.6 by Ian Lynagh <igloo@…>
On Win64, mark executables as not supporting bigaddr; fixes #7134 This is a kludge, and means that ghc/haddock won't be able to use more than 2G of RAM. But it'll make sure that ghci works in the short term while we work on a proper fix.
2:18 PM Changeset in ghc [56240c1d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update haskeline submodule
2:15 PM Changeset in base [afb8197]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Fix warnings
2:14 PM Changeset in base [02a58a4]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Added threadWait functions to wait on FD readiness with STM actions.
2:14 PM Changeset in base [0ed5c8b]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Added the unregistration command to the return value of threadWait*STM functions. This allows the calling thread to unregister interest in the file, e.g. in the case of an exception in the thread.
1:50 PM Ticket #7442 ([PATCH] Fix broken -fPIC on Darwin/PPC) closed by igloo
fixed: Applied, thanks
12:57 PM Changeset in ghc [d6d1559]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweak comments
12:55 PM Changeset in ghc [45e70a1]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'ticket-7442' of git://github.com/phonohawk/ghc
11:58 AM Ticket #7470 (Patch to enable GHC runtime system with thr_debug_p options...) created by MichalGajda
I noticed that your default packages come without some now essential …
11:56 AM Ticket #7342 (Memory violation bug in System.Posix.Env.putEnv) closed by igloo
fixed: Thanks for the patch! Applied to 7.6 as …
11:54 AM Ticket #7356 (Building HEAD on Mac OS X 10.5 reports Undefined "_pthread_threadid_np" ...) closed by igloo
fixed: Applied, thanks
12:23 AM Changeset in unix [b95a003]ghc-7.6 by Ian Lynagh <ian@…>
Fix a memory corruption issue in putEnv (fixes #7342)

Dec 1, 2012:

11:22 PM Changeset in ghc [0cb35b55]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Mac OS X 10.6 needed for pthread_threadid_np(), fixes #7356 Based on a patch from Thorkil Naur.
10:37 PM Changeset in ghc [1a3c0d3]overlapping-tyfams by Richard Eisenberg <eir@…>
Used a GADT to control appropriate use of functions on singleton axioms. The list of branches in CoAxioms and in FamInsts is now a BranchList b, where the type index b is either Branched or Unbranched. A handful of functions work only on singleton (unbranched) axioms, and with this change, the type checker verifies that we are calling these functions appropriately.
10:34 PM Changeset in unix [76dad7a]ghc-7.8 by Ian Lynagh <ian@…>
Fix putenv; trac #7342 We were freeing the string, but the string becomes part of the environment.
10:28 PM Changeset in base [b6b5fcb]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add newFilePath to System.Posix.Internals Needed for #7342
10:15 PM Ticket #7314 (GHCi 64-bit OS X segfaults on interaction with C-libraries) closed by darchon
worksforme: I've installed GHC 7.6.1 and can no longer duplicate the described …
10:00 PM Ticket #7469 (GHC does not report name clashes in export lists) created by Feuerbach
[…] There is a name clash here which GHC does not report.
9:20 PM Changeset in ghc [0ff5f40]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/types/Type.lhs
8:21 PM Ticket #7467 (the impossible happened?) closed by monoidal
duplicate: Thank you for the report; it is a duplicate of the bug #5961 and already …
8:19 PM Ticket #7468 (incorect waiting for packets on UDP connections.) created by ET
Preconditions: Have an UDP server. Transform the socket into a handle. …
7:28 PM Ticket #7467 (the impossible happened?) created by guest
I've added this line to a .hs file: data Shape = Circle Float Float Float …
6:29 PM Changeset in ghc [61f770f6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
isTauTy should be True for LitTy (see Trac #7459)
6:25 PM Changeset in ghc [b5ce9de]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code predTreePredType
5:06 PM Changeset in ghc [fe1fce87]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
4:59 PM Changeset in ghc [959d5a9f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Added the docs/core-spec README
4:06 PM Changeset in ghc [81b7e587]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Added GHC formalism to the GHC source tree. As per a request from Simon PJ, I wrote up a formalism of the core language in GHC, System FC. The writeup lives in docs/core-spec. I also added comments to a number of files dealing with the core language reminding authors to update the formalism when updating the code. In the next commit will be a README file in docs/core-spec with more details of how to do this.
4:38 AM Ticket #7466 ([PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds ...) created by PHO
integer-gmp's ./configure should not ignore …

Nov 30, 2012:

11:28 PM Changeset in ghc [0e789317]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix safePkg01
11:28 PM Changeset in testsuite [f639a1b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix safePkg01
10:45 PM Changeset in unix [e12ccd7]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with) and remove code to support older versions
9:44 PM Changeset in process [d10b168]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with) and remove code to support older versions
8:46 PM Changeset in directory [2fcd701]ghc-7.8 by Ian Lynagh <ian@…>
Remove code for old, unsupported versions of GHC
8:44 PM Changeset in directory [d817739]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with)
7:36 PM Ticket #7465 (./configure --with--ffi-libraries: ld cannot find libffi in a non-standard ...) created by trommler
This ticket is to continue work on comment 19 to ticket #5743. The issue …
6:51 PM Changeset in ghc [cfb96960]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:50 PM Changeset in ghc [4ef1bd4e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update submodules
6:41 PM Changeset in ghc [16c2961]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Make some tests independent of the version number of the array package
6:41 PM Changeset in testsuite [b593173]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make some tests independent of the version number of the array package
5:56 PM Changeset in unix [3db0f40]ghc-7.8 by Ian Lynagh <ian@…>
Update dependencies
5:56 PM Changeset in directory [92fb0dc]ghc-7.8 by Ian Lynagh <ian@…>
Update dependencies
5:55 PM Changeset in ghc [d2ff25f8]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update dependencies
5:26 PM Repositories edited by simonpj
(diff)
5:23 PM WorkingConventions/Repositories edited by simonpj
(diff)
4:47 PM Changeset in ghc [2332b4b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Remove case from coreLintExpr dealing with types, as it is not used.
4:40 PM Changeset in unix [d487b8d]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in process [10836cc]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in integer-gmp [a8c9be6]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc-prim [c2ed4a8]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in directory [31c1bad]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in base [476925f]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:00 PM Changeset in unix [0514089]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in process [bc5f18f]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in integer-gmp [664478b]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in ghc-prim [b71a72c]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in directory [ce0fa58]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in base [d9092ea]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:48 PM WorkingConventions/Repositories edited by igloo
(diff)
2:29 PM Ticket #7333 (python2) closed by igloo
fixed: I don't have python2 here on Debian. I've applied the part of the patch …
2:27 PM Ticket #7162 (RULES that never fire (automatically)) closed by igloo
fixed: Applied thanks - and thanks for the test too!
2:26 PM Ticket #5743 (Configurably use system-provided libffi) closed by igloo
fixed: I've applied the patch, thanks. I think we only use rts_LD_OPTS when …
2:22 PM Changeset in ghc [d53e222]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo
2:18 PM Ticket #7228 (ghc-pkg prints an awful lot of usage information) closed by igloo
fixed: Applied: […] Thanks!
2:16 PM Ticket #7256 (Missing dataCast1 and dataCast2 methods in Data.Data instances) closed by igloo
fixed: Ah, great. I've applied it. Thanks!
2:13 PM Changeset in ghc [e305fc7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Detab
2:05 PM Changeset in base [bab6235]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
2:03 PM Changeset in ghc [7009f58]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:56 PM Changeset in base [8a7f4a1]data-proxydbcsghc-7.8type-reasoning by Gabor Greif <ggreif@…>
typo
1:18 PM Changeset in base [151c2fc]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add dataCast* definitions to Ptr/Array Data instances; fixes #7256 Patch from dreixel.
1:17 PM Changeset in ghc [7ee5bedc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Link in-tree libffi to rts. Fixes trac #5743.
1:05 PM Changeset in ghc [97e1ee6a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Use python2 if it exists. Based on a patch from michalt. Fixes #7333.
1:05 PM Changeset in testsuite [e7a338e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Use python2 if it exists. Based on a patch from michalt. Fixes #7333.
12:07 PM Changeset in ghc [0bb2274f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused PYTHON in build system
11:54 AM Changeset in ghc [2c6939a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make ghc-pkg print less on error.
11:52 AM Changeset in ghc [c7a5730]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Test for #7162: RULES that never fire automatically
11:52 AM Changeset in testsuite [44229bb3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Test for #7162: RULES that never fire automatically
11:51 AM Changeset in ghc [779f10f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Extend parser to allow specification of RULES that never fire. #7162
11:41 AM Ticket #3080 (Show more instances with :info) closed by simonmar
duplicate: closing as duplicate of #5998, which has more info and discussion.
9:43 AM Ticket #7464 (git tag for base-4.6.0.0 missing) created by SimonHengel
I assume this is the same as ghc-7.6.1-release. But it would be …
4:24 AM Ticket #7463 ([PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also ...) created by PHO
GHC used to put *_stub.c into stubdir along with *_stub.h but now …
4:04 AM Changeset in ghc [e94c634b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
4:04 AM Changeset in testsuite [eb7ef21]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
3:34 AM Ticket #7462 (New nofib benchmark for unpacked arrays and floating point arithmetic) created by tibbe
The attached patch adds a new imaginary nofib benchmark that tests …
3:29 AM Changeset in nofib [14bccff]ghc-7.8shake by Johan Tibell <johan.tibell@…>
Add new imaginary nofib benchmark kahan The benchmark implements the Kahan summation algorithm and tests unboxed arrays and floating point arithmetic in tight loops.
1:59 AM Changeset in ghc [495ef783]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
1:45 AM Changeset in ghc [e9f38cb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove accidentally-commited testing aid
1:42 AM Ticket #5743 (Configurably use system-provided libffi) closed by igloo
fixed: In #4496 I said: […] I can't see any sign of libffi in mingw64 either. …
1:42 AM Building/Using edited by igloo
(diff)
1:31 AM Changeset in ghc [c793cc3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
libffi build system tweaks
1:21 AM Changeset in ghc [2ec32a8e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Add ":info!" to GHCi. This shows all instances without filtering first. The default behavior of :info is to show only those instances of for a type, where all relevant type constructor names are in scope. This keeps down the number of instances shown to the user. In some cases, it is nice to be able to see all instances for a type. This patch implements this with the :info! command.
12:49 AM Ticket #7461 (Error messages about "do" statements contain false information) created by EyalLotem
When GHC complains about a type-error in a "do" block, it says, for …

Nov 29, 2012:

10:22 PM Changeset in ghc [3005e909]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add configure option to use system provided libffi; fixes #5743 Based on patch from Peter Trommler: From 293495d40f62e691520331a41c6d85d82e120169 Mon Sep 17 00:00:00 2001 From: Peter Trommler <ptrommler@acm.org> Date: Sun, 21 Oct 2012 18:47:01 +0200 Subject: [PATCH] Add configure option to use system provided libffi This fixes track # 5743 and #4496.
9:32 PM Changeset in ghc [bd9e0299]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove a use of printf It looks like it would fail anyway, as it 'show'ed its argument before passing it on to printf.
9:25 PM Changeset in ghc [c2f9b74]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring
9:16 PM Changeset in ghc [10edb426]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/ghci/LibFFI.hsc
8:58 PM Ticket #4496 (add a configure build option to use system libffi for Linux) closed by igloo
duplicate: Closing in favour of #5743
8:52 PM Ticket #7460 (Double literals generated bad core) created by tibbe
The following code results in core containing expression like …
7:16 PM Ticket #2132 (Optimise nested comparisons) closed by igloo
wontfix: If the idea is to implement it as a plugin separate from GHC, then I think …
6:28 PM Ticket #7287 (Primops in RULES generate warnings) closed by igloo
Merged as aa7732c503a5ebc7af5d6bc08a07dd76b878ef8c.
6:27 PM Ticket #7410 (Type error says that tuple components have kind (* -> *)) closed by igloo
fixed: Merged as c9c8b4059aeb2e20ddb4000194dbd44db0c3559d
6:27 PM Ticket #7451 (Constraint and * should not be distinct in FC) closed by igloo
fixed: Merged as 19760a20bdbc16c9e5b42fa87ed46451bafd29fb
6:26 PM Ticket #7347 (Existential data constructors should not be promoted) closed by igloo
fixed: Merged as 4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca and …
6:24 PM Ticket #7272 (PolyKinds and mutually recursive modules) closed by igloo
fixed: Merged as ed6b56407275d15a8c0b9aede8f90e3f5e0f7281
6:23 PM Ticket #7433 (Promoted constructors accepted without flag) closed by igloo
fixed: Merged as 3a6675f57c77b4606c7480c3f3d160bb302634a2
5:14 PM Ticket #7446 (GHC -O0 goes into a loop) closed by EyalLotem
duplicate: It is a duplicate indeed.
5:02 PM Changeset in ghc [c9c8b40]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Improve kind inference for tuple types Trac #7410 pointed out a terrible error message, which is much improved by this patch. Conflicts: compiler/typecheck/TcHsType.lhs
5:01 PM Changeset in ghc [19760a2]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Make Constraint and * look identical in Core (System FC) Fixes Trac #7451. See Note [Kind Constraint and kind *] in Kind.lhs. Conflicts: compiler/types/Kind.lhs compiler/types/Type.lhs
4:57 PM Changeset in ghc [3a6675f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Reject promoted constructors when -XDataKinds is not enabled (FIX #7433)
4:57 PM Ticket #7341 (Kind inference does not propagate annotations on associated types) closed by igloo
fixed: Doesn't merge cleanly, so not merging
4:56 PM Changeset in ghc [29bbb9f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
An accidentally-omitted part of commit 8019bc2c, about promoting data constructors
4:56 PM Changeset in ghc [4b380f1]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Only promote *non-existential* data constructors I don't konw how this was left out before; Trac #7347. In fixing this I did the usual round of refactoring. In particular, I cached the fact that a DataCon can be promoted in the DataCon itself (the dcPromoted field).
4:52 PM Ticket #7328 (Seemingly inappropriate "expecting one more argument" error in polykinded ...) closed by igloo
fixed: Several conflicts, so not merging.
4:48 PM Ticket #7294 (-fdefer-type-errors doesn't produce a warning) closed by igloo
Not worth merging, I think
4:42 PM Changeset in ghc [ed6b564]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Compare the kinds of type variables when comparing types commit 2c207b6f60ba5d271f400747256e4a32ca8f7e63 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Oct 2 18:11:08 2012 +0100 Compare the kinds of type variables when comparing types This is just a bug that's been around since we introduced polymorphic kinds. The roots are in Type.cmpTypeX, but there was a variant in TcRnDriver.checkBootTyCon, which is where it came up. Fixes Trac #7272
4:12 PM Changeset in ghc [aa7732c5]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule commit 419af69c1bea2cecce7b4bf58162cbfac81526f2 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Oct 2 17:39:46 2012 +0100 Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule See Trac #7287
4:00 PM Ticket #7312 (panic! applytTypeToArgs with non-infix function type constructor) closed by igloo
fixed: Merged as 4b295b6ca35e780ba758fc0d02bc789579aeb0fb. Seems to work fine.
3:56 PM Ticket #7276 (-fdefer-type-errors allows the types of quotations to be coerced, causing ...) closed by igloo
fixed: Merged as 50837615c7e1d1d6b703e99ee7fd8fcf0bfee30c and …
3:42 PM Ticket #7438 (Tc panic when type declaration is missing) closed by igloo
fixed: Merged as 8d8743ae50a4c23c5c221b7a47fd9b69c3bce028
3:40 PM Ticket #7444 (Update documentation regarding derivability of Generic1) closed by igloo
fixed: Merged as 066fb9edecb3f293dbab36b87317100722a3c57c
3:39 PM Ticket #7349 (-fth is deprecated without warning) closed by igloo
fixed: merged as e3667551d764232faff0e5280a1de3c1349e7c4c
3:36 PM Ticket #7348 (base-4.6 does not export `catch` from Prelude while Control.Exception ...) closed by igloo
fixed: Merged as ea7f7ef8621dc7fd19ecb3a5e565d10568e36135
3:35 PM Ticket #7459 (deriving Generic does not work with TypeLits) created by maxtaldykin
[…] Trying to derive Generics instance for simple datatype with Symbol …
3:35 PM Ticket #7226 (bytestring changes in 7.6 branch) closed by igloo
fixed: We've rolled back
3:34 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) closed by igloo
fixed: Merged
3:33 PM Ticket #7386 (Panic "tcTyVarDetails" in GHCi when :forcing a data family instance) closed by igloo
fixed: Merged as c41ca7980664c73cfbd27b0d9f9c081ecf7dc25c
3:30 PM Ticket #7338 (Duplicate type signature not reported) closed by igloo
fixed: Merged as 55a7aa89e2886232c8581d0978d8db162fbd7c79
3:29 PM Ticket #7321 (Compiler hangs when reading interface file) closed by igloo
fixed: Merged as e7be164fcd44821af9ffd9b8ec0ff2a0529fa6aa
3:28 PM Ticket #7318 (CONLIKE pragma documentation bug) closed by igloo
fixed: Merged as 003eb67f3380cd764d1bd6f94413eb0f062626b3
3:27 PM Ticket #5407 (ghc-7.2.1 build failed on sparc solaris with non-GNU linker) closed by igloo
fixed: Merged as 09894b0af6569ebb19ddaa16dd1bc564b46d7959.
3:27 PM Ticket #7303 (RTS : Race condition with usage of timer_delete) closed by igloo
fixed: Merged as 162b87dfc610efa54ce3276e9a1e90b9dcb141a7
3:27 PM Changeset in ghc [50837615]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Make sure that we check for type errors strictly in a Template Haskell splice, even if -fdefer-type-errors is on We're going to run this code, so there's no point in deferring type errors. Worse, TcSplice uses unsafeCoerce (for vevy good reasons), so splicing a type into a place where an expression is expected would yield a seg-fault if we plough on regardless. Fixes Trac #7276
3:26 PM Ticket #7231 (GHCi erroneously unloads modules after a failed :reload) closed by igloo
Merged as 772e6d20bcac691bcfe8528829d6ed100fd701bb
3:09 PM Changeset in testsuite [c96a151]ghc-7.6 by Ian Lynagh <ian@…>
GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit
3:08 PM Changeset in testsuite [adfd272]ghc-7.6 by Ian Lynagh <ian@…>
Better duplicate signature warnings
3:07 PM Changeset in testsuite [0de1a7e]ghc-7.6 by Ian Lynagh <ian@…>
Error message change for duplicate type signatures
2:59 PM Changeset in testsuite [4cb1d51]ghc-7.6 by Ian Lynagh <ian@…>
MERGED: Fix safeHaskell/check/pkg01 tests commit 79475db4096823cbfdf7be1605d5602604479c91 Author: Ian Lynagh <ian@well-typed.com> Date: Sat Nov 17 03:16:29 2012 +0000 Fix safeHaskell/check/pkg01 tests They depended on the precise version of bytestring. Also made them able to be run in parallel.
2:31 PM Changeset in testsuite [b3797ce]ghc-7.6 by Ian Lynagh <ian@…>
Fix a couple of tests when dynlibs-by-default is on
2:27 PM Changeset in ghc [77ef6ca]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Replace all uses of ghcError with throwGhcException and purge ghcError.
2:19 PM Changeset in testsuite [925ce48]ghc-7.6 by Ian Lynagh <ian@…>
Fix Check09 test; it depended on the exact version number of bytestring
2:18 PM Changeset in testsuite [9dfc003]ghc-7.6 by Ian Lynagh <ian@…>
Fix some tests They were depending on the exact bytestring version
1:49 PM Changeset in base [066fb9e]ghc-7.6 by Ian Lynagh <ian@…>
Update haddock now that we can derive Generic1 (FIX #7444)
1:48 PM Changeset in ghc [8d8743ae]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Use the right environment for tidying the types of a data constructor Fixes Trac #7438
1:45 PM Changeset in ghc [c41ca79]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix the instantiation of data constructors in the GHCi debugger This bug caused Trac #7386, because in the (rather tricky) "type inference" (aka run time type reconstruction) done by the GHCi debugger, we were failing to instantiate a data type family correctly. When that code was written we didn't *have* data families. I wrote Note [Constructor arg types] to explain the new scheme.
1:44 PM Ticket #7384 (Panic "ctEvTerm" when using functional dependencies and PolyKinds) closed by igloo
fixed: Didn't apply cleanly, so not merging.
1:43 PM Ticket #7351 (showRichTokenStream has an off-by one error on starting col) closed by igloo
fixed: I think we're better off not merging this: if we do, then any workarounds …
1:41 PM Changeset in ghc [e366755]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix bug with reporting deprecated use of flag (Trac #7349)
1:41 PM Changeset in base [ea7f7ef8]ghc-7.6 by Ian Lynagh <ian@…>
Remove out-of-date docs about Prelude.catch; fixes #7348
1:40 PM Changeset in ghc [55a7aa8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Improve reporting of duplicate signatures Fixes Trac #7338
1:39 PM Changeset in ghc [e7be164]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Be lazier when typechecking data type contexts (Trac #7321) We should be lazy when type-checking the equality-contraint part of a data constructor's type, to make the knot-tying work out right. The fact that it's always worked before is a fluke: no one else wrote a GADT whose type index mentions itself data T a wher MkT :: T (T Int)
1:39 PM Changeset in ghc [003eb67]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix doc typo; fixes #7318
1:39 PM Changeset in ghc [4b295b6c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Ensure we produce a FunTy for functions (Trac #7312) The issue here was with a function type written prefix (->) a b where we were not generating a FunTy, which blew the invariant that function types are always FunTys. We can't look at the TyCon directly because it may be knot-tied, so we look at the name instead.
1:39 PM Changeset in ghc [162b87d]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
rts: Ignore signal before deleting timer. Fixes #7303. Was getting an ocassional hang or segfault when building GHC in a Qemu user space emulation of ARM. Turned out that the ITIMER_SIGNAL was being delivered *after* the call to timer_delete(). Setting the signal to SIG_IGN before deleting the timer solves the problem.
1:37 PM Changeset in ghc [da26f6c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Wrap a bracket quotation in a coercion that makes it have the right type This is the right fix to Trac #7276 (part 2), which makes the interaction with -fdefer-type-errors and TH work properly.
1:35 PM Changeset in ghc [772e6d20]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix #7231: don't unload stable modules when there is an error later
1:33 PM Changeset in ghc [09894b0a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Fix building on Sparc/Solaris with non-GNU linker; fixes #5407 commit 9ef4d48e296d4b96492a839f9ee569f8f90c617b Author: Ian Lynagh <ian@well-typed.com> Date: Fri Nov 23 16:54:15 2012 +0000 Fix building on Sparc/Solaris with non-GNU linker; fixes #5407 Patch from maeder.

Nov 28, 2012:

7:29 PM Ticket #7458 (ghc panic) created by timsears
As ghc requested I am reporting this... All I can say right now is that I …
4:47 PM Changeset in testsuite [c885df6]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
4:46 PM Changeset in ghc [82e928a]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/typecheck/TcForeign.lhs
4:14 PM Ticket #7457 (printf's * doesn't like negative numbers) created by elaforge
Text.Printf.printf has a bug where it doesn't like negative numbers for * …
3:48 PM Ticket #7456 (GHC API displays linker messages to stdout instead of via log_action) created by MikolajKonarski
At least in the LinkInMemory? mode, GHC API displays linker messages, such …
3:33 PM Ticket #7455 (ghc panic on show) closed by monoidal
duplicate: This is a duplicate of the bug #5961. It is already fixed in GHC 7.6.
3:29 PM Ticket #7455 (ghc panic on show) created by fegu
--- ghccrash.hs main = do putStrLn "Minimal compiler bug example" data …
2:21 PM Changeset in ghc [021ca7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Removed tabs from RnSource and FamInstEnv
8:43 AM Ticket #7453 (unsafe coerce without extensions) closed by simonpj
wontfix: Well this is embarrassing. It looks as if there's been a missing (or …
6:30 AM DynamicByDefault/Windows edited by ganesh
more commentary about SxS DLLs (diff)
2:40 AM Changeset in ghc [31e246d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7453
2:40 AM Changeset in testsuite [ddd1c8b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7453

Nov 27, 2012:

10:55 PM DynamicByDefault/Windows edited by ganesh
add link to privatePath stuff (diff)
10:46 PM Changeset in ghc [644475c3]overlapping-tyfams by Richard Eisenberg <eir@…>
Continued polishing of overlapping type family instances. This commit includes the following: - Implementation of core linting new branched coercions - Addition of a function tcApartTys which checks if two type lists are known to be apart, now and forever more. Two types are apart when they don't unify and neither is headed by a type family. - Incorporation of the apartness check in looking up an instance, so that a type family application is considered to potentially unify with anything later on. - Removal of the co_ax_arity field, which was never usefully used
10:25 PM DynamicByDefault/Windows edited by ganesh
Mention that assemblies = side-by-side (diff)
8:12 PM Ticket #7454 (Missing warning about redundant import of classes/types whose members are ...) created by EyalLotem
If one module exports a class C(..) with a method m, and another module …
2:35 PM DynamicByDefault edited by igloo
(diff)
2:33 PM DynamicByDefault edited by igloo
(diff)
2:22 PM DynamicByDefault edited by igloo
(diff)
2:15 PM DynamicByDefault/Windows edited by igloo
(diff)
2:10 PM DynamicByDefault/Windows edited by igloo
(diff)
2:09 PM DynamicByDefault/Windows edited by igloo
(diff)
2:00 PM DynamicByDefault/Windows edited by igloo
(diff)
1:35 PM DynamicByDefault/Windows edited by igloo
(diff)
1:29 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:26 PM GhcKinds edited by dreixel
(diff)
1:25 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:14 PM DynamicByDefault/Windows created by igloo
11:03 AM Ticket #7231 (GHCi erroneously unloads modules after a failed :reload) closed by simonmar
fixed
10:19 AM Changeset in ghc [5689e2d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
test for #7231
10:19 AM Changeset in testsuite [7326c95]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
test for #7231
10:19 AM Changeset in ghc [086d7c5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix #7231: don't unload stable modules when there is an error later
3:16 AM Ticket #7453 (unsafe coerce without extensions) created by guest
The following program implements an unsafe coerce and works on versions of …

Nov 26, 2012:

3:50 PM Building/RunningNoFib edited by danielv
Fixed piping commands (diff)
3:05 PM Changeset in ghc [3a82618]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos in note
2:01 PM Ticket #7404 (Inconsistent treatment of overlap between type and kind variables in type ...) closed by simonpj
fixed: See also #6021.
1:58 PM Ticket #7408 (Do not warn on unused newtype constructors when used with FFI) closed by simonpj
fixed
1:57 PM Changeset in ghc [93c49b4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7408
1:57 PM Changeset in testsuite [e057afa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7408
1:55 PM Changeset in ghc [97842af]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7404
1:55 PM Changeset in testsuite [7c49ca4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7404
1:45 PM Ticket #7452 ([GNU gold] ld: error: cannot find [...]/Types__1.o) created by mrothe
/usr/bin/ld is gold linker and I am trying to compile GHC 7.6.1 using …
1:30 PM Repositories edited by simonpj
(diff)
1:15 PM Ticket #7450 (Regression in optimisation time of functions with many patterns (6.12 to ...) closed by igloo
duplicate: Thanks for the report. This looks like a duplicate of #7258.
12:24 PM Changeset in ghc [b289026]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_compile/all.T
12:24 PM Changeset in testsuite [2fca6b9]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/typecheck/should_compile/all.T
12:23 PM Changeset in ghc [8a27909]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7451
12:23 PM Changeset in testsuite [9a35237]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7451
12:21 PM Changeset in ghc [4228699d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Accept error message improvement
12:21 PM Changeset in testsuite [c9d90c9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error message improvement
12:18 PM Changeset in ghc [6960556]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:18 PM Changeset in ghc [661c1c11]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message when a variable is used both as kind and type variable Fixes Trac #7404
12:07 PM Changeset in ghc [1135c84]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve kind inference for tuple types Trac #7410 pointed out a terrible error message, which is much improved by this patch.
12:05 PM Changeset in ghc [c8f4f509]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accurately report usage of newtype data constructors in FFI declarations See Note [Newtype constructor usage in foreign declarations] in TcForeign. It's quite non-trivial to say which newtype constructor are used in foreign import/export declarations, and I had to do a bit of refactoring to achieve it. (Say hello to the X5 bus from Oxford to Cambridge.) It's a bit tiresome, with some more plumbing, but not hard. Trac #7048 triggered this change.
11:56 AM Changeset in ghc [c2430f0]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make Constraint and * look identical in Core (System FC) Fixes Trac #7451. See Note [Kind Constraint and kind *] in Kind.lhs.
11:55 AM Ticket #6117 (Cyclic Type Class Hierarchy Produces <<loop>>) closed by simonpj
fixed: I've opened a new ticket #7451 for this, since the new topic is nothing to …
11:53 AM Ticket #7451 (Constraint and * should not be distinct in FC) created by simonpj
With GHC 7.7 this program […] produces a Core Lint error: […] The …
11:15 AM Ticket #7450 (Regression in optimisation time of functions with many patterns (6.12 to ...) created by iustin
In our project, we build (via TH) some not-trivial data structures, …
9:24 AM Ticket #7428 (GHC compile times are seriously non-linear in program size) closed by nudded
invalid: Since after more analysis this doesn't seem to be related to the …

Nov 25, 2012:

9:31 PM WorkingConventions/Repositories edited by heisenbug
(diff)
8:46 PM Repositories edited by igloo
(diff)
8:45 PM Repositories edited by igloo
(diff)
8:42 PM WorkingConventions/Git edited by igloo
(diff)
8:37 PM WorkingConventions/Repositories edited by igloo
(diff)
7:13 PM DynamicByDefault edited by igloo
(diff)
6:56 PM DynamicByDefault edited by igloo
(diff)
6:27 PM Changeset in ghc [f73d60be]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use submodules for repositories with upstreams
6:10 PM Changeset in ghc [948f101]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Normalise command names differently in sync-all
12:40 PM Changeset in ghc [939fc5c7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7410
12:40 PM Changeset in testsuite [9e1a4d3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7410
12:21 AM DynamicByDefault edited by igloo
(diff)

Nov 24, 2012:

9:15 PM DynamicByDefault edited by igloo
(diff)
9:14 PM DynamicByDefault edited by igloo
(diff)
9:06 PM DynamicByDefault edited by igloo
(diff)
9:01 PM DynamicByDefault edited by igloo
(diff)
7:17 PM DynamicByDefault edited by igloo
(diff)
7:06 PM DynamicByDefault edited by igloo
(diff)
6:54 PM DynamicByDefault edited by igloo
(diff)
6:30 PM DynamicByDefault edited by igloo
(diff)
5:57 PM DynamicByDefault edited by igloo
(diff)
5:52 PM DynamicByDefault edited by igloo
(diff)
5:42 PM DynamicByDefault edited by igloo
(diff)
5:31 PM Ticket #7449 (Segmentation fault in floor function) closed by igloo
duplicate: Thanks for the report. This looks like a duplicate of #7043.
5:30 PM DynamicByDefault edited by igloo
(diff)
5:26 PM Ticket #7449 (Segmentation fault in floor function) created by heatsink
The floor function crashes with a segmentation fault in GHCi with a …
5:16 PM DynamicByDefault edited by igloo
(diff)
5:10 PM DynamicByDefault edited by igloo
(diff)
4:27 PM Ticket #7448 (Detabbing) created by monoidal
Attached Python script detabs GHC source and removes the text "The above …
4:20 PM DynamicByDefault edited by igloo
(diff)
4:05 PM DynamicByDefault edited by igloo
(diff)
3:53 PM Ticket #7447 (Stale .hi files affect compilation.) created by int-e
I saw the following odd behaviour while playing with the example from …
3:50 PM DynamicByDefault edited by igloo
(diff)
3:50 PM DynamicByDefault edited by igloo
(diff)
3:49 PM DynamicByDefault edited by igloo
(diff)
3:25 PM DynamicByDefault edited by igloo
(diff)
2:59 PM Ticket #7446 (GHC -O0 goes into a loop) created by EyalLotem
-O1/-O2 don't loop. If I remove some of the types or the UNPACK, the …
2:37 PM DynamicByDefault edited by igloo
(diff)
2:35 PM DynamicByDefault edited by igloo
(diff)
2:29 PM DynamicByDefault edited by igloo
(diff)
2:25 PM DynamicByDefault edited by igloo
(diff)
2:04 PM DynamicByDefault edited by igloo
(diff)
1:57 PM DynamicByDefault created by igloo
11:07 AM Changeset in ghc [2334112]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by PHO <pho@…>
Fix broken -fPIC on Darwin/PPC (#7442) The workaround described in note [darwin-x86-pic] applies to Darwin/PPC too.
9:09 AM Ticket #7445 (template-haskell : need a good error message instead of just an ...) created by erikd
Will attach two files to this bug, quasi-arithmetic.hs and QuasiArith?.hs. …
12:25 AM Ticket #7415 (Add more error code support to GHC.Windows (patch)) closed by joeyadams
fixed: Pushed commit 62c6793 to GHC master.

Nov 23, 2012:

9:13 PM Ticket #7435 (Add swap and compose to the Prelude, or Tuple/List) closed by igloo
wontfix: I'm closing this ticket while the discussion is going on on the libraries …
9:10 PM Ticket #7434 (Add (&) to Data.Function) closed by igloo
wontfix: I'm closing this ticket while the discussion is going on on the libraries …
8:23 PM Ticket #7419 ("hpc markup" should accept multiple .mix file search paths) closed by igloo
fixed: Applied, and docs updated, thanks!
8:09 PM Ticket #6026 (Unboxed operators have wrong fixity) closed by igloo
fixed: Applied, thanks! I also added a test.
6:48 PM Changeset in ghc [04829b5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Make T7438 insensitive to the directory from which it is run
6:48 PM Changeset in testsuite [683d36a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make T7438 insensitive to the directory from which it is run
6:46 PM Changeset in ghc [6eb0341c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Revert "Move seq's fixity declaration info primops.txt.pp" This reverts commit eb5196c48480c7dbec25aa175e43b9c20277f29c. For some reason it didn't work, and I don't have time to look into it right now.
6:04 PM Changeset in ghc [464646d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:03 PM Changeset in ghc [39f27370]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a --reset-hpcdirs flag to hpc
5:45 PM Changeset in base [ec8d149]data-proxydbcsghc-7.8type-reasoning by Jose Pedro Magalhaes <jpm@…>
Update haddock now that we can derive Generic1 (FIX #7444)
5:41 PM Changeset in ghc [95027b82]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
de-tab hpc
5:35 PM Ticket #7444 (Update documentation regarding derivability of Generic1) created by spl
The …
5:22 PM Changeset in ghc [c04a9849]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Separate warning flags from other flags in validate-settings.mk
5:07 PM Changeset in ghc [b610a84d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
"hpc version" now shows the version number from the .cabal file
4:58 PM Changeset in ghc [e1dbabbf]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
4:57 PM Changeset in ghc [b350ac58]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use the right environment for tidying the types of a data constructor Fixes Trac #7438
4:57 PM Changeset in ghc [956f574]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7438
4:57 PM Changeset in testsuite [7f7f3a3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7438
4:55 PM Changeset in ghc [9ef4d48e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix building on Sparc/Solaris with non-GNU linker; fixes #5407 Patch from maeder.
4:41 PM Changeset in ghc-prim [d075da6]ghc-7.8 by Ian Lynagh <ian@…>
Add a test for #6026 (fixity info for primops)
4:34 PM Ticket #5489 (Win7: Bootstrapping 7.3 from 7.2.1 using msys git 1.7.6 causes integer-gmp ...) closed by igloo
fixed: Fixed, thanks: […]
4:26 PM Changeset in ghc [eb5196c4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Move seq's fixity declaration info primops.txt.pp
4:07 PM Changeset in ghc [359efbf]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo
4:05 PM Changeset in ghc [64efee6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add fixity information to primops (ticket #6026)
4:05 PM Changeset in ghc [d94250e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
add embedded vendor
3:49 PM Changeset in ghc [951e28c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Unconditionally disable DYNAMIC_BY_DEFAULT for now While we work out some details, and wait for cabal-install's in the wild to catch up.
3:48 PM Changeset in ghc [91c6593]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Enable GhcWithInterpreter when DYNAMIC_BY_DEFAULT is on
2:12 PM Ticket #7441 (kindFunResult Error) closed by monoidal
duplicate: I think this is a duplicate of #7368. You can reduce the testcase to: …
12:26 PM Ticket #7443 (Generated C code under -prof -fprof-auto -fprof-cafs very slow to compile) created by orenbenkiki
Some background: This is C code generated when I turned on profiling with …
9:53 AM Debugging/InstallingPackagesInplace edited by danielv
(diff)
9:39 AM NewPlugins edited by danielv
(diff)
5:17 AM Ticket #7442 ([PATCH] Fix broken -fPIC on Darwin/PPC) created by PHO
PIC.initializePicBase_ppc was wrongly assuming that only the first block …
2:47 AM Ticket #7441 (kindFunResult Error) created by guest
Hi, the attached Haskell source file causes ghci to panic.

Nov 22, 2012:

9:35 PM Changeset in ghc [c22850f7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Enable dynamic-by-default for unregisterised arches This makes ghci work on platforms without any special support in the GHCi linker: Prelude> (System.Info.os, System.Info.arch) ("linux","s390")
8:49 PM Ticket #7440 (haddock : Declaration for $fEqInteger attempting to use module ...) created by erikd
On linux-powerpc64: […]
7:29 PM Ticket #7439 (Include dynamic-by-default support in Cabal with GHC 7.6.2) created by igloo
Ideally, we should ship GHC 7.6.2 with support for dynamic-by-default …
11:36 AM Ticket #7438 (Tc panic when type declaration is missing) created by heisenbug
Compile the attached snippet with HEAD GHC. > ghc: panic! (the …
12:15 AM Ticket #7437 (peculiar behaviour with default instances and type variables) created by bos
Here is a small module that has perplexing behaviour under GHC 7.6.1. In …

Nov 21, 2012:

7:43 PM Changeset in testsuite [9c7080f]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated stderr output on indexed-types tests
7:43 PM Ticket #7267 (linux-ppc64: Segfault during stage2 build) closed by erikd
fixed: Yep, my linux-powerpc64 machine got past the segfault in this bug and then …
5:36 PM Changeset in base [f1bc28e]data-proxydbcsghc-7.8type-reasoning by Gabor Greif <ggreif@…>
typo
5:27 PM Changeset in ghc [704f802]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
fix some typos
3:42 PM Changeset in testsuite [c79bf66]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: tests/indexed-types/should_compile/T3017.stderr tests/indexed-types/should_fail/all.T
3:34 PM Changeset in ghc [839621c5]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/coreSyn/ExternalCore.lhs compiler/coreSyn/MkExternalCore.lhs compiler/coreSyn/TrieMap.lhs compiler/deSugar/DsMeta.hs compiler/rename/RnSource.lhs compiler/typecheck/TcDeriv.lhs compiler/typecheck/TcEnv.lhs compiler/typecheck/TcEvidence.lhs compiler/typecheck/TcInstDcls.lhs compiler/typecheck/TcInteract.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/types/Coercion.lhs compiler/types/FamInstEnv.lhs
2:39 PM Changeset in testsuite [822a3a8]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated tests for overlapping type family instances, including changing a number of .stderr files to fit new printouts.
2:36 PM Changeset in ghc [728f4cf]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed bugs in overlapping type family instances. The biggest change is adding group tracking -- whether or not an instance was declared with group syntax. This allows finer control over when to allow confluent overlap. Another change was how locations of instances are tracked. They are now tracked using a SrcSpan in a FamInstBranch.
2:10 PM Ticket #7405 (use of -no-hs-main causes TH compiles to fail) closed by igloo
wontfix: I agree, this isn't something we can/should fix. Mark, you could work …
1:18 PM Changeset in ghc [286b88f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Add regression test for #7433
1:18 PM Changeset in testsuite [88dcff8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add regression test for #7433
1:18 PM Changeset in ghc [6486213b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Reject promoted constructors when -XDataKinds is not enabled (FIX #7433)
12:23 PM Ticket #7436 (Derived Foldable and Traversable instances become extremely inefficient ...) created by shachaf
The following program: […] Takes n^2 time to run with GHC 7.6.1 …
12:06 PM Holes edited by xnyhps
Added documentation on how named unbound identifier holes currently work (diff)
11:30 AM Changeset in ghc [8c98b1e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:30 AM Changeset in testsuite [8959351]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:29 AM Changeset in ghc [75eae9c2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7422
11:29 AM Changeset in testsuite [6401a90]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7422
9:46 AM Ticket #7429 (Unexplained performance boost with +RTS -h) closed by simonmar
wontfix: Aha - of course I was forgetting something, the GC will also eliminate the …

Nov 20, 2012:

6:56 PM Ticket #7435 (Add swap and compose to the Prelude, or Tuple/List) created by JohnWiegley
[…] Fairly obvious, but strangely missing. […] This can be done with …
4:47 PM Ticket #7434 (Add (&) to Data.Function) created by YitzGale
It is a common idiom to write a sequence of composed combinators in …
2:20 PM Changeset in base [b49b602]data-proxydbcsghc-7.8type-reasoning by Jose Pedro Magalhaes <jpm@…>
Add module header with some external links
9:07 AM Ticket #7433 (Promoted constructors accepted without flag) created by dreixel
Sean Leather reports that […] is accepted without -XDataKinds. …
7:01 AM Ticket #7432 (haddock : panic! (the 'impossible' happened)) created by erikd
On linux-powerpc64: […] Possibly related to #7267.
3:27 AM Ticket #7431 (execvpe exists on QNX) created by singpolyma
The definition of execvpe in this package conflicts with the native QNX …

Nov 19, 2012:

10:33 PM Ticket #7430 (GHC API reports CPP errors in confusing ways) created by MikolajKonarski
When there is a CPP error, the GHC API provides a normal error message …
4:02 PM Ticket #7308 (Better code for top-level indirections) closed by simonmar
fixed
1:06 PM Changeset in ghc [31c0717]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
C backend: put the entry block first
1:01 PM Changeset in ghc [7da1376]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Code-size optimisation for top-level indirections (#7308) Top-level indirections are often generated when there is a cast, e.g. foo :: T foo = bar `cast` (some coercion) For these we were generating a full-blown CAF, which is a fair chunk of code. This patch makes these indirections generate a single IND_STATIC closure (4 words) instead. This is exactly what the CAF would evaluate to eventually anyway, we're just shortcutting the whole process.
11:32 AM Ticket #5505 (Program runs faster with profiling than without) closed by simonmar
fixed: I've moved this to a new ticket, see #7429.
11:31 AM Ticket #7429 (Unexplained performance boost with +RTS -h) created by simonmar
In #5505 the following program was reported: […] Which on my system, …
11:18 AM Ticket #7426 (import Foo hiding (X) should not be a fatal error when X is not exported ...) closed by guest
duplicate: I'm closing since it seems to be a duplicate of #7167.
9:43 AM Ticket #7422 (GHC panics while trying to derive Generic for GADT with kind-lifted ...) closed by dreixel
duplicate: Thanks for the report, but your code compiles in 7.6.1. Might have been …
8:46 AM Ticket #7428 (GHC compile times are seriously non-linear in program size) created by nudded
When compiling the attached code with -O2 GHC runs out of memory. …
2:19 AM Changeset in base [e15df2c]windows-iocp by Joey Adams <joeyadams3.14159@…>
Implement threadDelay with the new Windows IO manager
2:15 AM Changeset in base [3f5ad30]windows-iocp by Joey Adams <joeyadams3.14159@…>
Add GHC.Event.Windows This is an IO manager for Windows, using IO completion ports. It is loosely modeled after GHC.Event, and even uses a few of its components (PSQ, IntMap, Unique). It is named GHC.Event.Windows, rather than GHC.Event.IOCP, to suggest the possibility of additional facilities not related to IOCP, such as RegisterWaitForSingleObject.

Nov 18, 2012:

7:29 PM Ticket #7427 (Proposal: Add setEnv/unsetEnv to System.Environment) created by SimonHengel
I propose to add setEnv/unsetEnv to System.Environment, so that it is …
1:12 PM Changeset in base [b107946]windows-iocp by Joey Adams <joeyadams3.14159@…>
Add forkOSMasked to GHC.Conc.Sync Also, make rtsSupportsBoundThreads an unsafe foreign import, and move its definition to GHC.Conc.Sync. This breaks an import cycle, as the new Windows I/O manager will (likely) need forkOS. Importing it from Control.Concurrent produces a cycle: IO manager -> Control.Concurrent -> GHC.Conc.IO -> IO manager. forkOSMasked is defined in GHC.Conc.Sync, which has much fewer transitive dependencies. forkOSMasked is intended to be internal. That's why it's exported by GHC.Conc.Sync but not by Control.Concurrent.
1:11 AM Changeset in ghc [5874a66b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some dependencies I don't think we need these, and they haven't been doing anything useful for dynamic-by-default builds anyway as they hardcode the 'v' way.
12:30 AM Changeset in base [62c6793]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Joey Adams <joeyadams3.14159@…>
GHC.Windows: more error support (guards, system error strings) This changes the output of throwGetLastError to include the system error message, rather than the message of our fictitious errno. It also adds several definitions to GHC.Windows, mostly from the Win32 package. The exceptions are: * getErrorMessage: returns a String, unlike in System.Win32.Types, where it returns an LPWSTR. * errCodeToIOError: new * c_maperrno_func: new

Nov 17, 2012:

11:23 PM Ticket #7108 (Link to haskell report in prelude) closed by igloo
fixed: The one in this ticket is fixed by […] The others I found are …
10:01 PM Changeset in base [25b6fea]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Update a H98 reference to H2010
9:46 PM Changeset in base [12eb800]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove an out-of-date comment
9:46 PM Changeset in base [a8d4a38]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Update some H98 references to refer to H2010
8:54 PM Changeset in base [b006358]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Improve a comment
8:24 PM Ticket #7426 (import Foo hiding (X) should not be a fatal error when X is not exported ...) created by luqui
We recently got into a situation on a team where two developers had two …
8:11 PM Changeset in base [4e98602]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Change a commonet not to refer to the Haskell 2010 report in particular
8:09 PM Changeset in base [57a735a]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Fix a typo
8:02 PM Changeset in base [df39704]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Improve the Prelude doc header; part of #7108 It no longer refers to a particular version of the language standard. It now includes a note about how it is implicitly imported, and it looks like the other documentation from the language report is already included in the haddock docs.
6:20 PM DefaultSuperclassInstances edited by guest
(diff)
6:19 PM DefaultSuperclassInstances edited by guest
(diff)
5:05 PM Ticket #5831 (space_leak_001(ghci) segfaults on OS X x86_64) closed by igloo
worksforme: I was going to test whether dynamic-by-default fixed this, but now I can't …
4:25 PM Ticket #7425 (Add method to Data.Bits for creating zeroed values.) created by Aninhumer
The removal of the Num superclass from Data.Bits now means there is no …
4:13 PM Ticket #7424 (Add Data.Bits instance for Bool) created by Aninhumer
Given the common use cases for Data.Bits, it seems strange that there is …
3:55 PM Changeset in ghc [cf939b3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a stddef.h #include to C file generated by DeriveConstants
1:04 PM Changeset in ghc [e9043b0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Remove the 'alone' modifier
1:04 PM Changeset in testsuite [c26ff1e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove the 'alone' modifier
1:03 PM Changeset in ghc [393939e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Make the plugin tests standalone
1:03 PM Changeset in testsuite [813344e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make the plugin tests standalone
12:32 PM Changeset in ghc [dbb8d75]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix Check09 test; it depended on the exact version number of bytestring
12:32 PM Changeset in testsuite [ed277e0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix Check09 test; it depended on the exact version number of bytestring
10:30 AM Ticket #7423 (panic on typo in deriving clause) closed by guest
duplicate: Thanks for the report, but it's already fixed in GHC 7.6.1, bug #5961.
8:13 AM Ticket #7423 (panic on typo in deriving clause) created by guest
Consider the following: data T = T deriving (eq) Note the misspelled …
3:16 AM Changeset in ghc [5cabf9ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix safeHaskell/check/pkg01 tests They depended on the precise version of bytestring. Also made them able to be run in parallel.
3:16 AM Changeset in testsuite [79475db]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix safeHaskell/check/pkg01 tests They depended on the precise version of bytestring. Also made them able to be run in parallel.
2:03 AM Changeset in ghc [14c4520d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix some tests They were depending on the exact bytestring version
2:03 AM Changeset in testsuite [f94cc487]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix some tests They were depending on the exact bytestring version
1:16 AM Ticket #7422 (GHC panics while trying to derive Generic for GADT with kind-lifted ...) created by rpglover64
This may be a duplicate of #5884 Compiling the attached file gives the …
12:17 AM Changeset in ghc [914ba8b]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
OS X build fixes

Nov 16, 2012:

11:54 PM Changeset in ghc [77b23713]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
More OS X build fixes Conflicts: rts/sm/Sanity.c
11:53 PM Changeset in ghc [45f7412]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
More OS X build fixes
11:23 PM Changeset in ghc [e861c17]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Build fix on OS X
10:50 PM Ticket #7421 (Data.List.insert / insertBy do not match the documentation) created by Bart Massey
In Data.List from base 4.6.0.0 (as in every previous version), the …
3:34 PM Changeset in ghc [dfb8d40]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
We now assume that offsetof() is always defined
3:06 PM Ticket #7407 (error: expected ';' before 'else') closed by simonmar
fixed
2:48 PM Changeset in ghc [80269ef4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix syntax error in generated C (#7407)
2:48 PM Changeset in ghc [a70e45f5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
C backend: ignore MO_Touch
2:11 PM Changeset in ghc [5ff68875]supercompiler by Max Bolingbroke <batterseapower@…>
Allow MSG to generalise occurrence info
2:11 PM Changeset in ghc [61f74db9]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure wrappers are SUPERINLINABLE
2:10 PM Changeset in ghc [f2b4a3f]supercompiler by Max Bolingbroke <batterseapower@…>
Make the speculation flag work properly
12:52 PM Changeset in ghc [4ee5e3b2]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
12:46 PM Changeset in ghc [1437590]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document -XTypeHoles Thanks to Thijs Alkemade for writing this documentation
12:45 PM Changeset in ghc [3c65824]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test TypeHoles
12:45 PM Changeset in testsuite [cacfd03]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test TypeHoles
11:26 AM Changeset in ghc [6d784c4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a write barrier for TVAR closures This improves GC performance when there are a lot of TVars in the heap. For instance, a TChan with a lot of elements causes a massive GC drag without this patch. There's more to do - several other STM closure types don't have write barriers, so GC performance when there are a lot of threads blocked on STM isn't great. But fixing the problem for TVar is a good start.
11:26 AM Changeset in ghc [97dc57c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix bug in previous commit, 65e46f144f3d8b18de7264b0b099086153c68d6c
10:26 AM Changeset in ghc [6e4f6c62]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos in comments
8:52 AM Ticket #7420 (mis-attributed kind in the explict type/kind signature) closed by simonpj
fixed: Thanks. Polymorphic kinds were not an advertised feature of GH 7.4; the …
3:05 AM Ticket #7420 (mis-attributed kind in the explict type/kind signature) created by guest
The following simple code […] fails to type-check. The error message …
1:27 AM WorkingConventions/Git edited by joeyadams
Fix some spelling and capitalization errors (diff)
Note: See TracTimeline for information about the timeline view.