Timeline


and

May 15, 2013:

5:49 PM Ticket #7913 (Argument order not preserved by nubBy) created by paullik
Hello. I recently wanted to know how the element 4 in [2,4] is ruled out …
4:46 PM Changeset in base [26ea882]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Omit T7773 on Msys Patch from Andreas Voellmy
4:46 PM Changeset in ghc [14233fc]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Peyton Jones <simonpj@…>
Omit T7773 on Msys Patch from Andreas Voellmy
4:40 PM Debugging/TickyTicky edited by nfrisby
(diff)
4:11 PM Ticket #7892 (GHC accepts multiple conflicting kind signatures in type class ...) closed by simonpj
fixed
3:03 PM Ticket #7906 (INLINEABLE on class method triggers the error for INLINE) closed by simonpj
fixed: Good point, thanks. Simon
3:02 PM Changeset in ghc [91132acd]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 #7906
3:02 PM Changeset in testsuite [fb63433]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7906
2:56 PM Changeset in ghc [81058c9]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 simplifier output
2:56 PM Changeset in testsuite [4ae7163]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to simplifier output
2:55 PM Changeset in ghc [60e39fa]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 #7891 and #7903
2:55 PM Changeset in testsuite [f923892]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7891 and #7903
2:55 PM Changeset in ghc [cd5b6ba]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@…>
Improved compiler performance! Reason unknown, but hey, it's good news
2:55 PM Changeset in testsuite [aeeb5a0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improved compiler performance! Reason unknown, but hey, it's good news
2:29 PM Changeset in ghc [d533da9]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 Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:20 PM Changeset in ghc [efc515a5]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 Ian Lynagh <ian@…>
Don't try to build bindist wrappers on Windows
1:33 PM Ticket #7268 (Explicit type signatures for top level record pattern matches polymorphism ...) closed by simonpj
fixed: Excellent point thank you. Pattern bindings are devilish tricky. Fixed …
1:27 PM Ticket #7910 (ConstraintKinds and reifyInstances) closed by simonpj
fixed: Good point thank you! There's a slight question about the "right" …
1:25 PM Ticket #7888 (Impredicativity flag needed more often) closed by simonpj
fixed: There really is a reason for this. The elaborated definition would be …
1:16 PM Changeset in ghc [672553e]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 reifyInstances expand type synonyms robustly (Trac #7910)
1:16 PM Changeset in ghc [ca2d30c9]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@…>
Comments only
1:16 PM Changeset in ghc [0452021]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 typechecking of pattern bindings that have type signatures (Trac #7268) Pattern bindings are jolly tricky to typecheck, especially if there are also type signatures involved. Trac #7268 pointed out that I'd got it wrong; this fixes it. See Note [Typing patterns in pattern bindings] in TcPat.
1:16 PM Changeset in ghc [1d4704d4]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 pretty-printing of inline-family pragmas; fixes Trac #7906
1:16 PM Changeset in ghc [fe389f5]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 splitHsAppTys look through parentheses, fixing Trac #7903 This was really just an oversight from long ago.
1:16 PM Changeset in ghc [a18ea4f2]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 'undefined' have the magical type 'forall (a:OpenKind).a' This fixes Trac #7888, where the user wanted to use 'undefined' in a context that needed ((forall a. a->a) -> Int). We allow OpenKind unification variables to be instantiate with polytypes (or unboxed types), hence the change. 'error' has always been like this; this change simply extends the special treatment to 'undefined'. It's still magical; you can't define your own wrapper for 'error' and get the same behaviour. Really just a convenience hack.
1:16 PM Changeset in ghc [a91e2304]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@…>
Comments only
1:08 PM Changeset in ghc [600726c]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@…>
Update test for application of (->) to Int#
1:08 PM Changeset in testsuite [f29f980]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update test for application of (->) to Int#
12:15 PM Changeset in ghc [8a58851]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 Amos Robinson <amos.robinson@…>
SpecConstr: seed specialisation of top-level bindings, as with letrecs. When specialising a top-level recursive group, if none of the binders are exported then we can start specialising based on the later calls to the functions. This is instead of creating specialisations based on the RHS of the bindings. The main benefit of this is that only specialisations that will actually be used are created. This saves quite a bit of memory when compiling stream-fusion and ForceSpecConstr sort of code. Nofib has an average allocation and runtime of -0.7%, maximum 2%. There are a few with significant decreases in allocation (10 - 20%) but, interestingly, those ones seem to have similar runtimes. One of these does have a significantly reduced total elapsed time though: -38%. On average the nofib compilation times are the same, but they do vary with s.d. of -4 to 4%. I think this is acceptable because of the fairly major code blowup fixes this has for fusion-style code. (In one example, a SpecConstr was previously producing 122,000 term size, now only produces 28,000 with the same object code)
11:15 AM Ticket #7912 (Missing symbols from termios.h when linking on Android) created by neurocyte
The Bionic libc that is used on Android defines the symbols in termios.h …
9:37 AM Changeset in ghc [2ef4463d]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 #7892
9:37 AM Changeset in testsuite [219647b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7892
9:29 AM Ticket #7911 (The following code makes ghc panic) closed by michalt
duplicate: This should be already fixed: #5961. :-)
9:27 AM Changeset in ghc [7a7ace72]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 #7888
9:27 AM Changeset in testsuite [db17490]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7888
9:25 AM Changeset in ghc [1fab45ea]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 #7268
9:25 AM Changeset in testsuite [76176e6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7268
9:22 AM Changeset in ghc [15013c03]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@…>
Better error message
9:22 AM Changeset in testsuite [c4e556d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better error message
9:21 AM Changeset in ghc [866b6e4]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@…>
Wibbles to error messages
9:21 AM Changeset in testsuite [a7b1a57]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages
9:20 AM Changeset in ghc [464dc371]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@…>
Update test now that undefined has an OpenKind forall
9:20 AM Changeset in testsuite [6a0c94f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update test now that undefined has an OpenKind forall
9:19 AM Changeset in ghc [f9763a53]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 #7910
9:19 AM Changeset in testsuite [c432fbc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7910
5:07 AM Ticket #7911 (The following code makes ghc panic) created by guest
This code has a bug (lowercase show instead of uppercase Show), but it …
12:53 AM Changeset in ghc [41e5229c]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 Ian Lynagh <ian@…>
Link to the right RTS whenever we build a .dll on Windows When GHCi makes temporary DLLs, those also need to be linked against the right RTS, or we won't be able to load them.

May 14, 2013:

10:14 PM Ticket #7910 (ConstraintKinds and reifyInstances) created by elliottt
reifyInstances doesn't appear to know how to deal with a constraint that …
9:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:42 PM MakingReleases edited by igloo
(diff)
8:23 PM Changeset in ghc [192c7b74]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 Ian Lynagh <ian@…>
Define the right RTS config in the Windows dyn wrapper programs This is particularly important as without it validate fails, as it tries to pass RTS options to haddock, and with the default RTS config those options aren't permitted.
6:40 PM Changeset in ghc [2c9cb4d]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 Ian Lynagh <ian@…>
Stop excluding the dyn way for the dph packages on Windows Now that we can build the GHC package the dyn way, there's no need to exclude them.
4:36 PM Changeset in ghc [f00fac6]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
schedulePushWork eagerly releases the capability if there are pending upcall actions. Standardized MVar interface in chameneos-redux benchmark -- explicit use of resume tokens and result holes (for takeMVar) does not seem to buy much.
3:41 PM Changeset in ghc [69a343a]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 Ian Lynagh <ian@…>
Fix ghci on Windows when GHC is dynamically linked On Windows, we need to prepend "lib" to Haskell DLLs. (maybe we should be naming the DLLs without the prefix instead? But this works for now).
12:53 PM Changeset in ghc [bb2795db]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 Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:49 PM Changeset in ghc [60b86b0]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 Ian Lynagh <ian@…>
Fix the GHC package DLL-splitting There's now an internal -dll-split flag, which we use to tell GHC how the GHC package is split into 2 separate DLLs. This is used by Packages.isDllName to determine whether a call is within the same DLL, or whether it is a call to another DLL.
12:01 PM Ticket #7909 (GHC doesn't respect -optl and -optc in a couple of places) created by simonmar
A legitimate use of -optl and -optc is to pass options that should …
10:46 AM Ticket #7908 (InstanceSigs suggestion not accepted) created by heisenbug
Attached testcase compiles, but when uncommenting either of the lines 19, …
12:08 AM Changeset in ghc [ff1a16a]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 Ian Lynagh <ian@…>
Simplify ghc-cabal It now consistently takes directory and distDirectory as its first 2 arguments. Also, it only supports configuring 1 package at a time now (we weren't using the ability to configure more than one at once).

May 13, 2013:

9:32 PM Changeset in ghc [c8b7918e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Cleaning up ChameneosRedux
9:09 PM Changeset in ghc [ed49cf37]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
RTS Scheduler minor fix: Upcall thread has more priority than other threads on RTS runqueue.
8:46 PM Changeset in ghc [b8447a9]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 Ian Lynagh <ian@…>
Make the current module available to labelDynamic It doesn't actually use it yet
8:25 PM Changeset in ghc [e80c0c81]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
FairShare scheduling can either be on concrete time or counts
6:53 PM Changeset in ghc [58dcced]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 Ian Lynagh <ian@…>
Use NatM_State record fields, rather than matching/constructing the whole type
6:36 PM Changeset in ghc [7e723a1c]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 Ian Lynagh <ian@…>
Refactor cmmMakeDynamicReference It now has its own class, and the addImport function is defined in that class, rather than needing to be passed as an argument.
6:12 PM Changeset in ghc [1cc96d54]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 Ian Lynagh <ian@…>
Remove redundant cmmMakeDynamicReference' wrapper
6:09 PM Changeset in ghc [dc6968c]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removed tabs
5:22 PM Changeset in ghc [361e097]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added ConcurrentList specialized for chameneos redux
4:04 AM Debugging/InstallingPackagesInplace edited by domtheo
(diff)
4:02 AM ViewPatterns edited by domtheo
(diff)
3:24 AM WorkingConventions edited by butoijoh
(diff)
3:23 AM Building/Porting edited by butoijoh
(diff)
3:07 AM Changeset in ghc [089cb621]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@…>
Kill dead code. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:30 AM Ticket #7907 (patch to make comment about stgclosure struct more accurate) created by carter
I've been digging into the rts code to understand function application …

May 12, 2013:

8:47 PM Changeset in ghc [622ae3c]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added debug messages to tease out the unsafe use of withArrayLen. Added comment.
7:32 PM Changeset in ghc [9d18aea]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 Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:31 PM Changeset in ghc [0aae2980]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 Ian Lynagh <ian@…>
Merge win:/cygdrive/c/ghc/git/dt
7:25 PM Changeset in ghc [b35a6ce0]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 Ian Lynagh <igloo@…>
More work towards dynamic programs on Windows Dynamic GHC is now working in-place, but pathologically slow due to the DLL split. (GHC assumes that all intra-package calls are in the same DLL, but that isn't true when we split the GHC package into 2 DLLs. That means that GHC's startup time is around 22 seconds, as it is doing run-time linking). Also, ghci isn't actually working yet: $ inplace/bin/ghc-stage2 --interactive GHCi, version 7.7.20130512: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... <command line>: can't load .so/.DLL for: HSghc-prim-0.3.1.0.dll (addDLL: could not load DLL) ghc-stage2.exe: HSghc-prim-0.3.1.0: The specified module could not be found.
4:45 PM WikiStart edited by monoidal
link new status report (diff)
4:22 PM Changeset in ghc [b9358412]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@…>
Remove obsolete documentation. Type variables can no longer be unqualified operators. Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:27 PM Changeset in ghc [b2cae55]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 Ian Lynagh <igloo@…>
We actually need to use -threaded/-debug when linking /all/ DLLs Not just base, integer-gmp and ghc-prim.
2:15 PM Changeset in ghc [962fd59e]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 Ian Lynagh <ian@…>
Change how we detect what library ways are available We used to use the base package to do the detection. However, base has extra-lib-dirs: @ICONV_LIB_DIRS@ in base.buildinfo.in, which means that if ICONV_LIB_DIRS is set then the package config will have library-dirs: [...]base/dist-install/build /path/for/iconv and, as paths may be double quoted and contains spaces, this makes it a little tricky to extra the path that we want to look in (the first path). We therefore now use the ghc-prim package, which has no such complication.
2:15 PM Changeset in testsuite [d047edf]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Change how we detect what library ways are available We used to use the base package to do the detection. However, base has extra-lib-dirs: @ICONV_LIB_DIRS@ in base.buildinfo.in, which means that if ICONV_LIB_DIRS is set then the package config will have library-dirs: [...]base/dist-install/build /path/for/iconv and, as paths may be double quoted and contains spaces, this makes it a little tricky to extra the path that we want to look in (the first path). We therefore now use the ghc-prim package, which has no such complication.
2:01 PM Changeset in ghc [a2be710]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 Ian Lynagh <ian@…>
Modernise some code Use do notation rather than thenM in typecheck/TcHsSyn.lhs
1:33 PM Changeset in ghc [4e84e51e]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 Ian Lynagh <ian@…>
Remove a "returnM = return" wrapper in typecheck/TcHsSyn.lhs
1:30 PM Changeset in ghc [ee4a534]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 Ian Lynagh <ian@…>
Remove a "mappM = mapM" wrapper in typecheck/TcHsSyn.lhs
1:28 PM Changeset in ghc [3a1ecd9]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 Ian Lynagh <ian@…>
Whitespace only in typecheck/TcHsSyn.lhs
1:22 PM Changeset in ghc [fe427ea]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 Ian Lynagh <ian@…>
Remove an old commented out import
1:19 PM Changeset in ghc [40cdee72]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 Ian Lynagh <ian@…>
Modernise code in rename/RnEnv.lhs Removed a definition of thenM, and used do notation instead
12:28 AM Changeset in ghc [4a46649]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removed tabs
12:27 AM Changeset in ghc [3eea595]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added explicit error condition in Chameneos:complement

May 11, 2013:

9:37 PM Changeset in ghc [cfb7a56f]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Handling corner-cases in resuming schedulers that were blocked on foreign call and blackholes.
8:48 PM Ticket #7890 (Static linking of GHC 7.7 does not work correctly) closed by igloo
worksforme: I've done some experimentation, and I think this is all caused by some …
4:58 PM Ticket #7906 (INLINEABLE on class method triggers the error for INLINE) created by guest
[…] causes the following error […] Which incorrectly refers to …
3:34 PM Ticket #7905 (Type checker barfs on nonsensical expression) closed by simonpj
fixed: HEAD is happy: […] (I had to import Identity from Data.Functor
3:19 PM Ticket #7905 (Type checker barfs on nonsensical expression) created by jpaugh
I got the infamous "impossible bug" by trying something nonsensical in my …
10:36 AM Ticket #7904 (GHC calls the cc1 of a gcc thats not the first in PATH) closed by igloo
wontfix: As far as I know GHC and Cabal only call gcc, not cc1. However, it's …
10:28 AM Ticket #7726 (unexpected out of memory error on FreeBSD) closed by igloo
worksforme: OK, thanks for getting back to us. I think we will have to optimistically …
5:12 AM Ticket #7904 (GHC calls the cc1 of a gcc thats not the first in PATH) created by carter
I was earlier today trying to build some haskell code that ffi's out to …

May 10, 2013:

11:26 PM Ticket #7871 (7.6.3 failed to build with make -j12) closed by igloo
fixed: Thanks for the report. Happily, it looks like this is already fixed in …
10:10 PM Changeset in ghc [eb2f9199]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Added FairShare user-level scheduler. Uses heavy-weight getClockTime.
9:49 PM Changeset in ghc [315b36b]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 Ian Lynagh <ian@…>
Some build system tweaks
8:58 PM Changeset in ghc [eb569b6a]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 Ian Lynagh <ian@…>
Fix an all-target call in the build system
8:53 PM Changeset in ghc [3d51be45]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 Ian Lynagh <ian@…>
Make sure the RTS is built, even when no programs are being built with stage1 Part of #7841
8:27 PM Ticket #7840 (Abort and Seg fault on Mac OS X) closed by igloo
worksforme: This (especially the 3rd problem) sounds like a dodgy hardware problem to …
6:37 PM Changeset in ghc [dd4b7b8e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Testing time accounting in scheduler (ChameneosRedux). Added default (unit) SCont-local state in newSCont function.
6:28 PM Changeset in ghc [ebd51659]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 Ian Lynagh <ian@…>
Add a test for #7373
6:28 PM Changeset in testsuite [b0123eb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7373
5:47 PM Ticket #7903 (Failure to find class instance specified with extra parentheses) created by conal
The following two-line program fails to compile under GHC 7.6.3 and …
4:24 PM Debugging/InstallingPackagesInplace edited by monoidal
revert spam (diff)
4:24 PM Building/Porting edited by monoidal
revert spam (diff)
4:23 PM ViewPatterns edited by monoidal
revert spam (diff)
4:21 PM WorkingConventions edited by monoidal
revert spam (diff)
3:30 PM Changeset in ghc [8241cdd]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 Ian Lynagh <ian@…>
Remove a redundant wrapper function
3:24 PM Changeset in ghc [0499eac9]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 Ian Lynagh <ian@…>
Make -fno-flat-cache use a dynamic, rather than static, flag
2:32 PM SplitBase edited by igloo
(diff)
1:32 PM Changeset in ghc [985a2212]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 Ian Lynagh <ian@…>
Fix library way detection; fixes the ImpSafeOnly* tests when BINDIST=YES We were checking paths with if [ -f '"/path/to/Prelude"' ] i.e. the " quotes were being quoted by the ' quotes. Now we just use " quotes (which come from the ghc-pkg output).
1:32 PM Changeset in testsuite [b32d38a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix library way detection; fixes the ImpSafeOnly* tests when BINDIST=YES We were checking paths with if [ -f '"/path/to/Prelude"' ] i.e. the " quotes were being quoted by the ' quotes. Now we just use " quotes (which come from the ghc-pkg output).
1:31 PM Changeset in ghc [8eb3cf9]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 Ian Lynagh <ian@…>
Tidy up the driver slightly
1:31 PM Changeset in testsuite [82ebad7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Tidy up the driver slightly
8:41 AM Changeset in ghc [af43126]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 Marlow <marlowsd@…>
unbreak tests (removal of block/unblock)
8:41 AM Changeset in testsuite [15278694]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
unbreak tests (removal of block/unblock)
8:02 AM Changeset in ghc [674cf902]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 Marlow <marlowsd@…>
rts_checkSchedStatus: exit the thread, not the process, when Interrupted This means that when the process is shutting down, if we have calls to foreign exports in progress, they get forcibly terminated as before, but now they only shut down the calling thread rather than the whole process (with -threaded). This came up in a discussion started by Akio Takano on ghc-users.
8:02 AM Changeset in ghc [f010e1a]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 Marlow <marlowsd@…>
Add a test for shutting down a process with in-calls in progress
8:02 AM Changeset in testsuite [640750a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add a test for shutting down a process with in-calls in progress
6:49 AM Debugging/InstallingPackagesInplace edited by domtheo
(diff)
6:48 AM Building/Porting edited by butoijoh
(diff)
6:46 AM ViewPatterns edited by domtheo
(diff)
6:43 AM WorkingConventions edited by butoijoh
(diff)
3:40 AM Ticket #7902 (Add support for byte endianness swapping exposed as a primops) created by tab
Add support for W32 and W64 endianness swapping as a new primops (bSwap32# …
Note: See TracTimeline for information about the timeline view.