Timeline


and

May 4, 2013:

10:19 PM Changeset in ghc [c041b62]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Reorganize mk/build.mk.sample a little. People are probably more likely to notice some useful variables if they're located closer to the top (like V=0 and stage=2.) Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:07 PM Changeset in ghc [71aaa3f2]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Fix/update SayAnnNames plugin example code.
6:36 PM Changeset in ghc [2374b6f2]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Extending the safe-foreign call fix (previous commit) to ThreadSwitch. During a thread switch, if the source thread had been marked to release the scheduler, this flag is inherited by the target thread (thread being switched to). scheduleHandleThreadSwitch takes care of releasing the scheduler.
4:43 PM Ticket #7887 (panic when playing with pipes) created by bfr
I am playing around with pipes-3.2.0 using ghc-6.7.3. I load this code in …
12:30 PM Ticket #7886 (data command does not work on WinGHCi) closed by monoidal
duplicate: This is caused by "deriving (show)" which should be "deriving (Show)". …
12:27 PM Ticket #7886 (data command does not work on WinGHCi) created by guest
An error is obtained when defining a new data type in WinGHCi with the …
3:26 AM Changeset in ghc [b18199d]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Fixes for safe-foreign calls. tso->release_ULS added to indicate that the thread resuming after a safe-foreign function all that its user-level scheduler has been already resumed. Hence, the next time this thread enters the scheduler loop, it gives up its scheduler.

May 3, 2013:

