Timeline


and

Jun 21, 2011:

10:46 PM Changeset in ghc [6826e084]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Fix up testsuite for SafeHaskell
10:46 PM Changeset in testsuite [7c2dbcc]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Fix up testsuite for SafeHaskell
1:36 PM DataParallel/VectPragma edited by chak
(diff)
1:36 PM DataParallel/VectPragma edited by chak
(diff)
1:35 PM DataParallel/VectPragma edited by chak
(diff)
1:32 PM DataParallel/VectPragma edited by chak
(diff)
1:26 PM Ticket #4856 (Performance regression in the type checker regression for GADTs and type ...) closed by simonpj
fixed: OK, I ran a complete build of the accelerate library thus: […] I …
1:13 PM DataParallel/VectPragma edited by chak
(diff)
1:09 PM DataParallel/VectPragma edited by chak
(diff)
12:53 PM DataParallel/VectPragma created by chak
12:45 PM DataParallel edited by chak
(diff)

Jun 20, 2011:

11:02 PM Commentary/Compiler/Backends/LLVM/GHC_LLVMPorting edited by dterei
(diff)
7:25 PM Commentary/Compiler/Backends/LLVM/GHC_LLVMPorting created by kgardas
7:20 PM Changeset in base [56c0127]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix build on Windows
7:08 PM Commentary/Compiler/Backends/LLVM edited by kgardas
(diff)
5:32 PM Changeset in base [f23644b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' into type-nats Conflicts: base.cabal
5:31 PM Changeset in ghc [0b11494]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/main/DynFlags.hs compiler/parser/Lexer.x
4:06 PM Changeset in ghc [2e2651d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:06 PM Changeset in ghc [3b545c4e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add a comment about how to do validate while capturing a debug log, for debugging the build system.
2:32 PM DataParallel/Replicate edited by chak
(diff)
2:30 PM DataParallel/Replicate edited by chak
(diff)
2:15 PM DataParallel/Replicate edited by chak
(diff)
2:01 PM Commentary/Contracts created by cpa
Very first version!
1:51 PM Changeset in ghc [8fefa25]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Accidentally tracked some binaries. Now added them to '.gitignore.
1:51 PM Changeset in testsuite [cb540135]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Accidentally tracked some binaries. Now added them to '.gitignore.

Jun 19, 2011:

10:53 PM Ticket #5148 (ghci :set +s yields absurd negative times) closed by igloo
fixed: #4979 has been fixed, and this looks like it works now.
8:14 PM Ticket #5049 (GHC Panic on Text.Highlighting.Kate.Syntax.Ocaml) closed by igloo
invalid: No response from submitter, so closing.
8:02 PM Ticket #5027 (Remove ability to use ghc-binary) closed by igloo
fixed: We haven't done option 2, so I guess we're going with option 1.
7:58 PM Ticket #4922 (Segfault / Assertion failed in RTS (Compact.c)) closed by igloo
worksforme: No response from submitter, so closing.
7:46 PM Ticket #4270 (Out of memory when compiling Statistics.Quantile) closed by igloo
fixed: We think the extra memory use is just due to keeping all the unfoldings in …
7:41 PM Ticket #2684 (Stack overflow in stream-fusion library with GHC 6.10 RC) closed by igloo
wontfix: Admitting defeat.
5:50 PM Ticket #5266 (Licensing requirements and copyright notices) created by houeland
I'm not sure where or how to bring this up, but I figured I would inform …
4:21 PM Ticket #5265 (Support for additional .ghci files in GHCi.) created by SamAnklesaria
Currently, GHCi only loads a single .ghci file. As a result, all user …
3:45 PM Changeset in ghc [089cc292]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix ghc-pkg's quoting of the pkgroot field
1:20 PM Changeset in ghc [d61fd38]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Update time 1.2.0.4 -> 1.2.0.5
11:04 AM Ticket #5264 (Add support for out of source tree compilation.) created by kgardas
Hello, it would be good if GHC supports also out of source tree …
5:46 AM Changeset in base [c3facf7]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Support for TypeNats
5:44 AM Changeset in ghc [1420296]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats
2:36 AM Changeset in ghc [bd1aaa4]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Special case 'patError' in the vectoriser
1:52 AM Changeset in ghc [7c4d3ad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Adapt DPH tests to recent changes in the DPH libraries.
1:52 AM Changeset in testsuite [8e54960]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Adapt DPH tests to recent changes in the DPH libraries.
12:25 AM Changeset in ghc [74838b2e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
(partial) Merge branch 'master' into type-nats Conflicts: compiler/coreSyn/CoreLint.lhs compiler/coreSyn/ExternalCore.lhs compiler/deSugar/DsBinds.lhs compiler/hsSyn/HsTypes.lhs compiler/iface/BinIface.hs compiler/iface/IfaceSyn.lhs compiler/iface/IfaceType.lhs compiler/iface/TcIface.lhs compiler/parser/Parser.y.pp compiler/parser/RdrHsSyn.lhs compiler/prelude/PrelNames.lhs compiler/rename/RnHsSyn.lhs compiler/rename/RnTypes.lhs compiler/typecheck/TcHsType.lhs compiler/typecheck/TcInteract.lhs compiler/typecheck/TcSMonad.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/typecheck/TcTyDecls.lhs compiler/typecheck/TcType.lhs compiler/typecheck/TcUnify.lhs compiler/types/Coercion.lhs compiler/types/OptCoercion.lhs compiler/types/Type.lhs compiler/types/TypeRep.lhs

Jun 18, 2011:

11:04 PM Commentary/Abbreviations edited by megacz
(diff)
11:03 PM Commentary/Abbreviations edited by megacz
transcribe comment from HscTypes?.hs (diff)
9:46 PM DarcsConversion/Building/GettingTheSources edited by josh
Update URL for git homepage. (diff)
6:52 PM Ticket #5263 (Compiler panic, trying to compile text-0.5) created by guest
Trying to compile text-0.5 leads to the message: ghc.exe: panic! (the …
8:06 AM Changeset in base [555183b]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by David Terei <davidterei@…>
SafeHaskell: Added SafeHaskell to base
3:40 AM Changeset in ghc [b260034]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Improvements to user guide
3:40 AM Changeset in ghc [2d2cd3d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: code wibble.
3:40 AM Changeset in ghc [39e4c62]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix some mistakes in trust checking.
3:40 AM Changeset in ghc [c8386581]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix validation errors when unsafe base used
3:40 AM Changeset in ghc [ebdbd8b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix typo in warning
3:40 AM Changeset in ghc [2f63e68]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Change SafeHaskellMode to use Outputable vs Show
3:40 AM Changeset in ghc [b8281d8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Improve error handling for -XSafe... flags
3:40 AM Changeset in ghc [35f53b0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix imports of base when base unsafe
3:40 AM Changeset in ghc [527ca69]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix validation errors
3:40 AM Changeset in ghc [7e9e48c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Initial work on documentation
3:40 AM Changeset in ghc [0f3c6c61]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: No longer restrict some safe compilation things
3:40 AM Changeset in ghc [226f2ca]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Restore comment although we don't know what it means. Comment was removed as I thought it was incorrect now with code changes but Simon M thinks my interpretation of the comment was incorrect. He isn't sure what the comment is refereeing to either though! So have restored comment and created trac #5249 to track fixing this at some point.
3:40 AM Changeset in ghc [865d123]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Code wibble
3:40 AM Changeset in ghc [8ebe525b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Improve safe import fail error message
3:40 AM Changeset in ghc [77d85a4]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Transitively check safety when compiling a module. While we previously checked the safety of safe imported modules we didn't do this check transitively. This can be a problem when we depend on a trustworthy module in a package that is no longer trusted, so we should fail compilation. We already stored in an interface file the transitive list of packages a module depends on. Now we extend that list to include a flag saying if we depend on that package being trusted as well.
3:40 AM Changeset in ghc [90bab6b8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: More work on documentation.
3:40 AM Changeset in ghc [1d704e17]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Make base GHC.* modules untrusted
3:40 AM Changeset in ghc [5f96d5b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Require implicit imports to be safe
3:40 AM Changeset in ghc [ce673b2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix bug with overlapping instances reporting wrong error
3:40 AM Changeset in ghc [097a33f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix validation errors when Safe base used.
3:40 AM Changeset in ghc [7750fc2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Update for recent changes to TcDeriv
3:40 AM Changeset in ghc [4f9675b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix compilation errors.
3:40 AM Changeset in ghc [83d2f75]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Even more fixing to work with safe base
3:40 AM Changeset in ghc [01c9691]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Remove some flags from being restricted on CmdLine This was done as we originally planned for SafeHaskell to provide some compilation safety. We have dropped this though and instead intend for a new static flag, '--safecompile' that provides this instead in an orthogonal way to SafeHaskell.
3:40 AM Changeset in ghc [615fa14]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Remove dead alternate flag check method
3:40 AM Changeset in ghc [d9965c1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Move safe haskell flag into Overlap flag For instance decls we no longer store the SafeHaskell mode in this data structure but instead store it as a bool field in the overlap flag structure.
3:40 AM Changeset in ghc [afcbc8a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: More fixing to work with safe base
3:39 AM Changeset in ghc [c84ddf8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Update to work with safe base
1:39 AM Changeset in ghc [cb40a3f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Add new package flags for setting trust Now ghc supports: - trust => Set a package to be trusted - distrust => Set a package to be untrusted - distrust-all-package => Set all packages to be untrusted by default
1:39 AM Changeset in ghc [3cf28893]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Allow some flags that were cmdline only before by mistake
1:39 AM Changeset in ghc [f04bbfd]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix a warning stopping validation
1:39 AM Changeset in ghc [e0eb7e7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Add ':issafe' cmd to GHCi that displays module safety info
1:39 AM Changeset in ghc [d19f2a37]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Force all FFI imports to be in IO
1:39 AM Changeset in ghc [029e24e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix problem with forced recompilation and disable TH Problem with -fforce-recomp not picking up changed Safe flags correctly fixed. Also now disable Template Haskell completely.
1:39 AM Changeset in ghc [0f13e11]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Disable user written rewrite rules in Safe mode
1:39 AM Changeset in ghc [3a8df61]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Restrict OverlappingInstances. OverlappingInstances in Safe modules can only overlap instances defined in the same module.
1:39 AM Changeset in ghc [83dedf6]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Fix recompilation avoidance to take Safe into account.
1:39 AM Changeset in ghc [45c64c1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Disable certain ghc extensions in Safe. This patch disables the use of some GHC extensions in Safe mode and also the use of certain flags. Some are disabled completely while others are only allowed on the command line and not in source PRAGMAS. We also check that Safe imports are indeed importing a Safe or Trustworthy module.
1:19 AM Changeset in ghc [745e073e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Add trust flag to packages
1:19 AM Changeset in ghc [f8279ea9]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Add Safe & Trustworthy pragmas
1:19 AM Changeset in ghc [6de1b0f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Add safe import flag (not functional)
1:19 AM Changeset in ghc [9443405]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
SafeHaskell: Force all imports to be safe in Safe mode

Jun 17, 2011:

10:44 PM Commentary/Compiler/SeqMagic edited by simonpj
(diff)
8:37 PM Ticket #5201 (unregisterised build broken on arm-linux platform) closed by igloo
fixed: I believe this is now fixed.
8:36 PM Ticket #5151 (Switch to upstream binary repo) closed by igloo
fixed: Done.
8:35 PM Ticket #5210 (Add primops for copying/cloning byte arrays) closed by dterei
fixed: OK applied: 530e25a6a1aaccc14630842f310bb4194ce97be0 Closing ticket, we …
8:33 PM Changeset in ghc [530e25a6]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
codeGen: Make emitCopyByteArray less pessimistic Assigning the arguments to temporaries was only needed in the case of emitCopyArray, where the arguments are alive across the call. That is not the case in emitCopyByteArray. Signed-off-by: David Terei <davidterei@gmail.com>
7:35 PM Changeset in ghc [caff8eab]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
6:37 PM Changeset in ghc [a07ce419]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build I'm not sure what's going on with these warnings, but for now I've suppressed them all.
6:12 PM Changeset in ghc [80ac4155]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of dippy:c:/msys/1.0/home/ian/ghc/.
6:11 PM Ticket #5245 (Cmm optimizer: propagate constants across basic block boundaries) closed by ezyang
fixed: With new codegen assignment rewriting and machine op folding, this …
6:01 PM Changeset in ghc [3513b07]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Skip constant folding in nativegen if new codegen used. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:47 PM Changeset in ghc [7a80e2dd]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix the build with GHC 6.12
5:34 PM Commentary/Compiler/NewCodeGenPipeline edited by ezyang
machop folding (diff)
5:27 PM Changeset in ghc [dd6c21a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Complain if the old haddock or binary repos are in the tree Also, change the haddock repo URL to point at the new repo. NOTE: After pulling, you need to rm -r libraries/binary rm -r utils/haddock ./sync-all get
5:27 PM Changeset in ghc [4a6481c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove most of the CPP from compiler/nativeGen/X86/CodeGen.hs
5:27 PM Changeset in ghc [b8e0ce7b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Port MachOp folding to new code generator. * Rewrote cmmMachOpFold to cmmMachOpFoldM, which returns Nothing if no folding took place. * Wrote some generic mapping functions which take functions of form 'a -> Maybe a' and are smart about sharing. * Split up optimizations from PIC and PPC work in the native codegen, so they'll be easier to turn off later (they are not currently being turned off, however.) * Whitespace fixes! ToDo: Turn off MachOp folding when new codegenerator is being used. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:01 PM Blog: New directions for Template Haskell comment added by carette
Has this proposal (especially part B) made it into a plan? I just checked …
1:13 PM Commentary/Compiler/NewCodeGenPipeline edited by ezyang
updates pending commit (diff)
1:07 PM Changeset in ghc [1687dab3]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Refactor CmmLive and CmmSpillReload. * Move dead assignment elimination to CmmLive * Kill off dead code in CmmSpillReload related to non-splitting procpoints case * Refactor dual liveness transfer function to more closely mimic CmmLive's liveness transfer. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
12:37 PM Changeset in ghc [97e4bbe]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Whitespace only in compiler/nativeGen/X86/CodeGen.hs
12:26 PM Changeset in ghc [b11585f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Track changes in the DPH package and GHC.PArr.
11:48 AM Changeset in ghc [e26ea0f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Refactoring CmmSpillReload and CmmLive. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:21 AM Changeset in base [e7a7353]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Manuel M T Chakravarty <chak@…>
Only the type definition of '[::]' (which is wired in) remains in 'GHC.PArr'.
4:43 AM Changeset in ghc [075655b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Add test for byte array copy primops Signed-off-by: David Terei <davidterei@gmail.com>
4:43 AM Changeset in testsuite [c7f744b]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Add test for byte array copy primops Signed-off-by: David Terei <davidterei@gmail.com>
4:43 AM Changeset in ghc [f141e10]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Port "Add byte array copy primops" to the new code gen Signed-off-by: David Terei <davidterei@gmail.com>
4:43 AM Changeset in ghc [b00b3619]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add byte array copy primops Signed-off-by: David Terei <davidterei@gmail.com>
4:04 AM Changeset in ghc [4322be9]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Wibble on panic message
4:03 AM Changeset in ghc [ebb67a5]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
FIX BUILD on PPC. Define default genCCall with correct number of args.
3:58 AM Changeset in testsuite [d4598a8]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Merge branches 'master' and 'master' of ssh://darcs.haskell.org/home/darcs/testsuite
3:38 AM Changeset in ghc [612c3b7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:38 AM Changeset in testsuite [765b725]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:50 AM Changeset in ghc [67eb92f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:50 AM Changeset in testsuite [a418912]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:50 AM Changeset in ghc [fcb48a16]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Waern <david.waern@…>
Add a simple test for ticket #1595.
1:50 AM Changeset in testsuite [150c607]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Waern <david.waern@…>
Add a simple test for ticket #1595.
1:38 AM Changeset in ghc [facf0022]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:12 AM Ticket #5024 (Improve testsuite summary output) closed by igloo
fixed: And the reason is now shown too: …

Jun 16, 2011:

11:46 PM Changeset in ghc [0f97bbeb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
When tests return 'fail', return a 'reason' too We don't do anything with the reason yet, but we will shortly...
11:46 PM Changeset in ghc [0cebaf8f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Print the reason tests fail in the testsuite summary (#5024)
11:46 PM Changeset in testsuite [29ee54c]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
When tests return 'fail', return a 'reason' too We don't do anything with the reason yet, but we will shortly...
11:46 PM Changeset in testsuite [471c18f]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Print the reason tests fail in the testsuite summary (#5024)
10:09 PM Ticket #5037 (TH mkName bug) closed by simonpj
fixed: Fixed by […] The relevant comment from Convert is […] Test added.
10:05 PM Changeset in ghc [f9d25f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5037
10:05 PM Changeset in testsuite [7ba31b7]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5037
6:14 PM Changeset in ghc [fc0902e7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:48 PM Ticket #5260 (System.FilePath.combine encourages unsafe practices) closed by igloo
wontfix: This is working as it is designed to. If you want to propose a change to …
5:33 PM Ticket #4973 (building ghc7.0.1.20110217 under x86 solaris fails) closed by igloo
fixed: Ah, sorry. Yep, looks right in the HEAD.
4:22 PM Changeset in ghc [592def0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add dynamically-linked plugins (see Trac #3843) This patch was originally developed by Max Bolingbroke, and worked on further by Austin Seipp. It allows you to write a Core-to-Core pass and have it dynamically linked into an otherwise-unmodified GHC, and run at a place you specify in the Core optimisation pipeline. Main components: - CoreMonad: new types Plugin, PluginPass plus a new constructor CoreDoPluginPass in CoreToDo - SimplCore: stuff to dynamically load any plugins, splice them into the core-to-core pipeline, and invoke them - Move "getCoreToDo :: DynFlags -> [CoreToDo]" which constructs the main core-to-core pipeline from CoreMonad to SimplCore SimplCore is the driver for the optimisation pipeline, and it makes more sense to have the pipeline construction in the driver not in the infrastructure module. - New module DynamicLoading: invoked by SimplCore to load any plugins Some consequential changes in Linker. - New module GhcPlugins: this should be imported by plugin modules; it it not used by GHC itself.
2:56 PM Commentary/Compiler/SeqMagic created by simonpj
2:39 PM Ticket #1999 (panic with GADT etc.) closed by simonpj
fixed: Stop press. Jim's program (test gadt/termination) is actually just …
2:35 PM Changeset in ghc [eb6f5d31]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test 'gadt/termination' passes# We thought that Jim Apple's (rather complicated) test 'gadt/termination' was failing because of the move from "left/right" in coercions to "Nth"; see the comments in Trac #1999. However it turns that the test was failing because of an outright bug in the 7.2 type checker, fixed by Changeset 4ed2634bf597d7e1fe00709b4556d199ebd66bde. (This bug meant that type synonyms in given constraints weren't being expanded properly. See test typecheck/should_compile/GivenTypeSynonym.) So now this bug is fixed, Jim's program compiles again! (We were too quick to assume the problem was with the change to FC.)
2:35 PM Changeset in testsuite [1665f0c]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test 'gadt/termination' passes# We thought that Jim Apple's (rather complicated) test 'gadt/termination' was failing because of the move from "left/right" in coercions to "Nth"; see the comments in Trac #1999. However it turns that the test was failing because of an outright bug in the 7.2 type checker, fixed by Changeset 4ed2634bf597d7e1fe00709b4556d199ebd66bde. (This bug meant that type synonyms in given constraints weren't being expanded properly. See test typecheck/should_compile/GivenTypeSynonym.) So now this bug is fixed, Jim's program compiles again! (We were too quick to assume the problem was with the change to FC.)
1:23 PM Changeset in ghc [e533532]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:23 PM Changeset in ghc [e3dcc0d5]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Re-do (again) the handling of binders in Template Haskell See the long Note [Binders in Template Haskell] in Convert.lhs which explains it all. This patch fixes Trac #5037. The key change is that NameU binders (ones made up by newName in Template Haskell, and by TH quotations) now make Exact RdrNames again, rather than making RdrNames with heavily encoded OccNames like x[03cv]. (This encoding is what was making #5037 fail.)
1:07 PM Changeset in ghc [9d5e65c4]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingsilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Layout only
12:43 PM Ticket #5262 (Compiling with -O makes some expressions too lazy and causes space leaks) created by michal.palka
Here are some expressions that are executed in a too lazy way when …
11:38 AM Commentary/Compiler/NewCodeGenPipeline edited by ezyang
extra stage (diff)
8:28 AM Ticket #5259 (Heap used by compacting collector larger than heap used without.) closed by simonmar
worksforme: I suspect this is fixed. Your program didn't work, because [0..] has …
8:13 AM Ticket #4928 (Add primops for copying/cloning an array in the new codegen) closed by simonmar
fixed: closing, thanks.
12:12 AM Changeset in ghc [c22dc03]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Update output for recomp007
12:12 AM Changeset in testsuite [f530b45]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Update output for recomp007
Note: See TracTimeline for information about the timeline view.