Timeline


and

Jan 22, 2013:

11:44 PM Changeset in ghc [531a441b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a (currently very permissive) test name check We now get a framework failure if a test name doesn't match ^[a-zA-Z0-9][a-zA-Z0-9._/-]*$
11:44 PM Changeset in testsuite [df8b626]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a (currently very permissive) test name check We now get a framework failure if a test name doesn't match ^[a-zA-Z0-9][a-zA-Z0-9._/-]*$
11:40 PM Changeset in ghc [d22658b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Remove a stray colon from the framework fail messages
11:40 PM Changeset in testsuite [7a3ed1d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove a stray colon from the framework fail messages
11:30 PM BugSweep edited by morabbin
(diff)
10:46 PM Changeset in ghc [35f1fc9]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow CaseElim if the case binder is the next thing to be eval'd This makes CaseElim happen a bit more often. See Note [Case binder next] in Simplify. This came up when investigating Trac #7542.
10:43 PM Changeset in ghc [7a1480c]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow eta-reduction of eval'd functions if of arity 1 See Note [Eta reduction of an eval'd function] in CoreUtils. This doesn't fix Trac #7542, but that was the ticket that pointed out this infelicity.
10:39 PM Changeset in ghc [c94528a]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
10:00 PM Ticket #7616 (ghci loading package base linking crash) created by crabman
I've just installed GHC and tried to run ghci, and it crashed and asked to …
9:57 PM Ticket #7615 (LLVM enabled build fails on i386-solaris.) created by kgardas
Hello, while attempting to build LLVM-based build of GHC HEAD on …
8:37 PM Ticket #7614 (tc_hs_type: bang : The impossible happened) closed by simonpj
duplicate: Thanks. It's a dup of #7210. Happily HEAD says […] I think this is …
8:08 PM Ticket #7571 (LLVM codegen does not handle integer literals in branch conditionals.) closed by dterei
fixed
8:08 PM Ticket #7590 (LLVM backend bootstrap support) closed by dterei
fixed
8:03 PM Ticket #7614 (tc_hs_type: bang : The impossible happened) created by erikd
A simple data structure with bang patterns like the following: […] …
7:57 PM Changeset in ghc [14c01e0]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Ensure the LLVM codegen correctly handles literals in a branch. #7571 We need to be sure that when generating code for literals, we properly narrow the type of the literal to i1. See Note [Literals and branch conditions] in the LlvmCodeGen.CodeGen module. This occurs rarely as the optimizer will remove conditional branches with literals, however we can get this situation occurring with hand written Cmm code. This fixes Trac #7571. Signed-off-by: David Terei <davidterei@gmail.com>
7:55 PM Changeset in ghc [f999a39b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Test for Trac #7571. Signed-off-by: David Terei <davidterei@gmail.com>
7:55 PM Changeset in testsuite [a97083a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Test for Trac #7571. Signed-off-by: David Terei <davidterei@gmail.com>
7:33 PM Ticket #2127 (Bad error message for FFI declaration with no -fffi flag) closed by monoidal
wontfix: It is true that the error is really unhelpful, but now FFI is on by …
7:32 PM BugSweep edited by morabbin
(diff)
7:28 PM BugSweep edited by morabbin
(diff)
7:02 PM Changeset in ghc [e672241]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add another test for #1133
7:02 PM Changeset in testsuite [39af698]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add another test for #1133
7:02 PM Ticket #1133 (auto-derivation of Enum is disallowed with recursive imports) closed by igloo
fixed: Yes, looks good, thanks. I added a couple of tests.
6:58 PM Changeset in ghc [27b0f0ba]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #1133
6:58 PM Changeset in testsuite [0eab86e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #1133
6:39 PM Ticket #7207 (linker fails to load package with binding to foreign library (win64)) closed by bos
duplicate: Dup of #7134.
6:26 PM Ticket #7357 (GHC.exe gives an internal error while linking vector's Monadic.hs) closed by bos
duplicate: This is a dup of #7134.
5:34 PM Changeset in ghc [65e41952]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use pprTypeForUser when printing kinds in ghci
5:27 PM Ticket #1221 (Types don't match expressions in type error) closed by simonpj
wontfix
5:24 PM Ticket #1050 (Using an inferred type as a type signature fails) closed by simonpj
fixed: GHC always checks each type signature for ambiguity; if that faile, it …
5:13 PM Ticket #1520 (Use Linux's signalfd() instead of pipe() to deliver signals to the IO ...) closed by simonmar
wontfix: No, the new IO manager does it the same way as the old one. We did …
5:01 PM Changeset in ghc [5469388]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
5:01 PM Changeset in ghc [2cc42db]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When printing types in the interactive UI, take account of free variables Often the types we print are full-generalised, but in fact *kinds* are not, so we need to use tidyOpenType. Fixes Trac #7587
4:57 PM Changeset in ghc [2ec39c76]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Exploit the invariant for AxInstCo to simplify coercionKind
4:57 PM Changeset in ghc [5d99d6a]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
4:56 PM Changeset in ghc [927ca60]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update mailing lists in the users guide
4:47 PM Ticket #1102 (Lambda unicode character lex) closed by igloo
wontfix: I think we've decided to leave lambda as a letter, and any alternative …
4:46 PM Ticket #1245 (Turn tuples into syntactic sugar for heterogeneous lists) closed by simonmar
wontfix: I don't think this ticket is serving a useful purpose, if people are …
4:36 PM Ticket #1341 (allow loading partially correct modules) closed by simonmar
duplicate: Subsumed by #5791
4:19 PM BugSweep edited by morabbin
(diff)
4:13 PM BugSweep edited by morabbin
(diff)
4:11 PM Ticket #1230 (write a safety wrapper around readline) closed by simonmar
wontfix
4:13 AM BugSweep edited by morabbin
(diff)
3:21 AM BugSweep edited by morabbin
(diff)
12:01 AM BugSweep edited by morabbin
(diff)

Jan 21, 2013:

11:53 PM BugSweep edited by morabbin
(diff)
11:51 PM BugSweep edited by morabbin
(diff)
11:41 PM BugSweep edited by morabbin
(diff)
11:00 PM BugSweep edited by morabbin
(diff)
10:05 PM BugSweep edited by morabbin
(diff)
9:16 PM DeferErrorsToRuntime edited by guest
Fix broken link (diff)
6:24 PM BugSweep edited by morabbin
(diff)
5:42 PM Ticket #2695 (bogus "syntactically distinct contexts" error) closed by monoidal
fixed: As of GHC 7.6, the code compiles fine. -XRelaxedPolyRec is the default and …
5:36 PM Ticket #2284 (Stack-hack optimization causes much re-computation in GUI callbacks) closed by simonmar
duplicate
5:25 PM Ticket #1105 (Custom Runtimes) closed by simonmar
wontfix: Let's close - too vague, too old.
5:17 PM Ticket #1167 (mangler makes global symbol disappear on linux-ppc) closed by simonmar
wontfix: The mangler is dead.
5:00 PM BugSweep edited by morabbin
(diff)
4:45 PM BugSweep edited by morabbin
(diff)
4:40 PM BugSweep edited by morabbin
(diff)
1:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:49 PM Ticket #7612 (Automatically start the haskell runtime in DllMain on windows -shared) closed by simonmar
wontfix: You're looking at a very old version of the docs, the latest is here: …
10:35 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:32 AM Ticket #956 (improving error messages #1) closed by simonpj
fixed
10:27 AM Changeset in ghc [8d01b100]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only (about trimming the type environment)
9:58 AM Changeset in ghc [0edc78a0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add missing paren
9:58 AM Changeset in testsuite [ea58ea5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add missing paren
9:40 AM Ticket #7613 (readSigned consumes too much input) created by liyang
[…] I would have expected [(0, ".1")]. The Report specifies that …
8:35 AM Ticket #7612 (Automatically start the haskell runtime in DllMain on windows -shared) created by schyler
On Windows DllMain? is called when a dll is loaded into a process via …
8:30 AM Ticket #7611 (Rewrite rules application prevented by type variable application (map id ...) created by nomeata
I’m moving the discussion from …
6:30 AM Ticket #964 (Cross Compile and Universal Binary) closed by simonmar
duplicate
6:12 AM Ticket #835 (Expose less type/class info in an interface file, to reduce recompilation) closed by simonmar
wontfix: In fact, we fixed this, and then unfixed it again recently: …
3:18 AM BugSweep edited by morabbin
(diff)
1:29 AM BugSweep edited by morabbin
(diff)
12:55 AM Ticket #999 (Misattributed parse error in do block) closed by morabbin
fixed: Fixed in 7.6.1: […]
12:42 AM BugSweep edited by morabbin
(diff)
12:42 AM Ticket #916 (windows installer should play nice with other Haskell tools) closed by morabbin
fixed: Remaining issues seem to have gotten their own tickets, as per igloo's …
12:28 AM BugSweep edited by morabbin
(diff)
12:26 AM Ticket #910 (--make should have a -j flag for parallel building) closed by morabbin
wontfix: Cabal install now has -j flag, so closing this as wontfix.
12:23 AM BugSweep edited by morabbin
(diff)
12:22 AM Ticket #886 (Profiling doesn't work with SMP execution) closed by morabbin
invalid: Closing as invalid, given this text from …
12:13 AM BugSweep edited by morabbin
(diff)
12:12 AM Ticket #876 (Length is not a good consumer) closed by morabbin
invalid: Would have been covered by #915, which is marked closed as invalid; doing …

Jan 20, 2013:

11:38 PM BugSweep edited by morabbin
(diff)
11:25 PM BugSweep edited by morabbin
(diff)
11:17 PM BugSweep edited by morabbin
(diff)
11:17 PM Ticket #733 (Problem compiling .lhs files with lines that begin with #) closed by morabbin
duplicate: Closing; superseded by #4836.
11:08 PM BugSweep edited by morabbin
(diff)
11:08 PM Ticket #731 (GHCi doesn't work on powerpc64) closed by morabbin
wontfix: Irrelevant; milestone long past.
11:05 PM BugSweep edited by morabbin
(diff)
1:16 PM Building/CrossCompiling edited by simonmar
(diff)
1:12 PM Building/CrossCompiling edited by simonmar
(diff)
1:11 PM Building/CrossCompiling edited by simonmar
mention integer-simple (diff)
7:25 AM Ticket #7610 (Cross compilation support for LLVM backend) created by dterei
Top level bug to track supporting cross compilation in LLVM backend. …

Jan 19, 2013:

12:26 PM Ticket #2900 (Confusing error message for monadic function with wrong number of ...) closed by monoidal
fixed: GHC 7.6 gives […]
10:09 AM Ticket #1702 (type operator precedences don't work in contexts) closed by monoidal
fixed: The code works fine in 7.6, with a minor change (type operators now do not …
10:01 AM Ticket #7609 (Backticks in an an error message) created by monoidal
[…] gives an error message: […] which should be a `X` a. …
4:21 AM NewtypeWrappers edited by shelarcy
fix typo (diff)
3:58 AM Ticket #7608 (LLVM only handles a hard-coded list of triples.) created by singpolyma
LLVM simply has a hard-coded list of triples for supported platforms in …
1:22 AM Changeset in ghc [fb93d791]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Up supported LLVM version to 3.3. Actual support is in progress but we will accept bugs against these version. LLVM 3.2 seems in good shape at this point anyway.
1:02 AM Ticket #7607 (getSymtabName:unknown known-key unique) created by sheblar
On a freshly updated install of Archlinux x86_64, I ran makepkg -s on the …

Jan 18, 2013:

10:06 PM BugSweep edited by morabbin
Reviewed #693; recently added to milestone 7.8.1, so looks to be in good … (diff)
6:38 PM Ticket #7605 (HscStats.lhs is not used in the build process) closed by igloo
fixed: Thanks for the report; .lhs removed.
6:27 PM Changeset in ghc [78fae51]cardinality by Ilya Sergey <ilya.sergey@…>
Unsafe version of the analysis is retored.
6:17 PM Changeset in ghc [2c12b912]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
5:30 PM Changeset in ghc [2120d4e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7594
5:30 PM Changeset in testsuite [311f560]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7594
5:23 PM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
5:16 PM Changeset in ghc [858888e]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused HscStats.lhs; fixes #7605
5:07 PM Changeset in ghc [ea53d9c2]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document overlapping instances more clearly
4:43 PM Changeset in base [169eb37]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
num010(ghci) is broken on OS X 32 (#7043)
4:43 PM Changeset in ghc [c0d723ec]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
num010(ghci) is broken on OS X 32 (#7043)
4:42 PM Changeset in directory [24d1444]ghc-7.8 by Ian Lynagh <ian@…>
T4113 is broken in OS X (#7604)
4:38 PM Changeset in ghc [f600845c]cardinality by Ilya Sergey <ilya.sergey@…>
STG flag assignment modified basing on the cardinality analysis results
4:15 PM Building/CrossCompiling edited by simonmar
(diff)
4:02 PM Building/CrossCompiling edited by simonmar
(diff)
2:49 PM Changeset in ghc [611105b7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Output wibble
2:49 PM Changeset in testsuite [0e5e3b9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Output wibble
2:34 PM Ticket #4258 (Finish new codegen) closed by simonmar
fixed: The new codegen has been the default for a while now. Closing this to …
2:34 PM Ticket #7192 (Bug in -fregs-graph with -fnew-codegen) closed by simonmar
fixed: We think this is fixed after the patch above.
2:31 PM Changeset in ghc [04abb49]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2:31 PM Changeset in ghc [e39539d]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add missing case in eqHsBang; makes rnfail055 pass again
1:21 PM Changeset in ghc [c02348fa]cardinality by Ilya Sergey <ilya.sergey@…>
wrong call demand splitting fixed
12:13 PM Changeset in ghc [9201a885]cardinality by Ilya Sergey <ilya.sergey@…>
Merge branch 'master' into cardinality
12:11 PM Changeset in ghc [39a868c]cardinality by Ilya Sergey <ilya.sergey@…>
Merge branch 'master' into cardinality Conflicts: compiler/basicTypes/Demand.lhs compiler/basicTypes/Id.lhs compiler/basicTypes/IdInfo.lhs compiler/basicTypes/MkId.lhs compiler/coreSyn/CoreArity.lhs compiler/coreSyn/CorePrep.lhs compiler/coreSyn/PprCore.lhs compiler/iface/MkIface.lhs compiler/iface/TcIface.lhs compiler/main/DynFlags.hs compiler/prelude/primops.txt.pp compiler/simplCore/SimplCore.lhs compiler/specialise/SpecConstr.lhs compiler/stranal/DmdAnal.lhs compiler/stranal/WorkWrap.lhs compiler/stranal/WwLib.lhs
10:10 AM Ticket #7606 (Stride scheduling for Haskell threads with priorities) created by ezyang
Currently, GHC uses a round-robin scheduler for Haskell threads, with some …
9:54 AM Ticket #7605 (HscStats.lhs is not used in the build process) created by jstolarek
The file [[GhcFile(...)]] is not used in the build …
9:46 AM Changeset in ghc [f61fbf39]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Restore the primitive and vector submodules I accidentally deleted them in 109a1e53287f50103e8a5b592275940b6e3dbb53
9:22 AM Building edited by simonmar
(diff)
9:21 AM Building/CrossCompiling edited by simonmar
(diff)
9:20 AM Building/CrossCompiling edited by simonmar
(diff)
9:17 AM CrossCompilation edited by simonmar
(diff)
9:08 AM Building/CrossCompiling edited by simonmar
(diff)
9:06 AM Building/CrossCompiling edited by simonmar
(diff)
9:01 AM Building/CrossCompiling edited by simonmar
(diff)
8:58 AM Building/CrossCompiling edited by simonmar
(diff)
8:56 AM Building/CrossCompiling created by simonmar
1:31 AM Changeset in directory [e14d113]ghc-7.6 by Ian Lynagh <ian@…>
T4113 is broken in OS X (#7604)
1:30 AM Ticket #7604 (System.Directory.canonicalizePath "" behaviour differs between platforms) created by igloo
On Linux, System.Directory.canonicalizePath "" gives an exception. On …
1:05 AM Changeset in base [ff6c868]ghc-7.6 by Ian Lynagh <ian@…>
num010(ghci) is broken on OS X 32 (#7043)
12:45 AM Ticket #7603 (Bad magic in static (FFI) object (7.6.1 for x86_64-apple-darwin)) closed by morabbin
invalid: Not a GHC bug; closing as invalid.
12:25 AM Ticket #7603 (Bad magic in static (FFI) object (7.6.1 for x86_64-apple-darwin)) created by morabbin
When spraying HOC (Haskell to Objective-C) …

Jan 17, 2013:

11:39 PM Changeset in ghc [b14ddb2f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Expose genericRaise; fixes signals004(dyn) no OS X 32
11:22 PM Changeset in ghc [0dc9f1c]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:55 PM Changeset in ghc [571ecdd]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
If -msse is specified, pass it to the LLVM backend
9:54 PM Changeset in ghc [56d0328]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Expose genericRaise; fixes signals004(dyn) no OS X 32
9:43 PM Changeset in unix [cd2a071]ghc-7.6 by Ian Lynagh <ian@…>
Fix signals004 on OS X 32
9:10 PM Changeset in ghc [b7189de]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Clean up -msse flag handling We know have a single flag that takes a version number, instead of one flag per SSE version.
8:30 PM Changeset in ghc [0dcccf0]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Hopefully fix breakage on OS X w/ LLVM Reordering of includes in GC.c broke on OS X because gctKey is declared in Task.h and is needed in the storage manager. This is really the wrong place for it anyway, so I've moved the gctKey pieces to where they should be.
7:29 PM Changeset in testsuite [460ecad]ghc-7.6 by Ian Lynagh <ian@…>
Fix the safeHaskell tests
7:26 PM Changeset in ghc [80263822]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Use pthread_kill on OS X too Fixes signals004(threaded1,threaded2) on OS X 32.
7:25 PM Changeset in unix [ef1604f]ghc-7.6 by Ian Lynagh <ian@…>
Use pthread_kill on OS X too Fixes signals004(threaded1,threaded2) on OS X 32.
7:25 PM Changeset in unix [4eb45c8]ghc-7.6 by Ian Lynagh <ian@…>
Fix some parentheses I assume that this is what was intended.
7:23 PM Changeset in ghc [3f90064]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use pthread_kill on OS X too Fixes signals004(threaded1,threaded2) on OS X 32.
7:21 PM Changeset in unix [4b07317]ghc-7.8 by Ian Lynagh <ian@…>
Use pthread_kill on OS X too Fixes signals004(threaded1,threaded2) on OS X 32.
7:14 PM Changeset in unix [0b0915a]ghc-7.8 by Ian Lynagh <ian@…>
Fix some parentheses I assume that this is what was intended.
5:25 PM Changeset in ghc [9c1edfa8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Expose the prototype for getMonotonicNSec Fixes T3807 on OS X 32.
5:10 PM Changeset in ghc [b4e86fa8]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Minor impovement to when we float a let out of a right-hand side: Note [Float when cheap or expandable] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We want to float a let from a let if the residual RHS is a) cheap, such as (\x. blah) b) expandable, such as (f b) if f is CONLIKE But there are - cheap things that are not expandable (eg \x. expensive) - expandable things that are not cheap (eg (f b) where b is CONLIKE) so we must take the 'or' of the two.
5:05 PM Ticket #7602 (Threaded RTS performing badly on recent OS X (10.8?)) created by simonmar
This ticket is to remind us about the following problem: OS X is now using …
4:24 PM Ticket #7599 (timeout does not behave as expected) closed by simonmar
duplicate: threadDelay isn't working properly in GHCi in 7.6.1 on OS X (#7299), I …
4:01 PM Ticket #7601 (Internal error with kind annotation on associated type family) created by dreixel
The following module: […] Makes GHC raise an internal error: […]
3:33 PM Changeset in ghc [fd3fd18]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Expose the prototype for getMonotonicNSec Fixes T3807 on OS X 32.
3:09 PM Changeset in ghc [cb22ebd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
arith005(ghci) is broken on OS X x86 (#7043)
3:09 PM Changeset in testsuite [98fee92]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
arith005(ghci) is broken on OS X x86 (#7043)
2:22 PM Changeset in testsuite [85f9f58]ghc-7.6 by Ian Lynagh <ian@…>
arith005(ghci) is broken on OS X x86 (#7043)
1:57 PM Changeset in ghc [81f4cd3e]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:52 PM Changeset in ghc [65446926]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Adjust performance bounds slightly
1:52 PM Changeset in testsuite [52234dfe]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adjust performance bounds slightly
1:51 PM Changeset in ghc [e34b2bf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Adjust debug output for different syntax of strictness annotations
1:51 PM Changeset in testsuite [c85582d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adjust debug output for different syntax of strictness annotations
1:51 PM Changeset in ghc [d3bfd67]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix simplrun010 test Compiler now (correctly) does not eta reduce an infinite loop, so I had to adjust the test a bit.
1:51 PM Changeset in testsuite [f937604]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix simplrun010 test Compiler now (correctly) does not eta reduce an infinite loop, so I had to adjust the test a bit.
12:39 PM Changeset in ghc [109a1e5]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Tidy up cross-compiling We have two cases: 1. building a cross-compiler 2. compiling GHC to run on a foreign platform These two are done with almost the same setup: (1) is the stage 1 compiler, and (2) is the stage 2 compiler, when CrossCompiling=YES. The only difference between (1) and (2) is that you if you set up the build for (1), then it stops before stage 2 and you can 'make install' to install stage 1. Unfortunately, (2) didn't work, and the build system code needed some tidying up. Change to the way the build is set up: Before ------ To build a cross-compiler: ./configure --target=<..> To compile a foreign GHC: ./configure --host=<..> --target=<..> Now --- To build a cross-compiler: ./configure --target=<..> And set "Stage1Only=YES" in mk/build.mk To compile a foreign GHC: ./configure --target=<..>
10:55 AM Changeset in ghc [057384f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:55 AM Changeset in ghc [91b44bc5]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A simple improvement to CSE See Note [CSE for case expressions]. I don't think this is a big deal, but it's nice, and it's easy.
10:54 AM Changeset in ghc [0831a12]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Major patch to implement the new Demand Analyser This patch is the result of Ilya Sergey's internship at MSR. It constitutes a thorough overhaul and simplification of the demand analyser. It makes a solid foundation on which we can now build. Main changes are * Instead of having one combined type for Demand, a Demand is now a pair (JointDmd) of - a StrDmd and - an AbsDmd. This allows strictness and absence to be though about quite orthogonally, and greatly reduces brain melt-down. * Similarly in the DmdResult type, it's a pair of - a PureResult (indicating only divergence/non-divergence) - a CPRResult (which deals only with the CPR property * In IdInfo, the strictnessInfo field contains a StrictSig, not a Maybe StrictSig demandInfo field contains a Demand, not a Maybe Demand We don't need Nothing (to indicate no strictness/demand info) any more; topSig/topDmd will do. * Remove "boxity" analysis entirely. This was an attempt to avoid "reboxing", but it added complexity, is extremely ad-hoc, and makes very little difference in practice. * Remove the "unboxing strategy" computation. This was an an attempt to ensure that a worker didn't get zillions of arguments by unboxing big tuples. But in fact removing it DRAMATICALLY reduces allocation in an inner loop of the I/O library (where the threshold argument-count had been set just too low). It's exceptional to have a zillion arguments and I don't think it's worth the complexity, especially since it turned out to have a serious performance hit. * Remove quite a bit of ad-hoc cruft * Move worthSplittingFun, worthSplittingThunk from WorkWrap to Demand. This allows JointDmd to be fully abstract, examined only inside Demand. Everything else really follows from these changes. All of this is really just refactoring, so we don't expect big performance changes, but acutally the numbers look quite good. Here is a full nofib run with some highlights identified: Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- expert -2.6% -15.5% 0.00 0.00 +0.0% fluid -2.4% -7.1% 0.01 0.01 +0.0% gg -2.5% -28.9% 0.02 0.02 -33.3% integrate -2.6% +3.2% +2.6% +2.6% +0.0% mandel2 -2.6% +4.2% 0.01 0.01 +0.0% nucleic2 -2.0% -16.3% 0.11 0.11 +0.0% para -2.6% -20.0% -11.8% -11.7% +0.0% parser -2.5% -17.9% 0.05 0.05 +0.0% prolog -2.6% -13.0% 0.00 0.00 +0.0% puzzle -2.6% +2.2% +0.8% +0.8% +0.0% sorting -2.6% -35.9% 0.00 0.00 +0.0% treejoin -2.6% -52.2% -9.8% -9.9% +0.0% -------------------------------------------------------------------------------- Min -2.7% -52.2% -11.8% -11.7% -33.3% Max -1.8% +4.2% +10.5% +10.5% +7.7% Geometric Mean -2.5% -2.8% -0.4% -0.5% -0.4% Things to note * Binary sizes are smaller. I don't know why, but it's good. * Allocation is sometiemes a *lot* smaller. I believe that all the big numbers (I checked treejoin, gg, sorting) arise from one place, namely a function GHC.IO.Encoding.UTF8.utf8_decode, which is strict in two Buffers both of which have several arugments. Not w/w'ing both arguments (which is what we did before) has a big effect. So the big win in actually somewhat accidental, gained by removing the "unboxing strategy" code. * A couple of benchmarks allocate slightly more. This turns out to be due to reboxing (integrate). But the biggest increase is mandel2, and *that* turned out also to be a somewhat accidental loss of CSE, and pointed the way to doing better CSE: see Trac #7596. * Runtimes are never very reliable, but seem to improve very slightly. All in all, a good piece of work. Thank you Ilya!
10:29 AM Commentary/Compiler/Demand edited by simonpj
(diff)
10:04 AM Changeset in ghc [520dc1d2]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Rearrange includes to avoid a clash on ARM/Linux
10:04 AM Changeset in ghc [900e7d2]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
make it safe to include this after GCTDecl.h
9:17 AM Changeset in ghc [94a1cf19]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
update gitignore
9:17 AM Changeset in testsuite [826c4f6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
update gitignore
9:17 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:09 AM Commentary/MigratingOldCommentary edited by jstolarek
(diff)
8:40 AM Ticket #7600 (cgrun044 failing with LLVM backend) closed by dterei
fixed
8:40 AM Changeset in ghc [18fd170]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Test for #7600.
8:40 AM Changeset in testsuite [5aae346]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Test for #7600.
8:32 AM Changeset in ghc [aef38d1]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Output LLVM version in use at -V2.
8:30 AM Changeset in ghc [25f8d040]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix floating point constants in LLVM backend (#7600).
6:05 AM Ticket #7573 (Testsuite should easily be able to compile .cmm files.) closed by thoughtpolice
fixed: Closed by […] I also updated the wiki page about adding tests: …
6:02 AM Changeset in ghc [d2366457]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <mad.one@…>
Add better support for .cmm test files. Fixes Trac #7573. Signed-off-by: Austin Seipp <mad.one@gmail.com>
6:02 AM Changeset in testsuite [8dbd01a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <mad.one@…>
Add better support for .cmm test files. Fixes Trac #7573. Signed-off-by: Austin Seipp <mad.one@gmail.com>
5:50 AM Ticket #7579 (Command line option to suppress LLVM version warning) closed by thoughtpolice
fixed
5:50 AM Ticket #7572 (mk/build.mk does not let you build 'quick-llvm' style) closed by thoughtpolice
fixed
5:47 AM Changeset in ghc [5cca0b4]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <mad.one@…>
Add -f[no-]warn-unsupported-llvm-version. Closes Trac #7579. This controls whether or not the compiler warns if we're using an LLVM version that's too old or too new. It's mostly useful when building the compiler knowingly with an unsupported version, so you don't get a lot of warnings in the build process. There's no documentation for this since it's a flag only a few developers would care about anyway. Signed-off-by: Austin Seipp <mad.one@gmail.com>
5:44 AM Changeset in ghc [b05531b]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <mad.one@…>
Add a 'quick-llvm' build mode to mk/build.mk. Closes Trac #7572. Signed-off-by: Austin Seipp <mad.one@gmail.com>
4:06 AM Ticket #7600 (cgrun044 failing with LLVM backend) created by dterei
test case cgrun044 fails currently with the LLVM backend. I believe this …
1:33 AM Changeset in testsuite [7467ed9]ghc-7.6 by Ian Lynagh <ian@…>
Add a test for #7299
1:33 AM Changeset in base [f1a7ffe]ghc-7.6 by Ian Lynagh <ian@…>
Use the RTS getMonotonicTime to implement getMonotonicNSec; fixes #7299 I'm not entirely sure where the segfault was coming from, but it was almost certainly related to there being 2 copies of the base package around, and the interpreted one not having its timer code initialised.
Note: See TracTimeline for information about the timeline view.