7:04 PM Changeset in ghc [a9f00a6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Adjust tests to match -funbox-small-strict-fields change One adjustment is to the core output of some tests (false positive). The other adjustment is due to higher allocation when (now) unboxed values are put into a polymorphic data structure. This is a problem with polymorphic data structures in general (e.g. it happens in Java too) and not about having unboxed fields per say.
7:04 PM Changeset in testsuite [83eedab]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Adjust tests to match -funbox-small-strict-fields change One adjustment is to the core output of some tests (false positive). The other adjustment is due to higher allocation when (now) unboxed values are put into a polymorphic data structure. This is a problem with polymorphic data structures in general (e.g. it happens in Java too) and not about having unboxed fields per say.
4:25 PM Ticket #7885 (LLVM build broken) created by gmainland
The LLVM build has been broken for a number of weeks. Unfortunately this …
11:02 AM Ticket #7865 (SpecConstr duplicating computations) closed by simonpj
fixed
11:00 AM Changeset in ghc [ed54858]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not duplicate work in SpecConstr (fix Trac #7865) This is a bad bug, if a rare one. See Note [Work-free values only in environment]. Thanks to Amos Robinson for finding it.
10:43 AM Changeset in ghc [2718c2b]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 #7865
10:43 AM Changeset in testsuite [b6454e2a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7865
9:46 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:32 AM Status/May13 edited by simonpj
(diff)
9:06 AM Changeset in ghc [bee30a6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message for existential newtypes
9:05 AM Changeset in ghc [69b9352]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@…>
Wibble to error message
9:05 AM Changeset in testsuite [7debb30]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
8:30 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:02 AM Ticket #7884 (Cannot build hedgewars with new haskell 7.6) created by LocutusOfBorg
Hi All, I post here since this bug *CAN* be a regression between haskell …
7:05 AM Ticket #7875 (Unhelpful IncoherentInstances suggestion with FunctionalDependencies) closed by simonpj
fixed: Excellent point. Thanks for telling me about this. It really was an …
7:04 AM Changeset in ghc [8c561fc3]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 #7875
7:04 AM Changeset in testsuite [0f286ce]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7875
7:00 AM Ticket #7873 (A poly-kinded newtype existential crisis) closed by simonpj
fixed: This commit fixes the bugs I mention above […] while this improves the …
6:50 AM Ticket #7872 (:info does not display "forall" for a synonym) closed by simonpj
fixed: Thanks for poinrting this, now fixed.
6:44 AM Changeset in ghc [7a7530a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix kind quantification (again) We simply weren't quantifying kind variables at the points we were claiming. In paritcular, in forall (a:k). blah we quantify the 'k' around the 'forall a', provided k isn't already in scope
6:44 AM Changeset in ghc [d31dd88d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
In doTopReactDict, try lookup even if fundeps work Previously we looked for fundeps, and if any fired we didn't try to solve the constraint. But that's wrong (see Note [Weird fundeps]). Now I solve first and only if that fails try fundeps. Code is neater too. Fixes Trac #7875
6:44 AM Changeset in ghc [3722f034]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve documentation of kind polymorphism
6:44 AM Changeset in ghc [f3472f55]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make isPredTy not use typeKind The pretty-printer uses isPredTy to decide whether to use "=>" or "->", and typeKind crashes on ill-kinded types. But it's really unhelpful for the pretty-printer to crash on an ill-kinded type, because then you can't see it!
6:44 AM Changeset in ghc [db07129]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eliminate (given) flatten-skolems in favour of user type variables See Note [Eliminate flat-skols]. IT wasn't exactly wrong before the the error messages are deeply strange.
6:44 AM Changeset in ghc [9e390fd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Don't suppress foralls in the RHS of a type synonym definition! Fixes Trac #7872

May 2, 2013:

9:27 PM Status/May13 edited by simonpj
(diff)
8:38 PM Ticket #7883 (enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?) created by carter
LLVM provides a number of atomicity / memory ordering primitives. …
8:22 PM Ticket #7882 (#line with empty filename leads to crash) closed by parcs
duplicate: Thanks. This has been fixed in HEAD: #7118
8:08 PM Ticket #7882 (#line with empty filename leads to crash) created by Spivey
It's trivial, but a directive #line 3 "" leads to a GHC crash with …
5:31 PM Ticket #7881 (Warning for pointless ranges like [5..2]) created by mpe
Haskell beginners sometimes tend to write ranges like [3..1] or [5..2] and …
5:04 PM Changeset in ghc [b663dd2]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 #7873
5:04 PM Changeset in testsuite [a087cad]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7873
4:52 PM Status/May13 edited by simonpj
(diff)
4:52 PM Status/May13 edited by simonpj
(diff)
4:51 PM Status/May13 edited by simonpj
(diff)
4:49 PM Status/May13 edited by simonpj
(diff)
4:45 PM Status/May13 edited by simonpj
(diff)
4:44 PM Status/May13 edited by simonpj
(diff)
4:44 PM Status/May13 edited by simonpj
(diff)
4:21 PM Ticket #7880 (Require "forall" in definitions of polymorphic types) created by monoidal
With rank-n-types, we can write […] but […] gives an error. I …
4:20 PM TestingPatches edited by igloo
(diff)
4:19 PM TestingPatches edited by igloo
(diff)
4:16 PM TestingPatches edited by igloo
(diff)
4:05 PM Changeset in ghc [7a0919e]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 #7872
4:05 PM Changeset in testsuite [204ea13]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7872
3:27 PM Changeset in ghc [11a85cc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
extended ticky to also track "let"s that are not conventional closures This includes selector, ap, and constructor thunks. They are still guarded by the -ticky-dyn-thk flag. (This is 024df664b600a with a small bug fix.)
3:23 PM Status/May13 edited by AndreasVoellmy
(diff)
3:18 PM Status/May13 edited by AndreasVoellmy
(diff)
2:43 PM Ticket #7879 (validate in build tree fails due to problem copying haddock resources to ...) created by AndreasVoellmy
I setup my build tree using the instructions here …
1:12 PM Ticket #7861 (deferred type error with rankNTypes) closed by simonpj
wontfix: OK, since this works in HEAD and 7.6.3 is out, I think I'll close this as …
1:11 PM Changeset in ghc [70f883e]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 #7861
1:11 PM Changeset in testsuite [e9aa8a7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7861
3:01 AM Ticket #7878 (Panic when using DerivingGeneric with hs-boot) created by ryant5000
When a module that uses DerivingGeneric has an hs-boot file, a panic …

May 1, 2013:

11:52 PM Changeset in ghc [0a6c2b9]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Minor edit to get the errno right in resumeThread if the user-level scheduler associated with the thread blocked on the foreign call had already been resumed.
8:13 PM Ticket #7877 (hSetBuffering002(ghci) and hSetBuffering004(ghci) fail on OS X) created by nfrisby
[…] For 002, there's a stderror message: `<stdin>: hGetLine: illegal …
6:57 PM Ticket #7876 (hClose002 for ghci hangs on Mac OS X) created by nfrisby
I'm on OS X 10.7.5 […] hClose002 fails with these three ways: […] …
12:38 PM Status/May13 edited by xnyhps
(diff)
12:22 PM Status/May13 edited by gmainland
(diff)
12:19 PM Status/May13 edited by gmainland
(diff)
11:38 AM Ticket #7875 (Unhelpful IncoherentInstances suggestion with FunctionalDependencies) created by dreixel
Consider the following program (simplified from http://hpaste.org/86928): …
5:47 AM Commentary/Compiler/NewCodeGen edited by carter
fixed link to the kryzysztof paper (diff)
2:24 AM Status/May13 edited by benl
typo (diff)
2:20 AM Status/May13 edited by benl
Added part about DPH vectorisation avoidance / array fusion (diff)
2:06 AM Status/May13 edited by benl
(diff)
12:37 AM Status/May13 edited by diatchki
(diff)

Apr 30, 2013:

8:19 PM Changeset in ghc [4dbe94d9]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added missing file -- sieve-vanilla-TMVar
7:26 PM Changeset in ghc [b5372ebb]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Merging master
7:04 PM Ticket #7874 (segfault 11 on mac os x when building compiler for ghc 7.7.20130430) created by carter
I'm trying to build ghc head from the repo head as of today, and i'm …
7:02 PM Ticket #7873 (A poly-kinded newtype existential crisis) created by ekmett
The following code worked on older GHCs and on other compilers clear back …
6:31 PM Ticket #7872 (:info does not display "forall" for a synonym) created by monoidal
Define: […] and in ghci we see: […] This is a minor issue, but …
3:46 PM Ticket #7868 (Enable -funbox-strict-small-fields by default) closed by tibbe
fixed: Fixed in ade1ae97ed52c493ec415c1601dace39b64071dd.
3:10 PM Changeset in ghc [ade1ae9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Enable -funbox-small-strict-fields by default The flag shows no real impact on nofib benchmarks and GHC itself, which is expected given the small number of strict but not already unpacked fields in the source of these programs. However, the flag allows us to omit most of the UNPACK pragmas that are so common in source code today.
3:03 PM Status/May13 edited by simonpj
(diff)
2:10 PM Changeset in ghc [1f1f92c]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Chameneos vanilla TMVar added
2:04 PM Ticket #7869 (GHC complains about applying a function to one argument) closed by simonpj
fixed: Excellent point thank you. Simon
2:03 PM Changeset in ghc [1129cf0]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 #7869
2:03 PM Changeset in testsuite [743cab5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7869
1:38 PM Status/May13 edited by StephenBlackheath
(diff)
1:30 PM Status/May13 edited by StephenBlackheath
(diff)
1:29 PM Status/May13 edited by StephenBlackheath
(diff)
1:24 PM Status/May13 edited by StephenBlackheath
(diff)
1:20 PM Status/May13 edited by StephenBlackheath
(diff)
1:18 PM Status/May13 edited by StephenBlackheath
(diff)
1:16 PM Status/May13 edited by StephenBlackheath
(diff)
12:45 PM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
12:38 PM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
12:36 PM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
12:35 PM Status/May13 edited by StephenBlackheath
expand on Stephen Blackheath's cross compiling work (diff)
9:53 AM Commentary/Compiler edited by simonpj
(diff)
9:50 AM Commentary/Compiler edited by simonpj
(diff)
9:24 AM Ticket #7851 (Give better diagnostic when arguments are omitted to a function call in ...) closed by simonpj
fixed: Good point. I've improved it a bit, so it does indeed now complain about …
9:14 AM Ticket #7778 (kindFunResult panic with => inside a constraint) closed by simonpj
fixed: Thanks for the test case. It showed up a real infelicity. Simon
8:51 AM Changeset in ghc [b988dc3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Suppress a misleading error message (Trac #7869) We were saying The function `f' is applied to one argument, but its type `[a] -> b' has only one which is obviously bogus. This fix suppresses the explanation in cases where it may not be the *right* explanation.
8:51 AM Changeset in ghc [6d8d0dd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Exend the "Too few args" message for naked Ids (Trac #7851) Previously, for f :: [Bool] f = map not we'd get a helpful message Probable cause: ‛map’ is applied to too few arguments but not for f :: [Bool] f = map which seems a bit stupid.
8:51 AM Changeset in ghc [d75ca39]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix comment to placate Haddock
8:51 AM Changeset in ghc [d3149f6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tighten up on the kind checking for foralls In particular, (forall a. Num a => ...) always has kind *, becuase the "=>" really is a function. It turned out that this was at the bottom of the crash in Trac #7778, which is now fixed
12:07 AM Changeset in ghc [2fa44a8a]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Disabled migration of threads running a user-level scheduler, without which sieve program seems to deadlock while running on a high core count. Enabling debug messages seems to make the bug disapper (Grr..). The error most probably is in RtsMessaging subsystem. Needs a different/better testcase.

Apr 29, 2013:

11:42 PM Changeset in ghc [8a1b7eb6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build on OS X sed on OS X doesn't handle \+
8:26 PM Status/May13 edited by goldfire
(diff)
8:06 PM Ticket #7871 (7.6.3 failed to build with make -j12) created by nwf
This looks to be a missing dependency in the build system: […] …
6:01 PM Changeset in ghc [8dc2f20]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Disabled labelling upcall threads. The hashtable used for storing the meta-data appears not to be thread-safe. Setting tso->is_sleeping to false just before a thread runs in the Scheudler (under run_thread label in the main scheduler loop). This avoids errors associated with sleeping threads (see stg_sleepCapability for more info).
4:48 PM Changeset in ghc [f468754]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 #7856
4:48 PM Changeset in testsuite [8139121]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7856
4:43 PM Changeset in ghc [77dff34]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Fixed an error with sleepCapability. tso->is_sleeping variable is set to 0 if the thread does not actually block on the STM.
4:39 PM Changeset in ghc [b505805d]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 #7851
4:39 PM Changeset in testsuite [aee9b17]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7851
4:36 PM Changeset in ghc [1cbc06e]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 #7778
4:36 PM Changeset in testsuite [ae8959f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7778
4:34 PM Changeset in ghc [d5bd2d37]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@…>
Wibbles to error messages, following the fix for Trac #7851 In effect, the error context for naked variables now takes up a "slot" in the context stack; but it is often empty. So the context stack becomes one shorter in those cases. I don't think this matters; indeed, it's aguably an improvement. Anyway that's why so many tests are affected.
4:34 PM Changeset in testsuite [b37b638]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages, following the fix for Trac #7851 In effect, the error context for naked variables now takes up a "slot" in the context stack; but it is often empty. So the context stack becomes one shorter in those cases. I don't think this matters; indeed, it's aguably an improvement. Anyway that's why so many tests are affected.
1:59 PM Status/May13 edited by simonpj
(diff)
1:53 PM Status/May13 edited by simonpj
(diff)
12:22 PM Records/NameSpacing edited by simonpj
(diff)
12:20 PM Records/OverloadedRecordFields edited by simonpj
(diff)
12:18 PM Records/OverloadedRecordFields edited by simonpj
(diff)
12:14 AM Changeset in ghc [1e286ec]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Disabled resuming scheduler blocked on foreign call

Apr 28, 2013:

11:01 PM Ticket #7439 (Include dynamic-by-default support in Cabal with GHC 7.6.2) closed by igloo
invalid: We went a different route in the end; Cabal HEAD now has support for …
10:24 PM Ticket #7465 (./configure --with--ffi-libraries: ld cannot find libffi in a non-standard ...) closed by igloo
fixed: OK, variation on the second patch applied too (I've changed ghc-pkg to …
9:31 PM Changeset in ghc [50e78daf]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build
9:30 PM Ticket #7470 (Patch to enable GHC runtime system with thr_debug_p options...) closed by igloo
worksforme: You shouldn't need to link with -debug in order to use +RTS -xc. If …
9:04 PM Changeset in ghc [23f5080c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add -L flags to libs.depend (fixes #7465) Based on a patch from Peter Trommler
9:02 PM Changeset in ghc [4a55e819]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tidy up some build system code
8:59 PM Changeset in ghc [7a310c7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring in ghc-pkg
8:58 PM Changeset in ghc [0c3a9679]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update Cabal
8:57 PM Changeset in ghc [4d8ad58]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some old "backwards compatibility" code It was marked as "backwards compatibility" in 2006, so I think can be removed now. It allowed using old field names when looking at fields with ghc-pkg.
8:50 PM Changeset in ghc [49e6606b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make "ghc-pkg field pkg field --simple-output" do something useful It used to just ignore the --simple-output flag
4:46 PM Changeset in ghc [a9608cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Record libffi directory in rts package conf; trac #7465 Patch from Peter Trommler
4:12 PM Changeset in integer-gmp [2ec5614]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Fix build when gmp isn't installed
1:27 AM Changeset in ghc [04aa658]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
If a thread running as a part of the user-level scheduler happens to block on a foreign call, and also happens to be bound, then we no longer resume the scheduler of such threads since the IOManager seems to not like it. See suspendThread, resumeThread, and shouldResumeBlockedOnForeignCall in rts/Schedule.c. This is an unsatisfactory solution since a bound thread performing a blocking foreign call blocks the scheduler! FIX ME!

Apr 27, 2013:

11:49 PM Changeset in ghc [2cf5bd3d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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:46 PM Ticket #7819 (FreeBSD without system libffi: Shared object "libffi.so.6" not found) closed by pgj
fixed: Replying to igloo: > That'll be OK for 7.8. In 7.9 ghci won't …
11:15 PM Changeset in ghc [f6f1252e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 Windows
11:02 PM Changeset in base [b3387ab]data-proxyghc-7.8 by Ian Lynagh <igloo@…>
Fix build on Windows
9:17 PM Changeset in ghc [c7974998]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Pali <pali.gabor@…>
Fix linking with binutils 2.22 or later on FreeBSD 9.1, where one should explicitly link against any dependent library
9:15 PM Changeset in ghc [8ab3cc1b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Pali <pali.gabor@…>
Set DYNAMIC_GHC_PROGRAMS=NO for FreeBSD because $ORIGIN is not resolved properly (see #7819)
9:00 PM Changeset in process [1f4e1b0]ghc-7.8 by Ian Lynagh <ian@…>
Fix the build on Windows
8:05 PM Changeset in process [edad828b]ghc-7.8 by Ian Lynagh <ian@…>
Fix the build on Windows
8:00 PM Changeset in process [8e699cb]ghc-7.8 by Ian Lynagh <ian@…>
Tidy up some CPP
7:31 PM Changeset in process [04dfeed]ghc-7.8 by Ian Lynagh <ian@…>
Small code cleanup
4:18 PM Changeset in ghc [5cbeaedd]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removed local versions of TMVar
3:49 PM Ticket #7720 (iOS patch no 9: Linking) closed by igloo
fixed: OK, done. Let me know if you still have problems.
2:50 PM Changeset in process [0a0c107]ghc-7.8 by Ian Lynagh <ian@…>
Small cleanup of how we handle using fork vs vfork
2:31 PM Changeset in process [017fe3f]ghc-7.8 by Ian Lynagh <ian@…>
fromdos runProcess.h
12:11 PM Changeset in ghc [e5944d9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't use getPackageLinkOpts on iOS; fixes #7720. On iOS, binaries are really static libraries, so we don't want to use flags like -lm when linking them.
8:59 AM Ticket #7870 (Compilatio​n errors break the complexity encapsulat​ion on DSLs, impairs ...) created by agocorona
From the paper "Scripting the Type Inference Process" -Bastiaan Heeren …
2:22 AM Changeset in ghc [8c04ef5]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removing tabs from tabfree files
2:22 AM Changeset in ghc [17ae893]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removing tabs from tabfree files
1:57 AM Changeset in ghc [4ed742a7]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added PTM library
1:33 AM Ticket #7869 (GHC complains about applying a function to one argument) created by Mortchek
When this function is compiled: […] GHC gives this error message: …
1:22 AM Ticket #7813 (Fix mismatched visibility of StgRun) closed by igloo
fixed: Thanks, I've applied most of the patch. I don't think we should need to do …
1:18 AM Ticket #7823 (ARM Thumb relocation fails to handle sign of veneer jumps) closed by igloo
fixed: Thanks; I've applied the patch. However, note that in 7.8 this code won't …
12:47 AM Changeset in ghc [4480519]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Disabled flushStdHandles during shutdown. See RtsStartup.c. Added debugPrint to LwConc.Substrate. This is here only to help debug interactions with the IOManager which seems to throw Bad address error regularly. In particular, debugPrint does not go through the IOManager.
12:18 AM Changeset in ghc [f6e0dbf]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix mismatched visibility of assembler impls of StgRun Based on a patch from PHO, in trac #7813. We were previously declaring StgRun as a private symbol (in rts/StgRun.h), but were actually defining it as a public one (in rts/StgCRun.c). This caused a linkage problem with old binutils. See: http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html

Apr 26, 2013:

11:57 PM Changeset in ghc [c47c47a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Handle sign bit when generating veneer for ARM Thumb branch relocation
11:51 PM Ticket #1896 (Keep old bindings until :load succeeds) closed by igloo
wontfix: For the :reload case, I don't think we want to fall back to the previous …
11:28 PM Changeset in ghc [ce1094e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use -rpath flags on all Elf OSes, not just Linux Patch from pgj; part of #7819.
11:26 PM Changeset in ghc [9843083]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
When linking with $ORIGIN rpaths, use the "-z origin" linker flag too On FreeBSD, one needs use "-z origin" in order to enable resolution of $ORIGIN in RPATH. Part of #7819.
11:08 PM Changeset in ghc [d0a6973e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Sanitising debug messages
10:31 PM Changeset in ghc [ebc4305e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update Cabal
9:18 PM Changeset in ghc [50ad870]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove extCoreName from DynFlags We now just pass the filename as an argument
8:36 PM Changeset in ghc [da5c9c7f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 MkExternalCore
8:36 PM Changeset in ghc [cee55b9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove DynFlags's hscOutName field We now just pass the output filename as an argument instead
7:50 PM Ticket #7864 (--make -dynamic-too doesn't work) closed by igloo
fixed: Fixed. The HscOut phase is now shared, but Hsc is still duplicated
6:42 PM Changeset in ghc [4ae3def2]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
"ghc --info" now claims has "Support dynamic-too" as "YES"
6:40 PM Changeset in ghc [25dd77f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix "-dynamic-too --make"; fixes #7864
6:40 PM Changeset in ghc [f5d3675]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
dynamicToo002 now passes
6:40 PM Changeset in testsuite [d2b0229c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
dynamicToo002 now passes
6:22 PM Ticket #7868 (Enable -funbox-strict-small-fields by default) created by tibbe
See discussion at …
6:12 PM Changeset in ghc [4b205b8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
We need to setModLocation in the HscOut phase, not the Hsc phase The output location needs to be different for the vanilla and dynamic ways when doing -dynamic-too. Fixes dynamicToo003.
6:11 PM Changeset in ghc [e0a8eb6c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
More dynamic-too tests
6:11 PM Changeset in testsuite [62833e1f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
More dynamic-too tests
4:32 PM Changeset in ghc [cb4bd895]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added ignore dirty to offending submodules. This might need to be revisited.
4:18 PM Changeset in ghc [6f07516e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Scheduler: scheduleThreadOnFreeCap updated such it only checks whether the capability hasn't already been picked up by another user-level scheduler. In particular, we no longer consider run queue being non-empty, a blocked foreign call on this capability or outstanding messages to be the reasons for not picking up a capability. Benchmarks: Added TMVar implementations. Weeding through IOManager bugs.
2:40 PM Ticket #7867 (Allow template-haskell to communicate with itself between compilation ...) created by errge
I'd like to be able to have something like this in the Q monad: […] Or …
9:18 AM Ticket #7866 (floor (0/0) :: Int is different with -O0 and -O1) created by alang9
This program: […] prints a different result with -O0: […] and -O1: …
1:59 AM Ticket #7865 (SpecConstr duplicating computations) created by amosrobinson
In some (very rare) cases, SpecConstr can actually duplicate let bindings. …
1:41 AM Ticket #7846 (GHC 7.7 cannot link primitives) closed by igloo
fixed: Thanks for the report. I've made Cabal build the shared library by default …
1:19 AM Ticket #7530 (Proposal: Add isLeft/isRight to Data.Either) closed by igloo
fixed: Applied, thanks! […]
1:18 AM Changeset in ghc [9183ff20]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update Cabal perf expected values following Cabal update
1:18 AM Changeset in testsuite [a6ca0b8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update Cabal perf expected values following Cabal update
1:17 AM Changeset in ghc [f4943f0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix the dynamicToo002 test
1:17 AM Changeset in testsuite [9943ce0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix the dynamicToo002 test
1:16 AM Changeset in ghc [30ae934]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
dynamic002 is broken (#7864)
1:16 AM Changeset in testsuite [c4ffdb8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
dynamic002 is broken (#7864)
1:07 AM Changeset in ghc [ff2b7ad]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update Cabal
12:17 AM Changeset in ghc [4d15f23c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Mark -dynamic-too as unsupported for now It doesn't work with --make yet. Trac #7864 filed.
12:17 AM Ticket #7864 (--make -dynamic-too doesn't work) created by igloo
--make -dynamic-too doesn't work yet. I think that the best fix will be …

Apr 25, 2013:

10:37 PM Changeset in ghc [ce5d75b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for "--make -dynamic-too"
10:37 PM Changeset in testsuite [06a089e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for "--make -dynamic-too"
9:21 PM Changeset in ghc [c9e7159b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some old commented-out code in StaticFlags
9:21 PM Changeset in ghc [c022831]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update the isStaticFlag predicate -fspec-inline-join-points was removed in Jan 2010: 99f41975ae61fc919638aa389199b32742332eff -fno-hi-version-check was removed in Nov 2003: 98744cef7b82e7eefbb1c6f1d8b9e28c415939c4 -dno-black-holing was removed in Aug 2011: 1c2f89535394958f75cfb15c8c5e0433a20953ed -fruntime-types was removed in Apr 2008: 8d6bc9bf51829ea04da5f599b84114ef220f0a19 -fhardwire-lib-paths was removed in Jan 2008: 1b98179e0faf8c1ddf79c12827b24d4b7979b83e
9:21 PM Changeset in ghc [b3c0650]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix the inplace name of ghc-cabal We had inplace/bin/ghc-cabalghc-cabal
9:21 PM Changeset in ghc [3e3707d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a "Support dynamic-too" field to the --info output This is always "YES".
9:21 PM Changeset in ghc [685f3b09]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 StaticFlags
9:21 PM Changeset in ghc [0947a00]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update Cabal
9:18 PM Changeset in base [58d03b8]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add isLeft/isRight
9:14 PM Ticket #7863 (Verbosity level for quieter Template Haskell) created by dolio
In projects with large numbers of dependencies, use of template haskell …
8:00 PM Changeset in ghc [e83d0da]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fixed moer tyops
7:29 PM LightweightConcurrency edited by kc
Fixed references that had been pointing to TracSource? to github (diff)
5:32 PM Changeset in ghc [45a77b65]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Simplifications of the benchmarks
11:37 AM Ticket #7440 (haddock : Declaration for $fEqInteger attempting to use module ...) closed by erikd
fixed: I'm pretty sure my environemnt hasn't changed, but I can't reproduce this …
7:56 AM Ticket #7862 (Could not deduce (A) from the context (A, ...)) created by alang9
The following code doesn't compile and produces a strange error: […] …
3:40 AM Changeset in ghc [6828d71]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added local scheduler and mvar
2:12 AM Changeset in ghc [cf532354]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Simplifying MVar implementaiton for chameneos
1:28 AM Changeset in ghc [b1c266c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Updated documentation; changed "group" to "branched" in type families

Apr 24, 2013:

10:43 PM Changeset in ghc [d88a816c]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Minor edits to spacing in ChameneosRedux
4:18 PM Changeset in ghc [9609029a]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Fixed a bug in forkOn implementation. The capability number suggested is modded with the numCapability from the RTS. Added an assertion in rts/Threads.c to catch such a error early. Added separate profile.h to ease profiling ChameneosRedux. Changes to Makefile.
1:43 PM Ticket #7652 (Testing freezes on FreeBSD 9.1.) closed by pgj
wontfix: Close the ticket per the submitter's request.
1:31 PM TypeLevelReasoning edited by goldfire
(diff)
1:23 PM Changeset in ghc [9e24b125]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Update Makefile in docs/core-spec not to use latexmk
1:08 PM Changeset in base [4169acf]data-proxy by Jose Pedro Magalhaes <jpm@…>
Start adding Data.Proxy and Data.Type.Equality functionality
12:03 PM Changeset in ghc [4ff74138]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Allow deriving Generic for polykinded phantom types
2:48 AM Records edited by rrnewton
(diff)
2:32 AM Ticket #7861 (deferred type error with rankNTypes) created by guest
[…] compiled with wrong type and -fdefer-type-errors gives ghc panic …
2:06 AM Ticket #7792 (unregisterised build broken) closed by igloo
fixed: Fixed by: commit be0b1dffb0a3aa73720b4de8887b837430bffcce […]
2:05 AM Ticket #7824 (problem with vector in arm) closed by igloo
fixed: #4244 is now fixed, so this should be too.
2:04 AM Ticket #4244 (Use system linker in GHCi to support alpha, ia64, ppc64) closed by igloo
fixed: This now works, with DYNAMIC_GHC_PROGRAMS="YES" (which is the case on …
12:06 AM Changeset in ghc [be0b1dff]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
In CMM, only allow foreign calls to labels, not arbitrary expressions I'm not sure if we want to make this change permanently, but for now it fixes the unreg build. I've also removed some redundant special-case code that generated prototypes for foreign functions. The standard pprTempAndExternDecls now generates them.

Apr 23, 2013:

10:20 PM Ticket #7860 (Add more bit fiddling functions to 'integer-gmp') created by lebedev
Current implementation of 'integer-gmp' uses only a subset of "bit …
9:11 PM Ticket #7859 (runghc should give an error when the path to ghc is invalid) created by monoidal
runghc has a -f option which allows to specify the path to GHC. However, …
8:30 PM Ticket #7853 (UTF encodings do not detect overlong forms) closed by batterseapower
fixed: Fixed in 2b4705254638f5b06a0e83359e28e361f40d2ac4
8:12 PM Changeset in base [741aa56]dbcs by Max Bolingbroke <batterseapower@…>
Add comprehensive test for codepage encodings+recovery for them
8:12 PM Changeset in base [ba5d5c4]data-proxydbcsghc-7.8 by Max Bolingbroke <batterseapower@…>
Test fix for #7853
8:12 PM Changeset in base [631c4a3]dbcs by Max Bolingbroke <batterseapower@…>
Support for Windows DBCS and new SBCS with MultiByteToWideChar Because MultiByteToWideChar/WideCharToMultiByte have a rather unhelpful interface, we have to use a lot of binary searching tricks to get them to match the iconv-like interface that GHC requires. Even though the resulting encodings are slow, it does at least mean that we now support all of Window's code pages. What's more, since these codecs are basically only used for console output there probably won't be a huge volume of text to deal with in the common case, so speed is less of a worry. Note that we will still use GHC's faster table-based custom codec for supported SBCSs.
8:12 PM Changeset in base [f0ca95f7]data-proxydbcsghc-7.8 by Max Bolingbroke <batterseapower@…>
Improve documentation for mkTextEncoding
8:12 PM Changeset in base [2b47052]data-proxydbcsghc-7.8 by Max Bolingbroke <batterseapower@…>
Fix #7853
7:24 PM Changeset in ghc [a496e9aa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make CmmParse abstract
7:24 PM Changeset in ghc [b49307f5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't duplicate decls unnecessarily in the environment In loopDecls, as far as I can see the globalDecls will always already be in the environment, so don't add them again.
7:24 PM Changeset in ghc [dbd9645]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring in StgCmmExtCode
5:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:34 PM Changeset in ghc [cd8345d0]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added runner shell script for Sieve
4:14 PM Ticket #7856 (Wrong error message for unknown Instance) closed by monoidal
invalid: > I would not expect the "actual type" to be "String -> ()", but rather …
4:01 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:29 PM Changeset in ghc [0c1d747]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Pulling in changes from base library
3:19 PM TypeLevelReasoning edited by simonpj
(diff)
3:11 PM Changeset in ghc [6a9d67f]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Sieve benchmark: removing unnecessary/conflicting comment at the top of the file.
9:00 AM Status/May13 edited by dreixel
Add information about poly-kinded Typeable (diff)
8:40 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:19 AM Changeset in ghc [af58cc6f]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 #7857
8:19 AM Changeset in testsuite [f2cbb53]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7857
8:18 AM Ticket #7857 (GHC says there are unsafe overlapping instances, but only one instance ...) closed by simonpj
fixed: Thanks. Happily, with HEAD I get […] which seems very plausible. So I …
8:14 AM Changeset in ghc [0d07390]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@…>
Error message wibbles
8:14 AM Changeset in testsuite [b8eca74]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles
8:14 AM Changeset in ghc [f28c6b02]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@…>
Peak-memory usage for T3064 varies depending on whether .hi file exists on not Really, the existence or otherwise of the .hi file shouldn't affect validate output, but it seems to. Maybe 'make clean' doesn't clean enough? In ay case peak memory usage is a fragile number because it depends on when GC happens. So I increased the range to 20% for now.
8:14 AM Changeset in testsuite [a7045be]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Peak-memory usage for T3064 varies depending on whether .hi file exists on not Really, the existence or otherwise of the .hi file shouldn't affect validate output, but it seems to. Maybe 'make clean' doesn't clean enough? In ay case peak memory usage is a fragile number because it depends on when GC happens. So I increased the range to 20% for now.
8:12 AM Changeset in ghc [ed9895d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 messages only
8:12 AM Changeset in ghc [15da8ca]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Typos in comments
8:12 AM Changeset in ghc [2eea4acb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Typo in debug print message
8:12 AM Changeset in ghc [392924c9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment typo
7:16 AM Status/SLPJ-Tickets edited by simonpj
(diff)
4:18 AM Changeset in ghc [dc88fe6]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added missing library to ghc.mk, which was removed erroneously during merge with master.
3:38 AM Ticket #7858 (Fix definitions of abs/signum for Floats/Doubles) created by lerkok
The current definition of abs doesn't work correctly for -0.0 (negative …
2:03 AM Changeset in ghc [2ca17408]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
fetching commits from libraries
1:29 AM Changeset in ghc [0209094]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Merging master

Apr 22, 2013:

11:02 PM Ticket #7818 (Cost of STACK object should be attributed to CCCS at time of thread ...) closed by ezyang
fixed
10:35 PM Changeset in ghc [5724ea0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
More accurate cost attribution for stacks. Fixes #7818. Previously, stacks were always attributed to CCCS_SYSTEM. Now, we attribute them to the CCS when the stack was allocated. If a stack grows, new stack chunks inherit the CCS of the old stack. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:21 PM Changeset in ghc [50e3b2e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
edits to concurrent list
8:38 PM Ticket #7857 (GHC says there are unsafe overlapping instances, but only one instance ...) created by dmwit
The following code rightfully does not compile: […] However, the …
1:58 PM Ticket #7856 (Wrong error message for unknown Instance) created by bas
This type-incorrect program gives a wrong error message: […] Namely: …
12:00 PM Changeset in ghc [0bfd104]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 #7786
12:00 PM Changeset in testsuite [3a031876]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7786
12:00 PM Changeset in ghc [0edc55b7]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@…>
Error message wibbles, following TcErrors refactoring
12:00 PM Changeset in testsuite [69f0da5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles, following TcErrors refactoring
12:00 PM Changeset in ghc [9bf2e77]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@…>
Improve tests slightly
12:00 PM Changeset in testsuite [47e8c7e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improve tests slightly
12:00 PM Changeset in ghc [d61719f4]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@…>
Actually test T4175
12:00 PM Changeset in testsuite [371d0a8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Actually test T4175
11:54 AM Changeset in ghc [2a7f4de]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Further wibbbling to type error message reporting * We now never report derived-constraint type errors, even in the "insolubles". See Note [Insoluble derived constraints] in TcRnTypes. * The cec_suppress mechanism in TcErrors is refactored a bit so that: - We suppress *all* errors in unreachable code (they can be jolly confusing) - We no longer suppress *all* non-insoluble errors if there are *any insolubles anywhere. Instead we are a bit more refined. See Note [Suppressing error messages] in TcErrors
11:54 AM Changeset in ghc [6ebab3d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Never unify a SigTyVar with a non-tyvar type (fixes Trac #7786) This unwanted unification was happening in the zonking phase which un-flattens type-function applications (TcMType.zonkFlats, try_zonk_fun_eq). The main unifier is careful to make the check, but I'd forgotten it here. That in turn led to a very confusing error message.
11:54 AM Changeset in ghc [28c1461]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When zonking, get rid of empty implications Zonking can make implications empty becuase it gets rid of type-function flattening equalities
11:54 AM Changeset in ghc [c5f43e5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
11:54 AM Changeset in ghc [ffe9a1e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tiny wibble to trace message
11:54 AM Changeset in ghc [72f8eab9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add comments to describe AbsBinds
11:54 AM Changeset in ghc [a49fc52]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add stg_sel_n_noupd_info symbols to Linker.c
8:24 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:17 AM Ticket #7855 (Use optimizer for more information about incomplete pattern matches) created by ezyang
This mail gave me an idea that was too cute not to write down (though I …
5:25 AM Ticket #7854 (Constrained method type accepted in Haskell 98 mode) created by refold
If I understand …

Apr 21, 2013:

10:35 PM Ticket #7626 (Add common utility variants of trace to Debug.Trace) closed by igloo
fixed: Applied, thanks
10:35 PM Ticket #7817 (Moving basic functions) closed by igloo
fixed: […] I didn't make Foreign.Marshal.Error re-export void, as we …
10:22 PM Ticket #7852 (panic: kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}) closed by parcs
duplicate: I added a comment to #7778 that includes my findings from #7844.
10:09 PM Ticket #7853 (UTF encodings do not detect overlong forms) created by batterseapower
Overlong UTF-{8,16} sequences can have security implications …
9:36 PM Changeset in ghc [2a17985]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update error message text; spotted bu Sergei Trofimovich
9:35 PM Changeset in base [ef47691]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Add Debug.Trace.{traceId,traceShowId,traceM,traceShowM}; fixes #7626
9:35 PM Changeset in ghc [8394c0e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Gabor Pali <pali.gabor@…>
Fix library flavor detection for the validate script as well
9:35 PM Changeset in testsuite [efe31a34]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Gabor Pali <pali.gabor@…>
Fix library flavor detection for the validate script as well
9:04 PM Ticket #7740 (Remove direct cabal imports in Linker and Finder modules) closed by igloo
wontfix: Ah, I see: This patch makes 1 module re-export things from Cabal, so other …
8:46 PM Changeset in base [6402f8d]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Add some more Data.Functor functions; fixes #7817 Added infixl4 $>. Re-exported void from Data.Functor. Also defined the fixity for <$ for non-GHC impls.
8:06 PM Ticket #7761 (iOS patch no 16: pass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to ...) closed by igloo
fixed: Applied, thanks!
8:02 PM Ticket #7759 (iOS patch no 14: libraries/base changes) closed by igloo
fixed: Fixed, thanks: […]
8:01 PM Ticket #7719 (System.Timeout.timeout may leak <<timeout>> exceptions) closed by igloo
fixed: Optimisation also applied: […]
7:59 PM Ticket #7760 (iOS patch no 15: remove HSC2HS_EXTRA from hsc2hs's stage0 wrapper) closed by igloo
fixed: Applied, thanks: […]
7:51 PM Ticket #7841 (Stage1Only conditional program/package building) closed by igloo
worksforme: Thanks for the patch. However, we already have variables like …
7:43 PM Ticket #7852 (panic: kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}) created by igloo
This code: […] make ghc panic: […]
6:23 PM Milestone 7.6.3 completed
The 7.6.3 release is a bugfix release. * …
5:56 PM Changeset in base [bfe01f0]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Fix warnings
5:25 PM Changeset in ghc [c3d2436]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Gabor Pali <pali.gabor@…>
Fix detection of library flavors on FreeBSD
5:25 PM Changeset in testsuite [cd01ce2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Gabor Pali <pali.gabor@…>
Fix detection of library flavors on FreeBSD
5:19 PM Changeset in ghc [ca33aa8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
pass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to hsc2hs; Fixes #7761. Patch from Stephen Blackheath.
5:07 PM Changeset in base [93a4bda]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Build fix for iOS; fixes #7759 Patch from Stephen Blackheath. The issue here is that the #defines EVFILT_READ and EVFILT_WRITE have the values -1 and -2. The original code translates that to filterRead = Filter -1 which is wrong Haskell and fails to compile. The modified code produces the correct code filterRead = Filter (-1)
4:54 PM Changeset in ghc [e781739]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use a pthread-based implementation of Itimer.c on iOS Patch from Stephen Blackheath. timer_create doesn't exist and setitimer doesn't fire on iOS, so we're using a pthreads-based implementation. It may be to do with interference with the signals of the debugger. Revisit. See #7723.
4:41 PM Changeset in base [31153f1]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Implement faster System.Timeout.timeout for the threaded RTS. The basic idea is to use the Timer Manager rather than spawning an auxilliary thread to handle timeouts; this was proposed by Bas van Dijk two years ago (#4963), and recently by Herbert Valerio. The key idea to make this work is to spawn an auxilliary thread for the delivery of the Timeout exception. This idea as well as most of the code is due to Akio Takano.
4:30 PM Changeset in ghc [be66c4e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some cross-compilation kludges I don't think these should be necessary. If something breaks as a result then we can look at why.
4:03 PM Ticket #7848 (Missing parentheses and backticks) closed by igloo
fixed: Applied, thanks!
3:58 PM Changeset in ghc [b9175104]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix tests after #7848
3:58 PM Changeset in testsuite [8bb42aa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix tests after #7848
3:58 PM Changeset in ghc [539a9bf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7848
3:58 PM Changeset in testsuite [1ec6d9f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7848
3:03 PM Changeset in ghc [310735e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use ffi_prep_closure_loc rather than ffi_prep_closure The latter is deprecated. Part of #7718.
1:58 PM Ticket #7844 (Panic messages raised from GHCi don't include details) closed by igloo
fixed: Applied, thanks!
1:45 PM Changeset in ghc [144db21]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Display operators using parentheses/backticks in error messages (#7848)
1:20 PM Changeset in ghc [c66f4782]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set RELEASE back to NO
1:20 PM MakingReleases edited by igloo
(diff)
12:38 PM Changeset in base [5dc317f]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
Fix System.Timeout.timeout leaking Timeout exceptions (#7719).
12:37 PM Changeset in base [57759ce]data-proxydbcsghc-7.8 by Ian Lynagh <ian@…>
add test for #7719
12:19 PM Changeset in ghc [78d5644]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Print details of panic messages raised from GHCi (#7844)
12:14 PM Changeset in ghc [157ac08]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix "make 2" in ghc/ The ghc-stage1_INPLACE variable wasn't being defined

Apr 20, 2013:

10:57 PM Ticket #7363 (runghc leaks space in IO) closed by igloo
worksforme: I can reproduce the memory usage with runghc, but also with […] …
10:13 PM Ticket #7373 (When building GHC: Failed to load interface for `GHC.Fingerprint') closed by igloo
wontfix: OK, it looks like this goes wrong because of the way we interleave the …
9:18 PM Changeset in ghc [0229378]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix the testsuite config to allow running with GHC 7.6
9:18 PM Changeset in testsuite [3d56846]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix the testsuite config to allow running with GHC 7.6
8:50 PM Ticket #7709 (ios patch no 7: Omit ghc-pwd from final stage when cross compiling) closed by igloo
fixed: Done
6:07 PM Ticket #7851 (Give better diagnostic when arguments are omitted to a function call in ...) created by JohnWiegley
When using any Monad other than (->) e, it is almost always an error for …
5:51 PM Changeset in ghc [d65a61d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use different exeext variables for each stage; fixes #7709 Currently they are all set to the same value, but when cross-compiling they could be set to different values.
5:45 PM Changeset in ghc [c91c2330]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix typo (spotted by gabor)
5:21 PM Ticket #7531 (after manualy installing array-0.4.0.1) closed by igloo
worksforme: I can't reproduce this, and I don't think it'll be worth investigating it …
4:55 PM Changeset in ghc [b45700ce]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweak the bindist comparison tool It now just warns about files it doesn't recognise, rather than giving an error. This means that random text files etc in the same directory as the bindists don't make it fall over.
4:37 PM Changeset in ghc [65794254]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add deriveConstants to the dep files we build in phase 0 Dependency problem was discovered by int-e. I've also added some comments about what's going on.
4:37 PM Changeset in ghc [a8de9248]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove ghc-pkg from the list of dep files we build during phase 0 I don't think it's necessary to build ghc-pkg that early.
4:37 PM Changeset in ghc [7631562]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix haddocking We weren't seting the _DO_HADDOCK variables early enough.
4:10 PM Changeset in integer-gmp [38ebd7b]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Build system refactoring
4:09 PM Changeset in ghc [aa06f5d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Follow build system changes in integer-gmp Also a couple of other fixes and sanity checks along the way.
1:33 PM Ticket #7638 (bindist refers to libgmp.so.3 which is missing on Fedora 17) closed by igloo
fixed: Fixed by […]
12:11 PM Changeset in ghc [9e4e2c24]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the Windows installer We now leave making installers to the Haskell Platform.
12:02 PM Changeset in ghc [db14f97e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Some build system refactoring
7:26 AM Ticket #7850 (Strangely high memory usage on optimized Ackermann function) created by dolio
Greetings. The following post on stack overflow demonstrates some strange …
4:41 AM Ticket #7849 (Error on pattern matching of an existential whose context includes a type ...) created by guest
The following code […] gives a rather obscure type error […] It is …
12:44 AM Changeset in ghc [54d79020]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small build system refactoring

Apr 19, 2013:

11:13 PM Changeset in ghc [432d104]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small build system refactoring
10:39 PM Ticket #7764 (Link Error on windows) closed by igloo
worksforme: I can't reproduce it on Windows either, also using HP 2012.4.0.0. The …
9:50 PM Ticket #7820 (Installing profiling library BREAKS non-profiling executable) closed by igloo
invalid: Aha, if you look at the -v output of cabal-install, then you can see …
7:58 PM Changeset in ghc [561d64a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a 'compare' command to sync-all
7:28 PM Changeset in ghc [55c7a0d6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Some sync-all refactoring
7:28 PM Changeset in ghc [5ba23dfa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove boot-pkgs from SRC_DIST_GHC_FILES The file no longer exists
7:28 PM Changeset in ghc [d6dd769d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update darcs -> git in a comment
7:28 PM Changeset in ghc [0ae042d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use a simpler way of finding the current git branch in sync-all
11:22 AM Ticket #7848 (Missing parentheses and backticks) created by monoidal
In several cases, GHC does not output parentheses or backticks in error …
9:51 AM Ticket #7847 (Maintain per-generation lists of weak pointers) created by akio
Currently the runtime system keeps a list of all live weak pointers, and …
9:22 AM Changeset in ghc [24ffa31]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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
9:21 AM Changeset in ghc [da65172]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment only
5:57 AM Ticket #7846 (GHC 7.7 cannot link primitives) created by kazu-yamamoto
When I tries to install the vector library on Linux, GHC 7.7 cannot find a …
5:34 AM Ticket #7845 (RebindableSyntax should allow rebinding tuples and lists) created by exbb2
e.g. […]

Apr 18, 2013:

10:46 PM MakingReleases edited by igloo
(diff)
10:46 PM Changeset in ghc [328c233]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set the version number to 7.6.3, and RELEASE to YES.
10:46 PM Changeset in ghc [720d7525]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Add release notes for 7.6.3
10:28 PM Changeset in ghc [cc73f58e]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update ANNOUNCE for 7.6.3

Apr 17, 2013:

9:04 PM Ticket #7793 (GHC User’s Guide, Version 7.6.2: Page numbering errors) closed by igloo
fixed: Fixed; thanks for reporting it!
9:03 PM Ticket #7815 (STM fails to validate read.) closed by igloo
fixed: Applied, thanks!
7:49 PM Changeset in ghc [87baa31]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Check to see if TVar's are locked in check_read_only (fixes #7815)
7:43 PM Changeset in ghc [e47e664]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a multi_cpu_race helper This makes the test run alone, to increase the chance of a multi-CPU race happening.
7:43 PM Changeset in testsuite [a4e32b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a multi_cpu_race helper This makes the test run alone, to increase the chance of a multi-CPU race happening.
7:42 PM Changeset in ghc [3ad224cd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Whitespace only
7:42 PM Changeset in testsuite [0b135e5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Whitespace only
7:41 PM Changeset in ghc [15fe210]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Test for #7815 This test differes slightly from the code in the ticket, but the simplification betters the chances of seeing the error. Instead of looking for the error with an additional tranaction, when error appears only one `reset` can complete and the other is blocked on STM raising an exception.
7:41 PM Changeset in testsuite [fe604b0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Test for #7815 This test differes slightly from the code in the ticket, but the simplification betters the chances of seeing the error. Instead of looking for the error with an additional tranaction, when error appears only one `reset` can complete and the other is blocked on STM raising an exception.
6:39 PM Changeset in ghc [78f9189]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix page numbering in the users guide PDF; fixes #7793 The external core chapter had an abstract, which seems to reset the page count to 0.
3:36 PM Ticket #7844 (Panic messages raised from GHCi don't include details) created by parcs
In GHC built the devel2 way, compiling the following source file through …
12:36 PM Status/May13 edited by guest
(diff)
12:34 PM Status/May13 edited by guest
(diff)
12:32 PM Status/May13 edited by guest
(diff)
7:45 AM Ticket #7843 (GHC should be able to list all possible command line options) created by jstolarek
I would be happy to have automatic completion of command-line options in …
12:00 AM Ticket #7842 (Incorrect checking of let-bindings in recursive do) created by diatchki
I have run into a problem with the type-checking of recursive do blocks, …

Apr 16, 2013:

9:20 PM Changeset in base [84ac54d]data-proxydbcsghc-7.8 by Edward Z. Yang <ezyang@…>
throwTo is interruptible. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:00 PM Changeset in base [1ced18a]data-proxydbcsghc-7.8 by Edward Z. Yang <ezyang@…>
md5.c: fix a typo in the size argument of memset
3:47 PM Ticket #7586 (:kind command cannot show kind of type synonyms) closed by simonpj
fixed: OK I've done this. If everyone hates it we can back out, but I see …
3:46 PM Ticket #7837 (Rules involving equality constraints don't fire) closed by simonpj
fixed: Ah, yes, good point thank you. Fixed! Simon
3:44 PM Ticket #7816 ("main function" is not a function) closed by simonpj
fixed: OK done; thanks for the suggestion. Simon
3:41 PM Changeset in ghc [717d4a2d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
3:40 PM Changeset in ghc [46e204f7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow partial applications of a type synonym in :kind in GHCi (Trac #7586) Documentation is done too
9:33 AM Changeset in ghc [b0884547]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove accidentally-inserted tabs
9:33 AM Changeset in ghc [a56456df]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 output only
9:33 AM Changeset in ghc [29cc690]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the desugarer a tiny bit cleverer on coercions (fixes Trac #7837) The desugarer was generating a redundant box/unbox pair on the LHS of a RULE, which in turn made matching fail. See Note [Simple coercions] in DsBinds.
9:27 AM Changeset in ghc [43bbd40]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 #7586
9:27 AM Changeset in testsuite [3e8715f2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7586
8:54 AM Changeset in ghc [665bf580]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 #7837
8:54 AM Changeset in testsuite [2d5ead6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7837
6:54 AM Status/SLPJ-Tickets edited by simonpj
(diff)
6:28 AM Changeset in ghc [bd6875f]ghc-7.6th-new-7.6 by Simon Peyton Jones <simonpj@…>
Merge 1353d1 into the 7.6 branch (without this I get an ASSERT failure) commit 1353d1ef98603a1bff1f8eb181d1368e934b3647 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu Dec 20 20:13:36 2012 +0000 Fix over-zealous ASSERT in TcUnify
6:27 AM Changeset in ghc [3ed9baf]ghc-7.6th-new-7.6 by Simon Peyton Jones <simonpj@…>
Merge b737a4 into the 7.6 branch, curing Trac #7748 The caching of goals in the constraint solver led to a equality-constraint loop even in a really simple program! commit b737a45391201fd475b89227ed1d7c9b72b24eea Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Fri Aug 31 10:05:03 2012 +0100 More simplifications to the constraint solver * inert_solved becomes dictionaries-only, inert_solved_dicts * inert_solved_dicts is used only to cache the result of uses of a top level instance declaration, just like inert_solved_funeqs * That in turn simplifies xCtFlavor and rewriteCtFlavor, because they no longer need a "should I cache" parameter. (Moreover the settings for this parameter were very subtle; it's easy to get loops if you cache too much. Caching only top-level instance uses is much safer, and eliminates all these subtle cases.)

Apr 15, 2013:

9:09 PM Ticket #7841 (Stage1Only conditional program/package building) created by elliottt
This patch includes changes to allow programs and packages to be disabled …
8:28 PM Ticket #7840 (Abort and Seg fault on Mac OS X) created by guest
Actually this is 3 bugs ghci often segfaults on startup... rerunning …
6:55 PM Ticket #7839 (After forkIO'ing on Intel Mac, putStrLn (presumably) reports "hPutChar: ...) created by thorkilnaur
Investigating #7715 on the tn23 builder, which is […] I ran into: …
4:40 PM Changeset in ghc [0e489e5]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@…>
Wibbles to "main is not defined in Main" messagse
4:40 PM Changeset in testsuite [29e5308]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to "main is not defined in Main" messagse
4:39 PM Changeset in ghc [58e4f838]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve the "main is not defined in Main" message a bit further
2:44 PM Changeset in ghc [1aa7ae3f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
12:37 PM Repositories edited by simonpj
(diff)
12:36 PM ActiveBranches edited by simonpj
(diff)
12:35 PM ActiveBranches edited by simonpj
(diff)
10:22 AM Changeset in ghc [b5ac19a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix the dynflags consistency code It was checking to see whether the hscTarget is HscC or HscLlvm, and changing it to HscC otherwise. But this meant that as well as rejecting HscAsm, it also rejected HscInterpreted and HscNothing. Now we just check whether it's HscAsm.
8:22 AM Ticket #7838 (ghc(i) crashes on instance declaration) closed by monoidal
fixed: Thanks for the report. The bug is already fixed in HEAD. Now you get: …
6:48 AM Ticket #7838 (ghc(i) crashes on instance declaration) created by alios
[…]
3:04 AM Status/May13 edited by simonmar
(diff)
3:03 AM Status/May13 edited by simonmar
(diff)
2:56 AM Ticket #7837 (Rules involving equality constraints don't fire) created by akio
In the attached program, the "normalize/Double" rule doesn't fire, whereas …

Apr 14, 2013:

11:39 PM WorkingConventions/FixingBugs edited by igloo
(diff)
11:29 PM Changeset in ghc [8514632]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/prelude/TysWiredIn.lhs compiler/types/Type.lhs
8:38 PM FreeBSDGhc created by pgj
Create a page for FreeBSD
8:29 PM Platforms edited by pgj
Update the FreeBSD line (diff)
8:18 PM Changeset in ghc [47556a8e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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 CmmNode
8:17 PM Building edited by pgj
Add FreeBSD (diff)
8:15 PM Building/Preparation/FreeBSD edited by pgj
Add a missing 's' (diff)
8:10 PM Building/Preparation edited by pgj
Add FreeBSD (diff)
8:07 PM Building/Preparation/FreeBSD edited by pgj
Improve warning (diff)
8:06 PM Building/Preparation/FreeBSD edited by pgj
Add one more note on VFS timestamps (diff)
8:00 PM Building/Preparation/FreeBSD edited by pgj
Add some links (diff)
7:51 PM Building/Preparation/FreeBSD edited by pgj
Add further notes (diff)
7:25 PM Building/Preparation/FreeBSD edited by pgj
A minor typesetting tweak (diff)
7:25 PM Building/Preparation/FreeBSD edited by pgj
Emphasize using Haskell Platform more (diff)
7:19 PM Building/Preparation/FreeBSD edited by pgj
A minor typesetting tweak (diff)
7:17 PM Building/Preparation/FreeBSD created by pgj
Add initial version
6:19 PM Building/Troubleshooting edited by pgj
Add a note on building on very fast FreeBSD systems (diff)
1:26 PM Ticket #7836 (Runtime failure profiling with +RTS -hc -hbdrag,void) created by hyperthunk
Running the attached program, compiled with "-threaded -Wall -auto-all …
7:36 AM Ticket #7835 (ghc --make: allow passign .cmm, .c and .hs files in one command line) created by slyfox
TL;DR: Allow users to make one run: […] instead of series: […] …

Apr 13, 2013:

9:51 PM Ticket #7834 (dyn way and INTEGER_LIBRARY=integer-simple) created by heisenbug
a standard bootstrap with […] causes some problems: 1. there is a …
3:25 PM Ticket #7821 (PPC cross-compile impossible happened) closed by igloo
duplicate: Yes, thanks for the report, but it looks like a duplicate of #7814.
2:39 PM Ticket #7806 (Dynamic linking and libffi) closed by igloo
fixed: Please file a separate ticket for each issue, so that we can track them …
2:36 PM Ticket #7833 (installed GHC refers to libffi in the build directory) created by igloo
In #7806, Kazu reported that on OS X: After "make install", the installed …
1:30 PM Ticket #7775 (Mark intentionally omitted type class instances) closed by igloo
wontfix: Thanks for the suggestions. However, I think that now that the misleading …
12:35 PM Ticket #7732 (Allow killing of processes which are known by a ...) closed by igloo
wontfix: Thanks for the suggestion. However, changes to library APIs need to first …
11:01 AM Ticket #7659 (Add some latency nofib benchmarks) closed by igloo
invalid: Thanks for the suggestion. However, I don't think anyone's likely to write …
10:27 AM Ticket #7832 (In function 'stg_ap_0_fast' 'debugBelch' undeclared) closed by igloo
duplicate: Thanks for the report. However, this is a duplicate of #7792.
10:16 AM Ticket #7832 (In function 'stg_ap_0_fast' 'debugBelch' undeclared) created by erikd
Attempting to build git HEAD on linux-powerpc64: […]
9:37 AM PrimBool edited by jstolarek
(diff)
9:17 AM Ticket #7831 (Bad fragmentation when allocating many large objects) created by ezyang
Consider our good old friend, the space-leaky list program: […] It is …

Apr 12, 2013:

11:40 PM Ticket #7830 (Error: operand out of range) created by erikd
Compiling on linux-powerpc and linux-powerpc64 I get: […]
11:19 PM Ticket #7654 (Cannot specify argv[0] with createProcess) closed by igloo
wontfix: I'm going to close this ticket until we've reached consensus on the …
11:01 PM Ticket #7618 (Multiline prompt ignores custom prompt) closed by igloo
duplicate: Thanks for the report. Closing as it's (more-or-less) a duplicate of …
10:59 PM Ticket #7612 (Automatically start the haskell runtime in DllMain on windows -shared) closed by igloo
wontfix: I think it's best to just close this ticket, but of course please feel …
10:28 PM Ticket #7586 (:kind command cannot show kind of type synonyms) closed by igloo
wontfix: I think that special casing :kind and :type when applied to names …
10:25 PM Ticket #7576 (Building happy -- setup: internal error: evacuate: strange closure type ...) closed by igloo
worksforme: No response from submitter, so closing.
10:23 PM Ticket #7570 (GHC's ./configure script should check for ncurses) closed by igloo
wontfix: Unfortunately, with the way the build works, I don't think there's a cure …
10:11 PM Changeset in ghc [52efb2c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
No need to map over all blocks, setting up PIC. Darwin x86 has inconsistent PIC base register, so splitting (which happened before) ensures that each cmm procedure only has one entry point (namely the first block).
9:36 PM Ticket #7517 (wxcore setup has problem with spaces in path) closed by igloo
invalid: Thanks for the report. However, this sounds like a bug in the wxcore
7:30 PM Ticket #7448 (Detabbing) closed by igloo
wontfix: Thanks for making the script. However, so as to avoid unnecessary …
6:59 PM Ticket #7425 (Add method to Data.Bits for creating zeroed values.) closed by igloo
wontfix: Thanks for the suggestion. However, library API changes need to be …
6:58 PM Ticket #7424 (Add Data.Bits instance for Bool) closed by igloo
wontfix: Thanks for the suggestion. However, library API changes need to be …
6:54 PM Ticket #7416 (ghci "attempting to use module ... which is not loaded" after cabal ...) closed by igloo
invalid: No response from submitter, so closing.
6:15 PM Ticket #7396 (Improve "parse error on input `$'" when TemplateHaskell PRAGMA not ...) closed by igloo
wontfix: I don't think that this would be simple enough that it would be worth …
6:09 PM Ticket #7390 (Setup.hs: internal error: stg_ap_v_ret (MacOS)) closed by igloo
worksforme: Thanks for the report. However, no-one else has reported this, so my …
4:59 PM ActiveBranches edited by nfrisby
(diff)
4:57 PM Changeset in ghc [b906525]ticky-for-all-lets by Nicolas Frisby <nicolas.frisby@…>
extended ticky to also track "let"s that are not closures This includes selector, ap, and constructor thunks. They are still guarded by the -ticky-dyn-thk flag.
4:47 PM LateLamLift edited by nfrisby
(diff)
4:18 PM LateLamLift edited by nfrisby
(diff)
4:15 PM ActiveBranches edited by goldfire
(diff)
4:14 PM LateLamLift edited by nfrisby
(diff)
4:13 PM ActiveBranches edited by goldfire
(diff)
4:05 PM ActiveBranches edited by diatchki
(diff)
4:02 PM Ticket #7345 (unix-2.6.0.0 does not provide access to st_blksize and st_blocks) closed by igloo
wontfix: Thanks for the suggestion. However, library API changes need to be …
3:52 PM LateLamLift edited by nfrisby
(diff)
3:52 PM LateLamLift edited by nfrisby
(diff)
3:52 PM LateLamLift created by nfrisby
3:22 PM ActiveBranches edited by nfrisby
(diff)
3:13 PM ActiveBranches created by nfrisby
2:32 PM Changeset in ghc [bad5783]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
Revert "extended ticky to also track "let"s that are not closures" This reverts commit 024df664b600a622cb8189ccf31789688505fc1c. Of course I gaff on my last day...
2:15 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:14 PM Blog: New directions for Template Haskell edited by simonpj
2:11 PM Ticket #7209 (haddock fails with "internal error: spliceURL UnhelpfulSpan") closed by igloo
invalid: This presumably isn't affecting haddocking GHC or its libraries, as that …
1:14 PM WorkingConventions edited by simonpj
(diff)
1:12 PM Commentary edited by simonpj
(diff)
12:53 PM TypeLevelReasoning edited by goldfire
(diff)
12:37 PM Status/May13 edited by igloo
(diff)
12:37 PM Status/May13 edited by igloo
(diff)
12:29 PM Changeset in ghc [d6ceeaac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Change wording of "main is not defined in Main" message (Trac #7816)
12:28 PM Ticket #7827 (GHC internal error: `a' is not in scope during type checking, but it ...) closed by simonpj
fixed: Your fix looks exactly right, thank you! I've committed it and the test. …
12:27 PM Changeset in ghc [202f60a6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
12:19 PM Status/May13 edited by igloo
(diff)
11:44 AM Status/May13 edited by igloo
(diff)
11:36 AM Status/May13 edited by igloo
(diff)
11:33 AM Status/May13 edited by igloo
(diff)
11:33 AM Status/May13 created by igloo
11:32 AM Status edited by igloo
(diff)
11:22 AM Changeset in ghc [3fc6ead1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Tidy up documentation of generalisation
11:21 AM Changeset in ghc [5363f263]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 #7827
11:21 AM Changeset in testsuite [fa9a2e6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7827
11:21 AM Changeset in ghc [37be6f06]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 type variable scoping in nested pattern type signatures (#7827)
11:01 AM Changeset in ghc [2eaf46fb]late-dmd by Nicolas Frisby <nicolas.frisby@…>
O2 now runs another demand analysis before CorePrep (fixes #7782) Its specific flag is -flate-dmd-anal The bulk of this patch merely simplifies the treatment of wrappers in inteface files. In particular, the body of a wrapper is now encoded (just like any other InlineStable) instead regenerating the wrapper from its strictness signature and worker id. Consequences: 0) simplifies a special case; there's plenty of knock-on code elimination from no longer having ids in UnfoldingSource 1) increases the size of .hi (some significantly, esp GHC.Classes) 2) increases compile time a bit (eg ~ +1% over nofib) 3) accomodates the late demand analysis: the previous treatment of wrappers in interface files caused CoreLint errors when combined with the second demand analysis
10:54 AM Changeset in ghc [024df664]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
extended ticky to also track "let"s that are not closures This includes selector, ap, and constructor thunks. They are still guarded by the -ticky-dyn-thk flag.

Apr 11, 2013:

10:29 PM Changeset in ghc [6afa7779]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Make explicit that there can be only one entry point per cmm procedure on Darwin/PPC, because of splitting. x86 should be treated the same way, I'll come back to that later.
7:30 PM Frisby2013Q1 edited by nfrisby
(diff)
6:41 PM Ticket #7829 (make better/more robust loopbreaker choices) created by nfrisby
The choice of loopbreaker can severely influence downstream compilation. …
5:47 PM Changeset in ghc [af12cf6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 Nicolas Frisby <nicolas.frisby@…>
ignore RealWorld in size_expr; flag to keep w/w from creating sharing size_expr now ignores RealWorld lambdas, arguments, and applications. Worker-wrapper previously removed all lambdas from a function, if they were all unused. Removing *all* value lambdas is no longer allowed. Instead (\_ -> E) will become (\_void -> E), where it used to become E. The previous behavior can be recovered via the new -ffun-to-thunk flag. Nofib notables: ---------------------------------------------------------------- Program O2 O2 newly ignoring RealWorld and not turning function closures into thunks ---------------------------------------------------------------- Allocations comp_lab_zift 333090392% -5.0% reverse-complem 155188304% -3.2% rewrite 15380888% +4.0% boyer2 3901064% +7.5% rewrite previously benefited from fortunate LoopBreaker choice that is now disrupted. A function in boyer2 goes from $wonewayunify1 size 700 to size 650, thus gets inlined into rewritelemmas, thus exposing a parameter scrutinisation, thus allowing SpecConstr, which unfortunately involves reboxing. Run Time fannkuch-redux 7.89% -15.9% hpg 0.25% +5.6% wang 0.21% +5.8% /shrug
11:15 AM Changeset in ghc [155d943]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 Nicolas Frisby <nicolas.frisby@…>
added ticky counters for heap and stack checks
11:07 AM Changeset in ghc [8d979a1]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added -flate-float-leave-LNE, which prevents LNEs from being lifted ALLOC WORSE llf llf -flate-float-leave-LNE boyer2 3901736 -7.0% +0.0% puzzle 165864064 -19.1% -2.9% TIME BETTER fannkuch-redux 6.55 +11.7% -0.1% -- 382807736 ENT_LNE_ctr <-- likely part of the improvement fasta 1.11 +1.2% +0.0% life 0.43 +3.8% -0.8% scs 0.99 -0.3% -4.7% spectral-norm 3.25 +2.8% +0.0% wang 0.22 +0.0% -3.0% Also causes slowdowns, but I don't immediately see why TIME WORSE binary-trees 1.67 +1.4% +5.0% hidden 0.77 -3.9% +0.4% integer 2.78 -4.7% -0.7% typecheck 0.36 -5.6% +2.8% I looked at typecheck's ticky and CorePrep changes and didn't see anything indicative. Ugh.

Apr 10, 2013:

8:25 PM Ticket #7522 (segfault when ignoring invalid byte sequence when decoding UTF8//IGNORE) closed by batterseapower
fixed: Fixed and tested in 1ac38ef6e9decc3f4763848f3d43c0cc68d1d390 of the base …
8:25 PM Changeset in base [1ac38ef]data-proxydbcsghc-7.8 by Max Bolingbroke <batterseapower@…>
Add test for #7522
8:13 PM Changeset in base [d714cc4]data-proxydbcsghc-7.8 by Max Bolingbroke <batterseapower@…>
Fix #7522 by checking for empty byte buffers a little more Quite a few lines have changed but that is mostly comments.
5:00 PM Ticket #7826 (GHC internal error: `a' is not in scope during type checking, but it ...) closed by monoidal
duplicate: Reported two times, see #7827.
2:49 PM Ticket #7828 (RebindableSyntax and Arrow) created by AlessandroVermeulen
When trying to add constraints to the types of the arrow primitives I get …
2:45 PM Changeset in ghc [9892998f]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
fixed bug in fast-call detection logic; added: do not check for bad space if all lambdas are oneshot
11:44 AM Ticket #7827 (GHC internal error: `a' is not in scope during type checking, but it ...) created by guest
In the attached code the following lines give an internal GHC error. At …
11:44 AM Ticket #7826 (GHC internal error: `a' is not in scope during type checking, but it ...) created by guest
In the attached code the following lines give an internal GHC error. At …

Apr 9, 2013:

4:42 PM Changeset in ghc [defcacc6]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
I think the CorePrep float approximation is correct and the cg is precise
3:36 PM Ticket #7825 (Class used as a type parameter typechecks) closed by monoidal
fixed: Thanks for the report. The bug is already fixed in HEAD. […] See also …
3:11 PM Ticket #7629 (segmentation fault in compiled program, involves gtk, selinux) closed by igloo
fixed: wgmitchener: It's something one of the GHC team does. I've now validated …
2:07 PM Ticket #7825 (Class used as a type parameter typechecks) created by mojojojo
[…] This code compiles without any errors. The issue originates from …
1:02 PM Changeset in ghc [27cf625]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 segfaults on SELinux machines; fixes #7629 Patch from wgmitchener. From the ticket: The two addresses (adjustorStub and code) contain the same memory (double-mapped), but one is writable while the other is executable. This is how libffi works around the SELinux restrictions. On non-SELinux systems the code and data addresses are probably the same.
12:39 PM Changeset in ghc [75ed401]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 CPP in ByteCodeItbls I tried making mkJumpToAddr return [Word32] on all platforms, but it went wrong on x86 (possibly due to alignment?). Rather than chasing the bug, I've just used an Either type for now.
12:15 PM Changeset in ghc [978afe6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 the standard state monad transformer in GHCi
10:58 AM Changeset in ghc [91a036f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some __HADDOCK__ CPP I think these are all redundant, now that haddock uses the GHC API
10:53 AM Changeset in ghc [63f3bd8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Generalise the type of fieldSz and use it more

Apr 8, 2013:

11:48 PM Building/RunningTests/Adding edited by afarmer
Update performance tests section to reflect current test framework … (diff)
11:19 PM Ticket #7824 (problem with vector in arm) created by chemistmail
Hello, i try compile my shoutcast server in raspberrypy and have next …
11:11 PM Ticket #7823 (ARM Thumb relocation fails to handle sign of veneer jumps) created by cjwatson
While working on http://hackage.haskell.org/trac/ghc/ticket/7794 on …
7:36 PM Ticket #7822 (Undeclared errors from CMM files during GHC PPC cross compiler build) closed by igloo
duplicate: Thanks for the report, but actually this is unrelated to …
6:52 PM Ticket #7822 (Undeclared errors from CMM files during GHC PPC cross compiler build) created by matts
I'm getting error: function undeclared errors when the Apply.cmm file is …
6:17 PM Ticket #7812 (Ambiguity check too eager with unconstrained type variable) closed by goldfire
invalid: I have figured out a suitable workaround. Instead of using a type family …
4:45 PM Ticket #7821 (PPC cross-compile impossible happened) created by matts
While trying to build a powerpc targetted GHC cross compiler from current …
4:20 PM Changeset in ghc [d1ad8b7]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added -flate-float-singly-SAT-fallback and the corresponding once analysis; now working on precise CG in lam
2:57 PM Ticket #7820 (Installing profiling library BREAKS non-profiling executable) created by rrnewton
I am trying to work through problems with different GHC "ways" so that I …
12:52 PM Ticket #7810 (make show VALUE=VAR depends on ghc-stage1) closed by igloo
wontfix: The problem is that some makefiles are generated during the build: We make …
11:52 AM Ticket #7801 (Change C arithmetic types to integral types.) closed by igloo
wontfix: Thanks for the suggestion, but I think that if we were to make that change …
11:20 AM Ticket #7806 (Dynamic linking and libffi) closed by igloo
fixed: I've filed #7819 for that bug
11:18 AM Ticket #7819 (FreeBSD without system libffi: Shared object "libffi.so.6" not found) created by igloo
In #7806, kazu-yamamoto reported that on FreeBSD without a system libffi: …
1:16 AM Changeset in ghc [c3cd375]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
simplifications; fixed bug in LNE detection; tracking one shot lambdas; fixed bug in CG-in-lam calculation
12:54 AM Changeset in ghc [9e460664]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
There can be several blocks in a PPC/ELF cmm proc add FETCHPC to all of them (this fixes #7814).

Apr 7, 2013:

11:27 PM Ticket #7818 (Cost of STACK object should be attributed to CCCS at time of thread ...) created by ezyang
Right now, we always charge STACK objects to the SYSTEM cost centre. I …
9:23 PM Ticket #7784 (problems building HEAD dynamic on linux) closed by igloo
fixed: Thanks for the reproduction instructions; fixed.
9:21 PM Ticket #7806 (Dynamic linking and libffi) closed by igloo
fixed: Fixed by #7686 fix
9:19 PM Ticket #7686 (--with-libffi-header=<value> is not propagated to compiler/ghci/LibFFI.hsc ...) closed by igloo
fixed: Applied, thanks!
8:55 PM Changeset in ghc [a443303]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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
8:35 PM Changeset in ghc [2e30197]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Remove tabs (M-x untabify)
8:34 PM Changeset in ghc [8e02c0a5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos
7:59 PM Changeset in ghc [e3abb5a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Propagate ffi includes to compiler/ghci/LibFFI.hsc (Fixes #7686)
5:57 PM Changeset in ghc [4373e84]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 installation; fixes #7784 The build system thought that $(INSTALL_DYNLIBS) contained things like "terminfo", but actually it contains things like "libraries/terminfo".
3:26 PM Changeset in ghc [99190ba4]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
enriching the LLF to predict CorePrep floating
12:53 PM Ticket #7780 (GHC HEAD dll fails to build on Windows) closed by igloo
fixed: OK, the package is now safely split in 2, and a check that the split is …
12:18 PM Changeset in ghc [a7b08c0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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:28 AM Ticket #7817 (Moving basic functions) created by quchen
1. Add the infixl 4 operator ($>) = flip (<$) to Data.Functor. …
10:39 AM Changeset in ghc [444119f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a check that the Windows DLL split is OK; fixes #7780
12:54 AM Changeset in ghc [d9b57e7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typos

Apr 6, 2013:

6:03 PM Changeset in ghc [8c2f2803]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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
5:59 PM Changeset in ghc [93494bd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 a redundant build-system hack We used to have to explicitly pass -lffi when linking the compiler, but it's no longer necessary.
5:59 PM Changeset in ghc [35a341d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Rewrite usingInconsistentPicReg as a table for clarity No change in functionality intended
5:44 PM Changeset in ghc [78544b76]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Build system fix: really print the number of symbols in DLLs
5:31 PM Ticket #7816 ("main function" is not a function) created by monoidal
A module without main gives an error: […] However, main in Haskell is …
4:27 PM Changeset in ghc [c0fb187b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Derive instance Eq for CmmNode
4:10 PM Changeset in ghc [872f2c8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 Type
4:10 PM Changeset in ghc [5df7cf32]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Detab modules with tabs on 5 lines or fewer
4:10 PM Changeset in ghc [6534c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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 TysWiredIn
4:10 PM Changeset in ghc [575cb0c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Split off a InteractiveEvalTypes module to remove an import loop
4:05 PM Commentary/Compiler/CPS edited by heisenbug
escape (diff)
3:56 PM Commentary/PositionIndependentCode edited by heisenbug
add escape (diff)
3:45 PM Changeset in ghc [9a14de48]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Rename the FFI DLL to libffi.dll for consistency
3:45 PM Commentary/Compiler/CPS edited by heisenbug
(diff)
3:42 PM Commentary/Compiler/CPS edited by heisenbug
it is merged (diff)
3:27 PM Changeset in ghc [ba7952b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Change the list of modules that are put into a separate DLL on Windows Fixes #7780.
2:46 PM Changeset in ghc [ff59fea]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
When making a DLL, print the number of symbols that are in it
9:41 AM Changeset in ghc [9b3d4cdd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos

Apr 5, 2013:

5:14 PM Ticket #7815 (STM fails to validate read.) created by fryguybob
This issue was brought up by napping in #haskell with this paste: …
12:46 PM Debugging/CompiledCode edited by heisenbug
there is no -ddump-cmmz any more (diff)
11:44 AM Ticket #7814 (panic in PPC NCG) created by heisenbug
I get panics in the NCG PPC register allocator while compiling these …
7:12 AM Ticket #7813 (Fix mismatched visibility of StgRun) created by PHO
[http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html From …

Apr 4, 2013:

9:21 PM Changeset in ghc [97ee272f]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
Merge branch 'late-lambda-float'
9:21 PM Changeset in ghc [60015db]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added ticky counters for heap and stack checks
3:29 PM Frisby2013Q1 edited by nfrisby
(diff)
2:43 PM Ticket #7812 (Ambiguity check too eager with unconstrained type variable) created by goldfire
Consider the following code: […] GHC 7.6.1 compiles this code without …
9:31 AM Ticket #7798 (test_bindist reports ".../libffi-6.dll (No such file or directory)") closed by thorkilnaur
fixed: For tn23 and presumably also am-deb7-64, this has been fixed by […] …
Note: See TracTimeline for information about the timeline view.