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
Note: See TracTimeline for information about the timeline view.