Timeline


and

May 5, 2013:

4:45 PM Changeset in ghc [c5b1aeee]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Moved debugPrint (skips IOManager) to LwConc.Substrate
5:11 AM Ticket #7889 (Build Error (master branch)) created by cg31
I got this error while building the master branch. System is Windows 8 …
5:04 AM Changeset in ghc [406b074]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removed tabs from tab free files
4:49 AM Changeset in ghc [061e541]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added support for handling cases where SConts migrate capabilities. However, Sieve/ConcurrentListStealing.hs doesn't perform well when compared to Sieve/ConcurrentList.hs. Hmmm.. Perhaps it has to do with bound threads being stolen? Avoided migrating tso's hosting user-level schedulers (ULS) since there is a possibility that naive implementation of user-level schedulers will get stuck if it were not to account for SCont's (tso's) migrating between capabilities. Migration of ULS is safe, however.
12:19 AM Ticket #7887 (panic when playing with pipes) closed by monoidal
fixed: It's fixed in HEAD. Here's a stripped version without dependency on pipes: …
12:10 AM Ticket #7888 (Impredicativity flag needed more often) created by monoidal
I don't know if this is a bug or a deliberate change, but HEAD requires …

May 4, 2013:

10:19 PM Changeset in ghc [c041b62]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Improve error message for existential newtypes
9:05 AM Changeset in ghc [69b9352]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Improve documentation of kind polymorphism
6:44 AM Changeset in ghc [f3472f55]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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 [11a85cc7]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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 [d75ca39b]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Fix comment to placate Haddock
8:51 AM Changeset in ghc [d3149f6]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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.
Note: See TracTimeline for information about the timeline view.