Timeline


and

Jun 1, 2013:

6:16 PM Changeset in ghc [f83994e]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a comment

May 31, 2013:

10:57 PM Ticket #7715 (threadDelay causes segfault on Mac if compiled by 32bit GHC) closed by kazu-yamamoto
duplicate: This ticket was moved to: #7953
6:01 PM Changeset in base [d901b4c]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:01 PM Changeset in ghc [de1ae80b]wip/T9016wip/ampwip/coveritywip/orf by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:22 PM Changeset in ghc [da345e4]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Use the symmetric version of the newtype coercion.
3:12 PM Changeset in ghc [fc9229df]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Build statically when using LLVM. The LLVM back end does not yet work when building dynamically.
2:25 PM Ticket #7953 (Segfault on x86 with -O2) created by igloo
First reported by Kazu Yamamoto in …
10:51 AM TemplateHaskell/Typed edited by gmainland
(diff)
2:58 AM Changeset in base [14bd3c1a]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
2:58 AM Changeset in ghc [dac845cb]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
1:25 AM Changeset in base [a9a9ce6]data-proxyghc-7.8 by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594
1:25 AM Changeset in ghc [cb2f2d4]wip/T9016wip/ampwip/coveritywip/orf by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594

May 30, 2013:

11:41 PM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) closed by igloo
fixed: Applied, thanks!
11:41 PM Ticket #7945 (Fix build on platform which does not support shared libraries.) closed by igloo
fixed: Applied, thanks!
11:08 PM Changeset in base [216d590]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
11:08 PM Changeset in ghc [3730af0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
10:07 PM Changeset in ghc [8e51a7ab]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
add arm-unknown-linux to platforms which do not support shared libs This patch disables shared libs support on arm-unknown-linux platform. It unbreaks ghc-stage2 on this platform after recent Ian's changes in dynamic/shared libs domain. The reason why ghc-stage2 fails when linked with shared libs is still unknown so this is just a workaround at the moment, but it at least recovers previous "correct" behavior of ghc-stage2 on ARM/Linux
10:07 PM Changeset in ghc [192a8f9]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs
9:03 PM Changeset in ghc [d0ecba6]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a trailing case in making FamInstTyCon, where the invariant didn't hold, leading to subsequent chaos. Happily an ASSERT caught it.
9:03 PM Changeset in ghc [3d81b68]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Define chkAppend, and use it Somtimes we need (xs ++ ys) in situations where ys is almost always empty. Utils.chkAppend checks for that case first.
8:26 PM NewAxioms edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies created by goldfire
8:13 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
7:40 PM Changeset in ghc [7849266c]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:38 PM Changeset in ghc [26c7d94]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Run ghc-pkg check during validate Should help to track down cache-out-of-date problems
6:18 PM Changeset in ghc [896d0f1a]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
When verbose, give more information about cache status
4:20 PM Changeset in ghc [ac330cb]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Add a primitive for coercing values into dictionaries in a special case. The details of this are described in Note [magicSingIId magic] in basicTypes/MkId.lhs
3:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:38 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:37 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:34 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:18 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:15 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:12 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:51 PM Ticket #7786 (strange errors when deducing constraints) closed by simonpj
fixed
2:48 PM Changeset in base [898fd6c]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:48 PM Changeset in ghc [822ce01e]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:22 PM Changeset in ghc [bc5bf1b3]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove an out-of-date comment
2:20 PM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: OK done. Do you want to look at #7401? Simon
2:19 PM Changeset in ghc [5b08752]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:19 PM Changeset in testsuite [f35851f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:18 PM Changeset in ghc [71178ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:18 PM Changeset in testsuite [286314f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:12 PM Changeset in ghc [30059bd8]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Read for empty data types (again; Trac #7931)
2:03 PM Changeset in ghc [9051d7fc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
2:03 PM Changeset in testsuite [245e5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
1:43 PM Ticket #7797 (re-enable the defun RULE from a SPECIALISE instance pragma) closed by simonpj
fixed: Finally done! I hope this will improve some old regressions. Simon
1:30 PM Ticket #7785 (Module-local function not specialized with ConstraintKinds) closed by simonpj
fixed: Thanks for pointing this out. I've fixed it now. Simon
1:29 PM Changeset in ghc [967f6852]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in ghc [56f4215e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in testsuite [029a95a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in testsuite [8854b27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in ghc [2e7d1fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:29 PM Changeset in testsuite [0d3fcf2f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:28 PM Changeset in ghc [4112b1f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:28 PM Changeset in testsuite [e0481fc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in ghc [4316bc3f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in testsuite [ae9f9737]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:21 PM Ticket #4185 (Deriving higher-arity instances for newtype family instances fails) closed by simonpj
fixed: Sorry it has taken so long, but finally done! Simon
1:20 PM Ticket #7903 (Failure to find class instance specified with extra parentheses) closed by simonpj
fixed: OK I think I've done it. This is a very unsavoury part of the compiler. …
1:17 PM Ticket #7809 (Silly error message suggesting LiberalTypeSynonyms) closed by simonpj
fixed
1:16 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:15 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:09 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:07 PM Changeset in ghc [0a5065a8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in ghc [182e34b4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:07 PM Changeset in testsuite [d9f7af8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in testsuite [c4ea06f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:06 PM Changeset in ghc [827cc50]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eta-reduce data/newtype family instance axioms (Trac #4185) This long-overdue fix arranges to eta-reduce the axiom for a data/newtype instance in the same way that we have longq eta-reduced the axiom for a newtype. See Note [Eta reduction for data family axioms] in TcInstDcls and Note [Deriving, type families, and partial applications] in TcDeriv.
1:03 PM Changeset in ghc [8d49ef1]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use new TcHsType.zonkSigType to establish Type invariants Finally (I hope) fixes Trac #7903. See Note [Zonking inside the knot] in TcHsSyn
1:03 PM Changeset in ghc [936001c]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve validity check to give better error message Fixes Trac #7809
1:03 PM Changeset in ghc [5949ff2d]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refine 'type_determines_value' in Specialise. Fix Trac #7785. See Note [Type determines value] in Specialise.
12:48 PM Changeset in base [b1fc627]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:48 PM Changeset in ghc [95853c70]wip/T9016wip/ampwip/coveritywip/orf by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:28 PM Changeset in nofib [4445d7b]ghc-7.8 by Ian Lynagh <ian@…>
Default to 'ghc' rather than '$(HC)' for BOOT_HC It's likely that $(HC) won't have all the packages installed that we need to compile nofib-analyse. Whatever ghc is in the path is a better bet.
11:09 AM Changeset in ghc [762b7775]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in testsuite [7456a2b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in ghc [4039397]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:09 AM Changeset in testsuite [442cc21]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:08 AM Changeset in ghc [1ed04090]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make 'SPECIALISE instance' work again This is a long-standing regression (Trac #7797), which meant that in particular the Eq [Char] instance does not get specialised. (The *methods* do, but the dictionary itself doesn't.) So when you call a function f :: Eq a => blah on a string type (ie a=[Char]), 7.6 passes a dictionary of un-specialised methods. This only matters when calling an overloaded function from a specialised context, but that does matter in some programs. I remember (though I cannot find the details) that Nick Frisby discovered this to be the source of some pretty solid performanc regresisons. Anyway it works now. The key change is that a DFunUnfolding now takes a form that is both simpler than before (the DFunArg type is eliminated) and more general: data Unfolding = ... | DFunUnfolding { -- The Unfolding of a DFunId -- See Note [DFun unfoldings] -- df = /\a1..am. \d1..dn. MkD t1 .. tk -- (op1 a1..am d1..dn) -- (op2 a1..am d1..dn) df_bndrs :: [Var], -- The bound variables [a1..m],[d1..dn] df_con :: DataCon, -- The dictionary data constructor (never a newtype datacon) df_args :: [CoreExpr] -- Args of the data con: types, superclasses and methods, } -- in positional order That in turn allowed me to re-enable the DFunUnfolding specialisation in DsBinds. Lots of details here in TcInstDcls: Note [SPECIALISE instance pragmas] I also did some refactoring, in particular to pass the InScopeSet to exprIsConApp_maybe (which in turn means it has to go to a RuleFun). NB: Interface file format has changed!

May 29, 2013:

9:24 PM Ticket #7952 (Can cost-centre annotations be included in -ddump-simpl?) created by nr
I'm trying to diagnose an allocation problem. I'm using both explicit …
8:19 PM Records/OverloadedRecordFields/Plan created by adamgundry
6:28 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:28 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:27 PM Ticket #7949 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
5:41 PM Ticket #7948 (hp2ps --help typo) created by nomeata
Says       -c  colour ouput instead of       -c  colour output Patch …
3:02 PM Ticket #7947 (Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified ...) created by a.ulrich
The bug is triggered by the following minimal example. Types A.A and B.B …
2:38 PM NewAxioms edited by goldfire
(diff)
2:38 PM NewAxioms edited by goldfire
(diff)
2:36 PM NewAxioms/TypeSpaces created by goldfire
2:31 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
2:28 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
2:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:02 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:00 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:58 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:57 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:49 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:47 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:40 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:23 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
1:12 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:59 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
12:44 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:43 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:42 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
11:42 AM NewAxioms/Nonlinearity created by goldfire
11:28 AM NewAxioms edited by goldfire
(diff)
8:53 AM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) created by kgardas
This patch disables shared libs support on arm-unknown-linux platform. It …
8:49 AM Ticket #7945 (Fix build on platform which does not support shared libraries.) created by kgardas
The problem with current HEAD is that DYNAMIC_GHC_PROGRAMS = YES even if …
8:13 AM Changeset in testsuite [34a7f7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'overlapping-tyfams' of ssh://github.com/goldfirere/testsuite into overlapping-tyfams
8:12 AM Changeset in testsuite [50bfe9a]overlapping-tyfams by Richard Eisenberg <eir@…>
Fix test case to reflect banning nonlinear standalone instances.
4:49 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) created by bos
I ran across a peculiar case this evening: a benchmark that I can't …

May 28, 2013:

8:34 PM Changeset in nofib [a0d10e4]ghc-7.8 by Ian Lynagh <ian@…>
Don't use -package array everywhere Only use it in benchmarks that use arrays
8:12 PM Changeset in nofib [d2711be]ghc-7.8 by Ian Lynagh <ian@…>
Fix booting again
7:52 PM Changeset in nofib [99351bc]ghc-7.8 by Ian Lynagh <ian@…>
We don't have to override WERROR now that we don't use the GHC build system
7:48 PM Changeset in nofib [730aa6b]ghc-7.8 by Ian Lynagh <ian@…>
Get the value of SplitObjs from the compiler we're using
7:36 PM Changeset in nofib [6e02493]ghc-7.8 by Ian Lynagh <ian@…>
Make the nofib build system independent of the GHC build system
7:31 PM Changeset in nofib [6d9c6d2]ghc-7.8 by Ian Lynagh <ian@…>
Build system: Remove unused DLL_PEN
7:28 PM Changeset in nofib [4a98a31]ghc-7.8 by Ian Lynagh <ian@…>
Remove doc-building support from the build system We don't build any docs in nofib
7:16 PM Changeset in nofib [0d78412]ghc-7.8 by Ian Lynagh <ian@…>
Remove build system code for multiple ways support It looks like it wasn't working anyway.
4:58 PM Changeset in nofib [59add55]ghc-7.8 by Ian Lynagh <ian@…>
Tweak the Makefiles
2:46 PM Changeset in nofib [70672f1]ghc-7.8 by Ian Lynagh <ian@…>
Change how we find a GHC to test We now do something similar to what the testsuite does.
2:27 PM Changeset in ghc [d82a628]overlapping-tyfams by Richard Eisenberg <eir@…>
Code compiles. Now, on to the testsuite. Also, documentation updated.
1:36 PM Changeset in nofib [cb6100f]ghc-7.8 by Ian Lynagh <ian@…>
Update a comment
1:34 PM Changeset in nofib [fbf1841]ghc-7.8 by Ian Lynagh <ian@…>
Remove some unused variables
1:08 PM Changeset in nofib [8b39ff5]ghc-7.8 by Ian Lynagh <ian@…>
Remove USE_NEW_MKDEPEND_FLAGS It was always YES anyway
1:04 PM Ticket #7943 (Malformed record leads to panic) closed by simonpj
fixed: Good point, thank you Simon
1:03 PM Changeset in ghc [3a596be]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7943
1:03 PM Changeset in testsuite [d401d27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7943
12:57 PM Changeset in nofib [301adc7]ghc-7.8 by Ian Lynagh <ian@…>
Remove references to MKDEPENDC It no longer exists
12:14 PM Changeset in ghc [cfb9bee7]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Check for illegal syntax in types (fixes Trac #7943)
11:13 AM Changeset in ghc [e8fbb01]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed interface loading bug, and a few other little changes.
10:17 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:14 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:07 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:53 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:41 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:05 AM Changeset in testsuite [2858b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
9:04 AM Changeset in ghc [95633a69]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:50 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) closed by simonpj
fixed: Good point. The previous fix (in #2993) avoided a bogus error when the …
8:48 AM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: Good point, thanks. Simon
8:47 AM Ticket #7939 (RHS of associated type not kind-checked) closed by simonpj
fixed: I think the main error was fixed by my improvements to kind …
8:25 AM Changeset in ghc [b94e98a]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Print kinds of non-* tyvar binders in pprTyThing This makes the output of :info more useful
8:25 AM Changeset in ghc [efc8ad15]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Give 'unboundName' a very low binding precedence This fixes Trac #7937
8:25 AM Changeset in ghc [cf7e2fa]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accept derived Read on an empty data type (Trac #7931)
8:25 AM Changeset in ghc [3d0d8d0]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not do an ambiguity check on the type in a GHCi ":kind" command Otherwise we get errors for polykinded type families; type family F a :: * Then :k F would give an ambiguity check trying to unify (F k1) with (F k2), which is all a bit stupid. I found this when investigating Trac #7939
8:20 AM Changeset in ghc [02e0df0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7937
8:20 AM Changeset in testsuite [083397f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7937
7:59 AM Changeset in ghc [0d0c71e]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. The sources compile, but the libraries don't yet.

May 27, 2013:

11:22 PM Ticket #7943 (Malformed record leads to panic) created by scvalex
The following code makes GHC panic (note the extra String after B): …
9:45 PM Changeset in base [eb5cb1d]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:45 PM Changeset in ghc [083a45e]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:44 PM Changeset in base [f7fb908]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:44 PM Changeset in ghc [02b9a24]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:04 PM Changeset in ghc [09a8a7fd]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint.
8:37 PM Changeset in ghc [4af50af]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:33 PM Changeset in ghc [0276b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint during compilation.
8:16 PM Changeset in ghc [adc50625]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to compile.
7:13 PM Ticket #7942 (aarch64 support in ghc) created by jcapik
Hello. Please, introduce the aarch64 support in ghc. The latest LLVM …
6:35 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) created by jstolarek
Running make maintainer-clean in the build tree doesn't remove all build …
4:33 PM Changeset in ghc [28207fb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Explicit kinds in :info command ===> testsuite wibbles
4:33 PM Changeset in testsuite [3152092]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Explicit kinds in :info command ===> testsuite wibbles
4:32 PM Changeset in ghc [302b38b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7931
4:32 PM Changeset in testsuite [1ed0be8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7931
4:32 PM Changeset in ghc [d90640e7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7939
4:32 PM Changeset in testsuite [254605d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7939
4:18 PM Ticket #7940 (Building GHC 7.7.20130526 (perf) for Windows x86_64 fails with Cmm lint ...) created by awson
Building GHC 7.7.20130526 for Windows x86_64 fails with the following …
3:20 PM Changeset in ghc [9b8dc72]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working in FamInst on newFamInst.
9:45 AM Ticket #7939 (RHS of associated type not kind-checked) created by goldfire
The following code compiles without complaint: […] We can see here …
9:41 AM Ticket #7938 (Unbound kind variable can appear in RHS of associated type) created by goldfire
Consider the following code: […] The kind variable k2 appears …
8:34 AM Changeset in ghc [3358270]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource
4:47 AM Ticket #7904 (GHC calls the cc1 of a gcc thats not the first in PATH) closed by carter
invalid: after much much digging, looks like its a cabal side problem
1:13 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) created by ktvoelker
I was using QuickCheck? and wrote something like this: a > 0 ==> a == b …
Note: See TracTimeline for information about the timeline view.