Timeline


and

May 8, 2013:

9:14 PM Platforms edited by kili
typo (diff)
9:00 PM Platforms edited by kili
AIX: latest binardy distribution is 6.4.2. (diff)
8:58 PM Platforms edited by kili
betbsd/dragonflybsd using pkgsrc, so completely outdated and unsupported. (diff)
8:49 PM Platforms edited by kili
sparc OpenBSD? probably not since ghc-5.x. (diff)
7:55 PM Changeset in ghc [b5d895c]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Cleaning up tests
7:51 PM Changeset in ghc [590bb6a]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Refactoring yieldControlAction such that the SCont being switched away from is available. This is useful for thread accountability, and in general, something essential for debugging and optimizing user-level schedulers.
7:49 PM Changeset in base [f982978]data-proxyghc-7.8 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.
7:49 PM Changeset in base [76970e0]data-proxyghc-7.8 by Max Bolingbroke <batterseapower@…>
Add comprehensive test for codepage encodings+recovery for them
7:49 PM Changeset in ghc [2216b897]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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.
7:49 PM Changeset in ghc [802e99a5]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Max Bolingbroke <batterseapower@…>
Add comprehensive test for codepage encodings+recovery for them
3:11 PM Ticket #7898 (SpecConstr explodes when compiling module BSP of frag-1.1.2) created by tinctorius
GHC will get stuck when trying to compile …
2:46 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:44 PM Ticket #7897 (MakeTypeRep fingerprints be proper, robust fingerprints) created by simonpj
A TypeRep currently looks like this: […] If two TypeReps have the …
10:27 AM Ticket #7896 (Type constructor is accepted as context) closed by monoidal
duplicate: Thanks for the report, it's fixed in HEAD (#7697).
10:23 AM Ticket #7896 (Type constructor is accepted as context) created by stefan
Consider the following program: […] It is accepted by the compiler, …
6:14 AM Status edited by carter
woops, linked to the wrong page before (diff)
6:03 AM Status edited by carter
making the spj tickets collection more discoverable (its a really nice set … (diff)
5:50 AM Changeset in ghc [fa74214]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Refactoring tests
5:29 AM Changeset in ghc [3bac6cb5]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Refactor code in LwConc. Added RunQueueStealing.

May 7, 2013:

11:59 PM Changeset in ghc [a23a87e9]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Minor comment edit to TysPrim. Exposing isSContBound* from LwConc.Substrate.
6:53 PM Ticket #7895 (Warning for literal overflow) created by acube
Using ghc 7.6.3, the following compiles without warnings on -Wall: […] …
5:08 PM Ticket #7839 (After forkIO'ing on Intel Mac, putStrLn (presumably) reports "hPutChar: ...) closed by thorkilnaur
duplicate: Replying to PHO: > This must be a duplicate of #7773 since …
4:50 PM Ticket #7894 (Crash on :i M.->) created by monoidal
[…]
12:29 PM Ticket #7893 (GHCi :k shouldn't require type family arguments) closed by parcs
duplicate: Yeah, the functionality already exists in HEAD as a result of #7586: …
12:26 PM Changeset in base [2d0e1d6]data-proxyghc-7.8 by Jose Pedro Magalhaes <jpm@…>
Derive Typeable for RealWorld and (->), now that we can
12:26 PM Changeset in ghc [592e4ae]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Jose Pedro Magalhaes <jpm@…>
Derive Typeable for RealWorld and (->), now that we can
12:22 PM Ticket #7891 (Can't write type signature for top-level polymorphic pattern binding) closed by parcs
duplicate: As far as I can tell this is a duplicate of #7268, so closing. Reopen if …
10:05 AM Ticket #7893 (GHCi :k shouldn't require type family arguments) created by MartijnVanSteenbergen
Hi, […] If I load this program in GHCi and ask for F's kind using `:k …
10:01 AM Ticket #7892 (GHC accepts multiple conflicting kind signatures in type class ...) created by MartijnVanSteenbergen
Hi, Consider this suspicious looking program: […] I use the same …
9:56 AM Ticket #7891 (Can't write type signature for top-level polymorphic pattern binding) created by MartijnVanSteenbergen
Hi, In GHC 7.4.1 and 7.6.3 I can't write a type signature for a top-level …
8:17 AM Changeset in ghc [92191a39]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Allow deriving Typeable for more tycons
5:12 AM Ticket #7890 (Static linking of GHC 7.7 does not work correctly) created by kazu-yamamoto
"cabal install" with ghc-7.7.20130504 fails on Linux. One example: …

May 6, 2013:

8:57 PM Changeset in ghc [a774fb7]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removed unnecessary branch from unblock thread code
7:40 PM Changeset in ghc [758184a]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Tab fixes
7:39 PM Changeset in ghc [06a8c063]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removing tabs from tab free files
7:35 PM Changeset in ghc [f24ff1ea]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Fixed the races in stg_atomicSwitch. Once the atomicSwitch transaction has succeeded, we spin wait till any parallelly running capability that might be giving up control of the target TSO we are switching to has time to perform the necessary cleanup.
3:41 AM Changeset in ghc [9bfbcf8]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removing checks from setSContCapability. Races in stg_atomicSwitch causes SCont stealing to fail.
3:08 AM Changeset in base [d754719]data-proxyghc-7.8 by Andreas Voellmy <andreas.voellmy@…>
Update parallel IO manager to handle the invalid files in the same way as previous IO manager. This patch affects the IO manager using kqueue. See issue #7773. If the kqueue backend cannot wait for events on a file, it will simply call the registered callback for the file immediately. This is the behavior of the previous IO manager. This is not ideal, but it is an initial step toward dealing with the problem properly. Ideally, we would use a non-kqueue mechanism for waiting on files (select seems most reliable) that cannot be waited on with kqueue.
3:08 AM Changeset in ghc [c5a4de9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Andreas Voellmy <andreas.voellmy@…>
Update parallel IO manager to handle the invalid files in the same way as previous IO manager. This patch affects the IO manager using kqueue. See issue #7773. If the kqueue backend cannot wait for events on a file, it will simply call the registered callback for the file immediately. This is the behavior of the previous IO manager. This is not ideal, but it is an initial step toward dealing with the problem properly. Ideally, we would use a non-kqueue mechanism for waiting on files (select seems most reliable) that cannot be waited on with kqueue.

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]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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
Note: See TracTimeline for information about the timeline view.