Timeline


and

Jun 4, 2013:

10:19 PM KindSystem edited by goldfire
(diff)
10:18 PM KindSystem edited by goldfire
(diff)
8:28 PM Ticket #7509 (Changing the second prompt. :{ modules| No setting available to change.) closed by igloo
fixed: All applied, thanks!
8:27 PM Changeset in ghc [2642fe6a]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@…>
Update docs for "set prompt2"
8:13 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Applied, thanks!
7:52 PM Changeset in ghc [d43d63f5]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@…>
Fix thunk leak in CoreM's CoreWriter
7:52 PM Changeset in ghc [557fa200]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 Ian Lynagh <ian@…>
Remove some cruft
7:52 PM Changeset in testsuite [1ad2fda]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove some cruft
7:51 PM Changeset in ghc [753ab0b]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 Ian Lynagh <ian@…>
Performance test for Trac #7702
7:51 PM Changeset in testsuite [3dfc05e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:31 PM Changeset in ghc [cef115f]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@…>
Whitespace only
7:31 PM Changeset in ghc [9ac83e95]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@…>
Reformat help message for `:show` to fit into 80 cols again.
7:30 PM Changeset in ghc [22e5b884]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@…>
Formatting only: fix alignment.
7:30 PM Changeset in ghc [bc44435]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 the ability to customize the continuation prompt. - Remove unused property `def_prompt`.
6:40 PM Ticket #7859 (runghc should give an error when the path to ghc is invalid) closed by igloo
fixed: We now get: […]
6:13 PM Changeset in ghc [65b35319]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 Ian Lynagh <ian@…>
Add a test for #7859
6:13 PM Changeset in testsuite [c6e9f29]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7859
11:41 AM Ticket #7960 (Compiling profiling CCS registration .c file takes far too long) created by duncan
When compiling executables for profiling, ghc generates a .c file …

Jun 3, 2013:

6:28 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
6:27 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:54 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:37 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
2:51 PM Ticket #7959 (Panic on deriving nullary typeclass) created by monoidal
[…] Both data A deriving C and deriving instance C cause panic. …
12:20 PM Changeset in ghc [9a2f8ccc]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@…>
Untabify
12:20 PM Changeset in ghc [a7403029]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@…>
Untabify
12:20 PM Changeset in ghc [f39ca29]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@…>
Untabify
12:20 PM Changeset in ghc [f05cbb1]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@…>
Untabify
12:15 PM Changeset in process [2cdacc6]ghc-7.8 by Geoffrey Mainland <mainland@…>
Fix warning about unused result. This error was breaking validate on Linux for me.
11:57 AM Ticket #7958 ('Cannot continue after interface file error' during compilation) created by jstolarek
I'm trying to compile …
8:20 AM Ticket #7957 (-ddump-minimal-imports should honour -outputdir) created by hvr
When enabling the -ddump-minimal-imports feature for emitting …
2:49 AM Ticket #7956 (ghci segfaults with -vN command-line options) created by mvanier
Invoking ghci with the -vN options (-v0, -v1, -v2, -v3) segfaults.

Jun 2, 2013:

9:18 PM Changeset in process [2b87e24]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 on Windows
9:13 PM Changeset in process [0c4f7b1]ghc-7.8 by Ian Lynagh <ian@…>
Add Windows output for process004 and process010
8:19 PM Changeset in process [206fd81]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Windows
8:10 PM Changeset in process [a079a25]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 following the error improvements
7:57 PM Changeset in process [6cdeb1e]ghc-7.8 by Ian Lynagh <ian@…>
Fix process010 on OS X true and false aren't in /bin on OS X. Now we don't hardcode the path.
7:01 PM Changeset in process [06bb9851]ghc-7.8 by Ian Lynagh <ian@…>
Add a test for better exceptions when ewxecuting programs
6:47 PM Changeset in process [df810a5]ghc-7.8 by Ian Lynagh <ian@…>
Give more meaningful error message when trying to run programs On non-Windows, the child thread now comunicates any errors back to the parent thread via pipes.
5:34 PM Ticket #7955 (CApiFFI doesn't produce wrappers for #defined values in GHCi) created by merijn
When using the FFI's capi calling convention to get access to #defined …
5:29 PM Ticket #7954 (Strictness analysis regression) created by chad.scherrer
The sum function from the Prelude relies on GHC's strictness analysis. …
5:00 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
5:00 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
3:07 PM Changeset in process [c018c63]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:36 PM Changeset in process [f45bb7b]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:09 PM Changeset in process [5933e48]ghc-7.8 by Ian Lynagh <ian@…>
Add some braces for clarity
2:08 PM Changeset in process [95e17b4]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
12:25 PM Changeset in ghc [8c4d1eac]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@…>
Fix a comment Make expands things even in comments
11:47 AM Changeset in base [5fe76f3]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:47 AM Changeset in ghc [f3c261bc]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:43 AM Changeset in base [4b0addb]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove an import loop
11:43 AM Changeset in ghc [889b5bb]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove an import loop

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 …

May 26, 2013:

8:38 PM Ticket #7936 (newStdGen leaks memory when result is not used) created by ryantrinkle
When newStdGen is invoked repeatedly without making any use of the …
8:32 PM Ticket #7729 (GHC panics. Invalid core) closed by simonpj
fixed: OK, thanks for checking! Simon
7:00 PM Ticket #7935 (Syntactic sugar for comonads) created by wvv
It could be useful to have this as extension. More details: …
5:53 PM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
invalid: Aha, thanks for your diagnosis work. However, it looks like the problem …

May 25, 2013:

10:42 PM Changeset in ghc [2ea79ab]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@…>
Revert "Fix -dynamic-too on Windows" This reverts commit 5734f7afcc2b9acf857f8e0f745185bf01b91148. It didn't fully fix -dynamic-too on Windows
10:42 PM Changeset in ghc [20d8e8c]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@…>
Don't try to use -dynamic-too on Windows It doesn't work
10:37 PM Ticket #7934 (usleep hangs, no threads) created by gelisam
import System.Posix.Unistd main = flip mapM_ [0..] $ \i -> do …
6:17 PM Changeset in ghc [6f36790b]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 an echo target to the build system
1:15 PM Ticket #7933 (JavaScript Cmm backend) created by bosu
I'd like to RFC on the attached patch implementing JavaScript Cmm backend …
10:27 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
worksforme: If you pass GHC the -v flag, then you can see what commands it's running, …
10:20 AM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I think you're saying that Cabal doesn't tell GHC to use the cc-options
10:12 AM Ticket #7932 (haskell-src-exts should depend on happy) closed by igloo
invalid: Thanks for the report, but this is not a bug in GHC, so I'm closing this …
4:09 AM Ticket #7932 (haskell-src-exts should depend on happy) created by JasonGross
cabal-dev install haskell-src-exts-1.13.5 fails with a missing happy: $ …

May 24, 2013:

10:58 PM Changeset in ghc [41365ae]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
10:33 PM Changeset in testsuite [198b2b8]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:33 PM Changeset in testsuite [50f37e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '80cac9' into overlapping-tyfams
10:33 PM Changeset in testsuite [75b94f9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master in advanced of implementing the new "Good"" This reverts commit 5ce0666058f1010cf94b14dde7f2985e10a3eb64.
10:25 PM Changeset in ghc [3e7a6815]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:20 PM Changeset in ghc [835b26f]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '8366792' into overlapping-tyfams
10:17 PM Changeset in ghc [68db35e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master, in advance of implementing the new "Good"" This reverts commit 8d890e0e2af839a8a8dc3b360727cffe76372830.
10:17 PM Changeset in ghc [a405f3f1]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit de517abfc031fa3cb116af0bb63af98f3972f621.
5:05 PM Ticket #7931 (Deriving Read of an empty datatype crashes) created by monoidal
Standalone deriving Read of an empty datatype crashes: […] […] …
4:26 PM Ticket #7930 (Nested STM Invariants are lost) created by fryguybob
Invariants from a successful nested transaction should be merged with the …
4:01 PM Changeset in ghc [de517abf]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
1:19 PM Changeset in testsuite [5ce0666]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master in advanced of implementing the new "Good"
1:15 PM Changeset in ghc [8d890e0]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master, in advance of implementing the new "Good"
10:13 AM Changeset in ghc [dcafadf]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@…>
Improve test T7916
10:13 AM Changeset in testsuite [1a3766b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improve test T7916
9:48 AM Changeset in ghc [d8dd3cf9]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 Marlow <marlowsd@…>
Fix crash with large objects (#7919) See comments for details.
8:04 AM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) closed by simonpj
duplicate: Yes I think it's a dup of some combination of #7920, #7905, #7696, #7513. …
4:34 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) created by carter
This is a bug report version of a related ticket. As I discuss in …
1:00 AM Ticket #7928 (GHC fails to terminate while compiling with optimization level 2) created by Ptharien's Flame
When I try to compile random-fu-0.2.4.0 from Hackage, using the command: …

May 23, 2013:

11:13 PM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) created by MitchellSalad
[…] This code caused the following output from GHC: […] The line …
8:27 PM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I'm a little confused by some of the details in the history of this …
5:14 PM Changeset in ghc [ca78233]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
If the upcall thread is killed, RTS Schedule loop raises exception. Sanitized comments.

May 22, 2013:

10:42 PM Ticket #7926 (eventfd: unsupported operation when doing anything) created by guest
I'm using Debian jessie; sources.list is thus: {{{deb …
9:10 PM Ticket #7925 (ghc 7.4.2 builds with errors on Red Had Enterprise Linux 6) created by nr
GHC 7.4.2 builds on RHEL 6, but with three test failures. None of these …
7:48 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) closed by simonpj
worksforme: It works for me with 7.4.2, oddly. Compiling with -O I get the "Boom" …
7:42 PM Changeset in ghc [c1d4cd7e]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 #7924
7:42 PM Changeset in testsuite [6b30a32]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7924
5:10 PM Ticket #7916 (PolyKinds without type signatures) closed by simonpj
fixed: This patch is important too: […]
4:45 PM Changeset in ghc [78618d4]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 #7916
4:45 PM Changeset in testsuite [91d5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7916
4:44 PM Changeset in ghc [09b025e]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@…>
Wibbles to yesterday's "Simplify kind generalisation" patch In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables
4:44 PM Changeset in ghc [b80fcce]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@…>
Comment typo
1:40 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) created by dmwit
The code below exits with exception "Boom" when compiled with no options …
1:07 PM Ticket #7913 (Argument order not preserved by nubBy) closed by igloo
duplicate: This is a duplicate of #2528, which also has some explanation of why …
12:19 AM Changeset in base [165f490]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
12:19 AM Changeset in ghc [8abb62b]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base

May 21, 2013:

3:21 PM PrimBool edited by jstolarek
(diff)
3:05 PM Ticket #5863 (Deriving Typeable for data families) closed by dreixel
fixed: Fixed. The error now is: […] As apparently there is already a test …
2:12 PM Changeset in ghc [c311c2a]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 Jose Pedro Magalhaes <jpm@…>
Update output for T2604
2:12 PM Changeset in testsuite [a4d191e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Update output for T2604
2:12 PM Changeset in ghc [fca24919]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 Jose Pedro Magalhaes <jpm@…>
Add test for T5863 As apparently there is already a test named T5863, I named this one T5863a.
2:12 PM Changeset in testsuite [48e8390]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add test for T5863 As apparently there is already a test named T5863, I named this one T5863a.
2:11 PM Changeset in ghc [9918965]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 Jose Pedro Magalhaes <jpm@…>
Test deriving Typeable for promoted data constructors with AutoDeriveTypeable
2:11 PM Changeset in testsuite [e5c5252]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Test deriving Typeable for promoted data constructors with AutoDeriveTypeable
2:11 PM Changeset in ghc [6806906]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 Jose Pedro Magalhaes <jpm@…>
Fix #5863
2:11 PM Changeset in ghc [6cc5bd79]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 Jose Pedro Magalhaes <jpm@…>
Make AutoDeriveTypeable derive Typeable instances for promoted data constructors
12:52 PM Ticket #7914 (base library's MD5 symbols clash with others) closed by simonmar
fixed: Fixed: commit 749730c1617641ef0fba03f2703f99fa5c24f3d4 […]
12:42 PM Ticket #7909 (GHC doesn't respect -optl and -optc in a couple of places) closed by simonmar
fixed
12:40 PM Ticket #7907 (patch to make comment about stgclosure struct more accurate) closed by simonmar
fixed: Replying to igloo: > Why aren't we just defining StgClosure
12:38 PM Changeset in ghc [22574cf]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 Marlow <marlowsd@…>
fix comment (#7907)
12:38 PM Changeset in ghc [1d3fa86]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 Marlow <marlowsd@…>
Fix a problem caused by very large objects (#7919) As far as I can tell the bug should be harmless, apart from the failing assertion. Since the ticket reported crashes, there might be problems elsewhere that aren't triggered by this test case.
12:38 PM Changeset in ghc [1e2b378]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 Marlow <marlowsd@…>
Handle -opt<blah> options more consistently (#7909) Now these are always added by the run<blah> functions in SysTools, so we never miss any out. Several cleanups resulted.
11:32 AM Changeset in ghc [61b57b26]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@…>
We no longer quantify over an entirely-unused existential type variable
11:32 AM Changeset in ghc [47aebf9]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@…>
Add stderr output
11:32 AM Changeset in testsuite [081af6e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
We no longer quantify over an entirely-unused existential type variable
11:32 AM Changeset in testsuite [7dfb38d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add stderr output
11:32 AM Changeset in ghc [ea5bdfd]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@…>
Improved error message
11:32 AM Changeset in testsuite [65ac291]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improved error message
11:30 AM Changeset in ghc [ce89bde]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@…>
Simplify kind generalisation, and fix Trac #7916 A buglet that exposed an opportunity for some welcome refactoring and simplification. Main changes * TcMType.zonkQuantifiedTyVars is replaced by quantifyTyVars, which does a bit more zonking (so that its clients do not need to) * TcHsType.kindGeneralise becomes a bit simpler, and hands off to quantifyTyVars * A bit of simplification of the hacky code in TcTyClsDcls.tcConDecl, where we figure out how to generalise the data constructor's type * Improve the error message from badExistential when a constructor has an existential type, by printing the offending type * Some consequential simplification in simplifyInfer.
10:13 AM PrimBool edited by jstolarek
(diff)
9:34 AM Changeset in base [749730c]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
Add an __hsbase_ prefix to the MD5 symbols (#7914)
9:34 AM Changeset in ghc [f47ea8e]wip/T9016wip/ampwip/coveritywip/orf by Simon Marlow <marlowsd@…>
Add an __hsbase_ prefix to the MD5 symbols (#7914)
2:19 AM Changeset in unix [c862e71]ghc-7.8 by Ian Lynagh <ian@…>
Move AC_SUBST([EXTRA_LIBS]) later in configure.ac I don't think that it matters, but putting it after all the places that alter EXTRA_LIBS is a little nicer.
2:17 AM Ticket #7921 (DSO linking bug in unix package) closed by igloo
worksforme: The unix package has a check for whether sem_close requires pthread

May 20, 2013:

11:46 PM Commentary/Rts/STM edited by fryguybob
Added commentary on STM (diff)
10:46 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) created by ezyang
Right now, we always add an MVar to the mutable list when we …
10:08 PM Changeset in base [91c2811]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Another build ordering fix
10:08 PM Changeset in ghc [d77b3a0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Another build ordering fix
9:29 PM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) created by carter
currently when GHC is used as the compilation driver for C code, it will …
5:05 PM Changeset in ghc [7c4c48cf]type-nats by Iavor S. Diatchki <diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats
4:06 PM Changeset in ghc [5734f7af]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@…>
Fix -dynamic-too on Windows If we're building the dynamic way too, then hasCafRefs needs to check whether the dynamic way would use a dynamic name.
1:11 PM Ticket #7921 (DSO linking bug in unix package) created by SimonHengel
unix depends on libpthread, but it's not listed under …
1:05 PM Changeset in ghc [1227600]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@…>
Need to work around #7799 on all i386 platforms, not just Darwin
3:52 AM Debugging/InstallingPackagesInplace edited by domtheo
(diff)
12:27 AM Building/Troubleshooting edited by kazu-yamamoto
(diff)

May 19, 2013:

8:13 PM Ticket #7879 (validate in build tree fails due to problem copying haddock resources to ...) closed by igloo
fixed: Looks fine; I've applied the patch. Thanks again!
8:11 PM Ticket #7592 (Building the latest master branch on FreeBSD 9.1 fails) closed by igloo
fixed: I've added a link to the troubleshooting wiki page in the error message.
7:57 PM Building/Troubleshooting edited by igloo
(diff)
7:44 PM Changeset in ghc [83a9f4f4]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@…>
Refer to the wiki page in the "Make has restarted itself n times" error Fixes #7592.
5:42 PM Ticket #7834 (dyn way and INTEGER_LIBRARY=integer-simple) closed by igloo
fixed: Thanks for the report. Now fixed.
5:41 PM Ticket #7799 (Assembly error while building GHC 7.7) closed by igloo
fixed: Hmm, thanks Thorkil; very curious. I can't reproduce it here, but the …
4:54 PM Changeset in ghc [06bc377]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
More build fixes
4:48 PM Changeset in base [d6b6a0a]data-proxyghc-7.8 by Ian Lynagh <ian@…>
More build ordering fixes
4:48 PM Changeset in ghc [99058995]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
More build ordering fixes
4:47 PM Changeset in ghc [6acfc456]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@…>
We can't use Integer literals when compiling the integer-* package, either
4:45 PM Changeset in ghc [52719ad0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix build If we use "smallInteger 0#" in the definitions, then that turns into an Integer literal, but the compiler can't handle Integer literals while compiling the integer package (as it can't look up the mkInteger Id yet).
3:44 PM Changeset in base [dc2b8f7]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix build order when building with integer-simple The problem hasn't shown up with integer-gmp, but I can't see why it couldn't happen in that case too.
3:44 PM Changeset in ghc [aba043a0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix build order when building with integer-simple The problem hasn't shown up with integer-gmp, but I can't see why it couldn't happen in that case too.
3:38 PM Changeset in ghc [bf6854b]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@…>
Fix build problem: Error: junk `.get_pc_thunk.bx' after expression; trac #7799 Affects i386 only. Some gcc's generate code containing __i686, and then define that symbol to 1, which causes compilation to fail. We undef the symbol to work around it.
3:19 PM Changeset in ghc [fdd552e0]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@…>
Fix a build problem with integer-simple We were trying to look up the mkInteger Id before we'd compiled the Integer modules. I'm not sure why this never showed up with integer-gmp; possibly we just always got lucky with the build order.
2:49 PM Changeset in ghc [f7e33ca]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 some extra debugging info
2:41 PM Changeset in ghc [e20dfbcd]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@…>
Expose __word_encode{Float,Double}; fixes integer-simple build
2:39 PM Changeset in ghc [a4cc7b11]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 unused __2Int_encodeDouble
12:38 PM Changeset in ghc [26eee8d]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 Ian Lynagh <ian@…>
Add a test for 2 trailing commas in the module export list
12:38 PM Changeset in testsuite [ae22bd3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for 2 trailing commas in the module export list
12:36 PM Changeset in ghc [891857a]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@…>
Fix parsing export lists We were accepting module ExportCommaComma (id, reverse,,) where where only 1 trailing comma should be permitted.

May 18, 2013:

11:47 PM Ticket #7920 (type-checker panic (kindFunResult)) closed by monoidal
duplicate: Thanks for the report. The bug is fixed in HEAD: […] The issue is …
10:30 PM Ticket #7920 (type-checker panic (kindFunResult)) created by roland
[…]
8:53 PM Changeset in ghc [a44978b9]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@…>
Update a comment; spotted by Carter Schonwald
11:46 AM Changeset in ghc [b519e00]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@…>
Don't try to make windows-installer It was removed in 9e4e2c24d1895ae81c92e4432b91026505827c96.

May 17, 2013:

8:31 PM Ticket #7919 (Heap corruption (segfault) from large 'let' expression) created by duncan
The attached test program reliably triggers an assertion in the storage …
3:50 PM Changeset in ghc [a08759d]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@…>
Move the genSym stuff from rts into compiler It's no longer used by Data.Unique, so there's no need to have it in rts any more.
2:24 PM Ticket #7918 (SrcSpan's associated with expanded quasi-quotes are inconsistent) created by edsko
Consider […] In the expansion of [qq|a|] the source span for True
1:38 PM Changeset in ghc [8c6794ab]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 Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:38 PM Changeset in testsuite [89153a4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:35 PM Changeset in ghc [5888f61]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 Ian Lynagh <ian@…>
Make test cleaning a little more consistent
1:35 PM Changeset in testsuite [7f2eec6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make test cleaning a little more consistent
12:07 PM Ticket #7917 (update documentation of InstalledPackageInfo) created by Lemming
When writing a binding to a foreign package that does not support …
2:53 AM ViewPatterns edited by domtheo
(diff)
2:20 AM WorkingConventions edited by butoijoh
(diff)
2:19 AM Building/Porting edited by butoijoh
(diff)

May 16, 2013:

8:15 PM Changeset in ghc [c6a05a7]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@…>
Make dynamic GHC no Windows installable too We need different paths in the wrapper, as teh installed tree is a different shape to the build tree.
8:15 PM Changeset in ghc [8ed0bda]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@…>
Don't link base/rts/... into C wrapper programs
5:30 PM Ticket #7916 (PolyKinds without type signatures) created by monoidal
Consider […] I would expect GHC to infer the same type for g as for …
4:19 PM Ticket #7915 (Documentation uses deprecated record GADT syntax) closed by simonpj
fixed: Thank you! I've pushed it. Simon
4:19 PM Changeset in ghc [9fc2778c]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@…>
Documentation: use new syntax for record GADTs (#7915)
4:12 PM TemplateHaskell/BlogPostChanges edited by simonpj
(diff)
4:12 PM Blog: New directions for Template Haskell edited by simonpj
4:10 PM TemplateHaskell edited by simonpj
(diff)
4:09 PM TemplateHaskell/BlogPostChanges created by simonpj
4:06 PM TemplateHaskell/Conversions edited by simonpj
(diff)
4:06 PM Commentary edited by simonpj
(diff)
4:05 PM TemplateHaskell edited by simonpj
(diff)
4:04 PM TemplateHaskell/Conversions edited by simonpj
Name changed from Commentary/Compiler/TemplateHaskell? to … (diff)
4:03 PM TemplateHaskell/Typed edited by simonpj
Name changed from Commentary/Compiler/TemplateHaskell/Typed? to … (diff)
4:03 PM TemplateHaskell edited by simonpj
(diff)
2:02 PM Debugging/InstallingPackagesInplace edited by monoidal
revert spam (diff)
2:00 PM WorkingConventions edited by monoidal
revert spam (diff)
2:00 PM Building/Porting edited by monoidal
revert spam (diff)
1:52 PM Ticket #7915 (Documentation uses deprecated record GADT syntax) created by monoidal
Trivial patch attached.
1:35 PM Changeset in testsuite [68acef7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Remove junk binary files that should not have been checked in.
11:14 AM Ticket #7268 (Explicit type signatures for top level record pattern matches polymorphism ...) closed by simonpj
fixed: I'm glad it's helpful. Thanks for pointing out the bug in the regression …
11:13 AM Changeset in ghc [cb5ed257]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 the test actually test the bug! (Thanks to Martijn for correcting this oversight.)
11:13 AM Changeset in testsuite [2b1fefe]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make the test actually test the bug! (Thanks to Martijn for correcting this oversight.)
6:56 AM ViewPatterns edited by wagle
revert spam, again (diff)
3:22 AM Ticket #7914 (base library's MD5 symbols clash with others) created by bos
We have a large C++ application into which we are linking the GHC runtime. …

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/T9016wip/ampwip/coveritywip/orf 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/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 #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/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 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/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 #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/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@…>
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]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
2:20 PM Changeset in ghc [efc515a5]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@…>
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]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 reifyInstances expand type synonyms robustly (Trac #7910)
1:16 PM Changeset in ghc [ca2d30c9]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@…>
Comments only
1:16 PM Changeset in ghc [0452021]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 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]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 pretty-printing of inline-family pragmas; fixes Trac #7906
1:16 PM Changeset in ghc [fe389f5]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 splitHsAppTys look through parentheses, fixing Trac #7903 This was really just an oversight from long ago.
1:16 PM Changeset in ghc [a18ea4f2]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 '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]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@…>
Comments only
1:08 PM Changeset in ghc [600726c]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@…>
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]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 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/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 #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/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 #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/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 #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 [15013c0]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@…>
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/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@…>
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/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@…>
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/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 #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]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@…>
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]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@…>
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]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@…>
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]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@…>
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]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
12:49 PM Changeset in ghc [60b86b0]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@…>
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]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@…>
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]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@…>
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]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@…>
Use NatM_State record fields, rather than matching/constructing the whole type
6:36 PM Changeset in ghc [7e723a1c]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@…>
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]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 redundant cmmMakeDynamicReference' wrapper
6:09 PM Changeset in ghc [dc6968c4]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]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 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]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:31 PM Changeset in ghc [0aae2980]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 win:/cygdrive/c/ghc/git/dt
7:25 PM Changeset in ghc [b35a6ce0]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 <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]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 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]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 <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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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]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@…>
Modernise some code Use do notation rather than thenM in typecheck/TcHsSyn.lhs
1:33 PM Changeset in ghc [4e84e51e]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 a "returnM = return" wrapper in typecheck/TcHsSyn.lhs
1:30 PM Changeset in ghc [ee4a534]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 a "mappM = mapM" wrapper in typecheck/TcHsSyn.lhs
1:28 PM Changeset in ghc [3a1ecd9]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@…>
Whitespace only in typecheck/TcHsSyn.lhs
1:22 PM Changeset in ghc [fe427ea]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 old commented out import
1:19 PM Changeset in ghc [40cdee72]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@…>
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]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@…>
Some build system tweaks
8:58 PM Changeset in ghc [eb569b6a]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@…>
Fix an all-target call in the build system
8:53 PM Changeset in ghc [3d51be45]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@…>
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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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]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 a redundant wrapper function
3:24 PM Changeset in ghc [0499eac9]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@…>
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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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]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 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat 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# …

May 9, 2013:

9:47 PM Ticket #7901 (Bad error message when using UnicodeSyntax ∀ without ExplicitForall) created by exbb2
This code […] produces following error […] However, equivalent code …
7:58 PM Changeset in ghc [d238ea4]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Handle dependencies for .cmm files properly
7:58 PM Changeset in integer-gmp [8c0c77b]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Handle dependencies for .cmm files properly
7:44 PM Changeset in ghc [dca18dc]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@…>
Generate dependencies for .cmm files properly
2:52 PM Changeset in ghc [ba00c33b]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@…>
Fix the name of libffi On Windows, we need to keep the DLL called libffi-6.dll (rather than libffi.dll) or Windows can't find it.
2:39 PM Ticket #7899 (Strange behavior of -ddump-minimal-imports) closed by monoidal
duplicate: Thanks for the report. It is a duplicate of #7476 and fixed in HEAD.
2:28 PM Changeset in ghc [a5a52d7]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@…>
Fix dynamically linked GHC on Windows This is a rather ugly hack to fix dynamically linked GHC on Windows. If GHC is linked with -threaded, then it links against libHSrts_thr. But if base is linked against libHSrts, then both end up getting loaded, and things go wrong. We therefore link the libraries that link against the RTS with the same RTS flags that we link GHC with.
2:26 PM Ticket #7900 (The impossible happend) closed by monoidal
duplicate: Almost certainly this is a duplicate of #5951 - you have a malformed class …
2:15 PM Changeset in ghc [4be70f9]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@…>
Treat foreign imported things in CMM as being in this package They used to be treated as being in an exnternal package, which went wrong on Windows (it tried to call them via an imp wrapper, rather than calling them directly).
1:53 PM Ticket #7900 (The impossible happend) created by dhjdhj
ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for …
1:21 PM Ticket #7899 (Strange behavior of -ddump-minimal-imports) created by dsf
The following two line module: […] when compiled with {{{ghc -c …
9:29 AM Ticket #7878 (Panic when using DerivingGeneric with hs-boot) closed by dreixel
fixed: Thanks; patch applied, testcase T7878 added.
9:26 AM Changeset in ghc [8eef271]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 Jose Pedro Magalhaes <jpm@…>
Add test for T7878
9:26 AM Changeset in testsuite [48dc03b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add test for T7878
8:49 AM Changeset in ghc [ad1bc9dc]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 Jose Pedro Magalhaes <jpm@…>
Update the name cache when creating new names via DeriveGeneric New external top-level names were being created but the name cache wasn't being populated, leading to #7878. Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
8:37 AM Blog: New directions for Template Haskell edited by simonpj

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