Timeline


and

Oct 21, 2012:

8:25 PM Ticket #5765 (ghc-cabal build failure with nonsense error message) closed by igloo
worksforme: I couldn't reproduce this. Note that you should make changes in …
7:37 PM Ticket #7356 (Building HEAD on Mac OS X 10.5 reports Undefined "_pthread_threadid_np" ...) created by thorkilnaur
On a Mac OS X 10.5 […] a build of recent HEAD …
5:10 PM Changeset in ghc [6bb741b]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 fromRational when pre-computing fromRational literals This makes it easier to be confident that the optimisation gives the right answer.
4:57 PM Changeset in ghc [771d376b]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 GHC.Float.rationalToFloat, rationalToDouble (fixes #7295) Adds better support for constant folding of Float/Double literals. - add rationalToFloat, rationalToDouble with associated Name/Id's in PrelNames. - add a matching rule in PrelRules for rationalTo* functions.
4:55 PM Changeset in base [56ef866]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
move fromRational into rationalToFloat/Double
4:34 PM Ticket #7225 ("ghc -C" failed) closed by igloo
fixed: I've just validated on OS X x86_64 with GhcLibWays = v p dyn p_dyn, so I …
4:15 PM Changeset in ghc [4f83f541]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Set V = 1 by default, and add info about turning it off to build.mk.sample This will hopefully make it less likely that we will get bug reports with the pretty output, such as in trac ticket 7225.
4:12 PM Changeset in ghc [9f9bb2b9]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@…>
Add the p_dyn and thr_p_dyn ways
2:34 PM Ticket #7286 (GHC doesn't optimise away primitive identity conversions) closed by igloo
fixed: Thanks for the report; fixed.
2:33 PM Ticket #7284 (plusAddr# x 0 isn't optimised away) closed by igloo
fixed: Thanks for the report; fixed.
1:48 PM Changeset in ghc [b0935216]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 rule for (plusAddr# x 0) == x; fixes #7284
1:20 PM Changeset in ghc [2cf9093]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 some more PrimOp rules
12:55 PM Changeset in ghc [fc5a6e2e]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/HsExpr.lhs
12:48 PM Changeset in ghc [e3d7889]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 some more primop rules; fixes #7286 As well as the rules mentioned in the ticket, I've also gone through and added some more rules that might be useful in other cases.
5:53 AM Ticket #7355 (panic when bang is misplaced: tc_hs_type: bang) created by elaforge
The following file makes ghc panic: % cat t.hs newtype Scale = Scale …

Oct 20, 2012:

7:22 PM Ticket #7354 (Panic with recursion-schemes package and unit) created by amplitwist
Steps to reproduce: 1. Install GHC 7.6.1 and recursion-schemes …
4:50 PM Ticket #7353 (Make system IO interruptible on Windows) created by joeyadams
Currently, IO operations (connect, read, etc.) cannot be interrupted on …
4:11 PM Ticket #7352 (this type signature in a case alternative does not typecheck and requires ...) created by atnnn
In the following code, E and F are similar data types […] test1 …
1:12 PM Ticket #7351 (showRichTokenStream has an off-by one error on starting col) created by alanz
When using showRichTokenStream to re-create a source file, all lines after …
4:19 AM Ticket #7350 ('stg_killMyself' undeclared (first use in this function)) created by erikd
Compiling git HEAD on PPC64 and i get: […] stg_killMyself is defined …
12:30 AM Ticket #7343 (Potential build issues on some UNIX versions) closed by igloo
fixed: Thanks for the report and patch; I've applied it.

Oct 19, 2012:

11:45 PM Ticket #7349 (-fth is deprecated without warning) created by guest
The flag -fth was deprecated in GHC 6.10 …
11:26 PM Changeset in unix [c35901a]ghc-7.8 by Ian Lynagh <ian@…>
Only use unsetenv if HAVE_UNSETENV is defined (fixes #7343)
11:21 PM Changeset in base [de39af2]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove out-of-date docs about Prelude.catch; fixes #7348
11:12 PM Changeset in ghc [176a360]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 typo
7:56 PM Changeset in ghc [bca2e47]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 simplCore/OccurAnal.lhs
7:37 PM Changeset in ghc [4c88078]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
7:37 PM Changeset in testsuite [671ccc5]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
7:35 PM Changeset in ghc [429c81c5]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
7:35 PM Changeset in ghc [8e189a7]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@…>
Simplify code slightly; no change in behaviour
7:30 PM Changeset in ghc [4a738e17]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@…>
Simplify and clean up kind-checking of type/class declarations This fixes Trac #7341
7:29 PM Changeset in ghc [1152f94]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@…>
An accidentally-omitted part of commit 8019bc2c, about promoting data constructors
7:27 PM Changeset in ghc [827598ea]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@…>
Wibbles in TcErrors
7:24 PM Changeset in ghc [d277031d]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@…>
Suppress deprecation warnings for Rank2Types in libraries that use the flag This is temporary until the libraries switch to RankNTypes
5:03 PM Changeset in ghc [6c547271]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Set the way when loading dynamic objects for GHCi This fixes using TH when building profiled libraries when dynamic-by-default is enabled.
3:24 PM Changeset in ghc [8388dd2]supercompiler by Max Bolingbroke <batterseapower@…>
Fix bug in cheap node shortcutting that was pessimising the splitter
3:24 PM Changeset in ghc [15638a4]supercompiler by Max Bolingbroke <batterseapower@…>
Don't float out of binders that may be marked SUPERINLINABLE when converting from GHC core to preserve lexical structure
3:23 PM Changeset in ghc [9be06a4]supercompiler by Max Bolingbroke <batterseapower@…>
No sc' tracing
3:23 PM Changeset in ghc [6b8c902]supercompiler by Max Bolingbroke <batterseapower@…>
Slight improvement to power of reduce termination test by using gc, more debug output
3:23 PM Changeset in ghc [27195a3a]supercompiler by Max Bolingbroke <batterseapower@…>
Show those binders which are SUPERINLINABLE
3:22 PM Changeset in ghc [42ef500]supercompiler by Max Bolingbroke <batterseapower@…>
Lexical marking of SUPERINLINABLEs in current module as well as imported modules
2:38 PM Ticket #7348 (base-4.6 does not export `catch` from Prelude while Control.Exception ...) created by Dzhus
From …
12:19 PM Changeset in ghc [63a3760]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
bump stats for T1969 and T4801 Please folks, remember failing perf tests are not expected and should always be investigated. In particular I have no idea why T4801 is now failing - I narrowed it down to something around 30 Sep, but can't see any commits around that date that could have caused it and it has jumped by more than 10%.
12:19 PM Changeset in testsuite [f14b54b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
bump stats for T1969 and T4801 Please folks, remember failing perf tests are not expected and should always be investigated. In particular I have no idea why T4801 is now failing - I narrowed it down to something around 30 Sep, but can't see any commits around that date that could have caused it and it has jumped by more than 10%.
12:18 PM Changeset in ghc [c6f4f8a]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
11:53 AM Changeset in ghc [8019bc2c]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@…>
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).
11:52 AM Ticket #7347 (Existential data constructors should not be promoted) created by simonpj
Stefan Holdermans reports: I am almost sure this is a known issue, but I …
11:48 AM Changeset in ghc [021214f]supercompiler by Max Bolingbroke <batterseapower@…>
Made pairT lazier
11:23 AM Changeset in ghc [64667ed]supercompiler by Max Bolingbroke <batterseapower@…>
Fix critical bug where FVs of generalised stack tails would not be sucked
11:23 AM Changeset in ghc [7936e487]supercompiler by Max Bolingbroke <batterseapower@…>
Do memocache preinit even when using let-bindings
11:20 AM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
11:03 AM Changeset in ghc [f7ad2aaf]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 #7338
11:03 AM Changeset in testsuite [dc7ed4c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7338
11:03 AM Changeset in ghc [6fbd46b]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 the old codegen Except for CgUtils.fixStgRegisters that is used in the NCG and LLVM backends, and should probably be moved somewhere else.
11:01 AM Changeset in ghc [27260333]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 reporting of duplicate signatures Fixes Trac #7338
10:59 AM Changeset in ghc [bd56e72]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@…>
Kind error wibble
10:59 AM Changeset in testsuite [a972776]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Kind error wibble
10:58 AM Changeset in ghc [96f9aff6]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@…>
Better duplicate signature warnings
10:58 AM Changeset in testsuite [4cf1eb7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better duplicate signature warnings
10:49 AM Changeset in ghc [5381000]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@…>
profiling fixes
10:24 AM Ticket #7346 (Allow the use of `deriving` for GHC generics) created by kosmikus
Currently, a class that makes use of generic default methods (via the …
9:45 AM Changeset in ghc [f89af0c]supercompiler by Max Bolingbroke <batterseapower@…>
Don't pull on prepareTerm result unless needed
9:44 AM Changeset in ghc [9cf95986]supercompiler by Max Bolingbroke <batterseapower@…>
Disable instance matching by default
8:23 AM Changeset in ghc [ea081c0]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@…>
Check that existential data constructors can't be promoted
8:23 AM Changeset in testsuite [68f8333]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Check that existential data constructors can't be promoted
1:28 AM Changeset in ghc [a8ed7cc]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@…>
Comments and consequential line number changes
1:28 AM Changeset in testsuite [f56ce83]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Comments and consequential line number changes
1:27 AM Changeset in ghc [9c782f2]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@…>
Minor changes to tidying
1:27 AM Changeset in testsuite [0dc6b51]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Minor changes to tidying
1:26 AM Changeset in ghc [81bac4ff]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@…>
Adapt to fix in exprIsWorkFree
1:26 AM Changeset in testsuite [5725ac0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to fix in exprIsWorkFree
1:26 AM Changeset in ghc [796322f]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@…>
Improved desugaring in TH for Rules
1:26 AM Changeset in testsuite [2d08853]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improved desugaring in TH for Rules
1:25 AM Changeset in ghc [5c1d923]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@…>
Adapt to being a bit more picky about inference with GADTs This means adding a few type signature, and some tests failing (as they should) rather than succeeding
1:25 AM Changeset in testsuite [4e5ca8d7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to being a bit more picky about inference with GADTs This means adding a few type signature, and some tests failing (as they should) rather than succeeding
1:20 AM Changeset in ghc [8bc6c4a6]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@…>
Improvements to kind error messages, mainly Also some expected/actual messages are now the right way round
1:20 AM Changeset in testsuite [75cb1a1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improvements to kind error messages, mainly Also some expected/actual messages are now the right way round
12:49 AM Changeset in ghc [09cdd12]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@…>
Replace Rank2Types and PolymorphicComponents by RankNTypes
12:49 AM Changeset in testsuite [a002dc23]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Replace Rank2Types and PolymorphicComponents by RankNTypes
12:22 AM Changeset in ghc [242fc56]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@…>
Some refactoring of the occurs check in TcUnify I was experimenting with allowing unification with a type variable when there are type functions in the type; but that led to strangely worse error messages (See Note [Conservative unification check]) in TcUnify. I don't quite understand why, but the simple thing for now is to maintain the same behaviour. I tidied up the code a bit though.
12:20 AM Changeset in ghc [6a58aa0c]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@…>
In approximateWC, do not float contraints out of an implication with equalities Jacques Garrigue pointed out that GHC 7.6 was accepting GADT programs that our OutsideIn paper said would be rejected. The reason was that approximateWC was being too aggressive about floating; see Note [approximateWC] in TcSimplify. This simple patch fixes that, but it is (of course) not backward compatible; a few GADT programs that were (erroneously) accepted before are now rejected, and will need a type signature. This could be under flag control, but I'd rather just make it compulsory. Example data T a where TInt :: T Int MkT :: T a f TInt = 3::Int Here f (with no type signature) is current accepted, with inferred type f :: T a -> Int but should be rejected
12:15 AM Changeset in ghc [0001f519]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 nativeGen/PIC.hs
12:07 AM Changeset in ghc [e252bb6d]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 reporting for kind errors
12:06 AM Changeset in ghc [a3513618]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@…>
Comments and debug tracing only
12:04 AM Changeset in ghc [b597182d]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 a long-standing bug in tidying This showed up when looking at some type error messages. We were tidying some open types in a way that mapped two distinct variables to the same thing. Urk!
12:03 AM Changeset in ghc [984676d5]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@…>
Deprecate Rank2Types and PolymorphicComponents, in favour of RankNTypes We agreed that it's not worth the bother of trying to maintain all these distinct flags; RankNTypes will do the job fine. Trac #6032.

Oct 18, 2012:

11:48 PM Changeset in ghc [5e54d557]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 conversion of HsRule to TH syntax We weren't doing the binders right, and were creating NameLs rather than NameUs for the binders of the Rule. That gave very funny output for T7064.
8:39 PM Changeset in ghc [a70242a]overlapping-tyfams by Richard Eisenberg <eir@…>
Reimplemented overlapping type family instances through a change in the CoAxiom type, instead of just a change in FamInst. The new CoAxiom supports multiple CoAxBranches. The use of a CoAxiom, say with the Coercion constructor AxiomInstCo, requires an index choosing which branch to use. The major changes are in types/FamInstEnv.hs, types/TyCon.hs, and to a lesser degree types/Coercion.lhs. This commit does not work, however. There is an unknown problem with loading iface files. Use a later commit if you want this to work.
8:36 PM Ticket #7340 (Building fails with dph-base_dist-install_GHCI_LIB not defined) closed by goldfire
worksforme: Some poking about discovered a problem in my build.mk. Unfortunately, I …
8:15 PM ViewPatterns edited by SlowByte
fix example (diff)
7:59 PM Changeset in ghc [b99c6ae]supercompiler by Max Bolingbroke <batterseapower@…>
Horrible patches to make memocache preinit work
7:58 PM Changeset in ghc [9d99feb]supercompiler by Max Bolingbroke <batterseapower@…>
Idempotent speculator
7:58 PM Changeset in ghc [0a2664ce]supercompiler by Max Bolingbroke <batterseapower@…>
FIx stupid bug with summary given to GHC heuristics
5:12 PM Ticket #7345 (unix-2.6.0.0 does not provide access to st_blksize and st_blocks) created by JohnWiegley
There is currently no clear way in Haskell to determine how much disk …
3:40 PM Changeset in ghc [660dc69]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@…>
Follow 'flags' -> 'generalFlags' rename
3:03 PM Changeset in ghc [21e5b613]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@…>
Turn DYNAMIC_BY_DEFAULT off in mk/build.mk.sample It sets GhcLibWays=v, which doesn't work with DYNAMIC_BY_DEFAULT on as the dynamic libs aren't built.
3:01 PM Changeset in ghc [d4a19643]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 the way dump flags are handled We were being inconsistent about how we tested whether dump flags were enabled; in particular, sometimes we also checked the verbosity, and sometimes we didn't. This lead to oddities such as "ghc -v4" printing an "Asm code" section which didn't contain any code, and "-v4" enabled some parts of "-ddump-deriv" but not others. Now all the tests use dopt, which also takes the verbosity into account as appropriate.
11:51 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:50 AM Status/SLPJ-Tickets edited by simonpj
(diff)
5:17 AM Ticket #7344 (64-bit and 32-bit binaries compiled with '-static' gets 'SIGKILL'ed (after ...) created by cetinsert
== Initial Report & Discussion == Quoting the person who reported the …

Oct 17, 2012:

10:50 PM Ticket #7343 (Potential build issues on some UNIX versions) created by SimonHengel
In HsUnix.c unsetenv is used even if HAVE_UNSETENV is …
10:25 PM Ticket #7342 (Memory violation bug in System.Posix.Env.putEnv) created by SimonHengel
putEnv frees the marshaled string after calling c_putenv. …
7:59 PM Ticket #6108 (Haddock's prune option is not regarded for DEPRECATED things) closed by SimonHengel
fixed: This has already been fixed in Haddock.
5:43 PM Ticket #7341 (Kind inference does not propagate annotations on associated types) created by goldfire
Consider the following: […] When compiled, this code generates a …
4:53 PM DeferErrorsToRuntime edited by ehamberg
Make it clear that this flag were indeed included in GHC 7.6 (diff)
3:43 PM Ticket #7340 (Building fails with dph-base_dist-install_GHCI_LIB not defined) created by goldfire
The following sequence of commands failed: […] with the following …
8:46 AM Building/GettingTheSources edited by SimonHengel
Use URL to official GHC mirror for second example in "Getting a GHC … (diff)
2:19 AM Ticket #7339 (GHC fails to build from source on Alpha) created by creemj
The ghc compiler (version 7.6.1-2 as packaged by Debian in the …
1:35 AM Ticket #7338 (Duplicate type signature not reported) created by evincarofautumn
Under 7.4.1, the following snippet compiles without error: […] It …
12:47 AM Changeset in ghc [51da4ee2]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@…>
Put header and timestamp in dump files
12:45 AM Changeset in ghc [6e771fa]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@…>
Remove unused -ddump flags

Oct 16, 2012:

6:38 PM Ticket #7337 (GHC does not generate great code for bit-level rotation) created by bos
I'm working on some hashing functions at the moment, and I notice that GHC …
6:16 PM Ticket #7219 (Reinstate constant propagation in some form) closed by igloo
fixed: I believe this is now fixed.
5:15 PM Changeset in ghc [f934258]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@…>
Fix build on OS X (fix from Duncan Coutts)
4:49 PM TypeNats/SingletonsAndKinds edited by diatchki
(diff)
3:08 PM Changeset in ghc [cd33eef]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@…>
Some alpha renaming Mostly d -> g (matching DynFlag -> GeneralFlag). Also renamed if* to when*, matching the Haskell if/when names
1:33 PM Ticket #7102 (Type family instance overlap accepted in ghci) closed by igloo
wontfix: I'm inclined to say that this is not a bug. In a similar way to how ghci …
1:15 PM Changeset in base [8699195]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
12:34 PM Changeset in base [24d4861]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Add CApiFFI to the extensions used by GHC.Event.KQueue
12:27 PM Changeset in ghc [6759e5a]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 copy of foldM, and use the standard function instead
12:24 PM Changeset in ghc [4d4797d]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 simplStg/SimplStg.lhs
12:21 PM Changeset in ghc [d5ab88cf]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 setDynFlag, unSetDynFlag following the DynFlag->GeneralFlag rename
12:08 PM Changeset in ghc [86f6acdc]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 DynFlag to GeneralFlag This avoids confusion due to [DynFlag] and DynFlags being completely different types.
8:18 AM Ticket #7336 (Defined but not used is not detected for data types with instances) created by maeder
[…] does _not_ report […] This message is only displayed without …
7:18 AM Ticket #7335 (Need for extra warning pragma for accidental pattern matching in do blocks) created by duncan
There are a few functions (actually monadic actions) where it's almost …
6:22 AM TypeNats/SingletonsAndKinds edited by diatchki
(diff)
6:13 AM TypeNats/SingletonsAndKinds edited by diatchki
(diff)
5:54 AM TypeNats/SingletonsAndKinds edited by diatchki
(diff)
5:49 AM TypeNats/SingletonsAndKinds created by diatchki
5:43 AM Changeset in ghc [fb80c004]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats
5:41 AM Changeset in base [54405b8]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Update library to avoid using `Any` (also, replace fun-dep with type fam.)
5:34 AM TypeNats edited by diatchki
(diff)
5:31 AM TypeNats/Basics edited by diatchki
(diff)
5:29 AM TypeNats/Basics edited by diatchki
(diff)
5:28 AM TypeNats/Basics edited by diatchki
(diff)
4:28 AM TypeNats/Basics edited by diatchki
(diff)
3:32 AM TypeNats/Basics edited by diatchki
(diff)
12:25 AM Changeset in ghc [5cd52bfd]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@…>
Build system fix for building a profiling GHC
Note: See TracTimeline for information about the timeline view.