Timeline


and

Jan 4, 2012:

8:55 PM WikiStart edited by matildaharris
(diff)
7:12 PM Ticket #3339 (Data.Monoid: Add (<>) as a synonym for mappend) closed by tibbe
fixed: Fixed in ghc-7.4 branch. ghc: […] base: […] pretty: […] We …
6:44 PM Changeset in ghc [7dfa17d]ghc-7.4 by Johan Tibell <johan.tibell@…>
Be explicit about what we import from Data.Monoid
5:59 PM Changeset in base [556d174]ghc-7.4 by Johan Tibell <johan.tibell@…>
Add <> as an alias for mappend
3:55 PM Changeset in testsuite [59af0e4]ghc-defer by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master' into ghc-defer
3:54 PM Changeset in testsuite [ceebb7f]ghc-defer by Simon Peyton Jones <simonpj@…>
Error messages improvements with deferred error messages
3:51 PM Changeset in ghc [67df3182]ghc-defer by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master' into ghc-defer
3:37 PM Ticket #5749 (GHC 7.0.4 Performance Regression (Possibly Vector)) created by sanketr
I have noticed ~100% performance degradation for my code when I switched …
2:52 PM Ticket #5748 (ghci segfault on OS X after dlsym failed lookup) created by gwright
I've had repeatable segfaults with ghci 7.2.2 (OS X 10.6) and 7.0.4 (OS X …
2:34 PM Changeset in ghc [4464c92b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
mkSlowEntryCode: enterLocalIdLabel should be enterIdLabel (#5357)
2:34 PM Changeset in ghc [6a9e521]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove dead code
2:28 PM Changeset in ghc [7196367]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
KFreeBSD is also an ELF binary Fixes: #5733
2:28 PM Changeset in ghc [0545b55]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
dsCImport (CLabel): drop foralls when checking for FunPtr We were mislabelling some foreign imports as IsData rather than IsFunction, because the type was forall a. FunPtr (... a ...). Eventually this gave rise to these obscure error when compiling unregisterised: libraries/base/Foreign/Marshal/Alloc.hc:473:0: warning: built-in function ‘free’ declared as non-function libraries/base/Foreign/Marshal/Alloc.hc:1004:0: error: ‘free’ redeclared as different kind of symbol
2:28 PM Changeset in ghc [659f47d4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warning
2:21 PM Changeset in ghc [d72ca1b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Adapt test output to reflect better -ddump-deriv output
2:21 PM Changeset in testsuite [42958a6]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Adapt test output to reflect better -ddump-deriv output
2:20 PM Changeset in ghc [cf655bc]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Restore printing of Rep type family instance with -ddump-deriving
2:09 PM Ticket #5433 (Compiler generates invalid assembly with "bad register name") closed by simonpj
fixed: Closing; life is too short.
2:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:11 PM Ticket #5725 (Mark all modules from the stm packages as Trustworthy) closed by simonmar
fixed
1:06 PM Changeset in ghc [3fc68b5c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove missing archs (mipseb, mipsel, alpha) (#5734) It doesn't hurt to map these to ArchUnknown since we don't need to know anything specific about them, and adding them would be a pain (there are a bunch of places where we have to case-match on all the arches to avoid warnings).
1:05 PM Changeset in ghc [a8b8d65]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
osElfTarget should default to False (#5733) Another portabilty regression: before Platform we used to use elf_OBJ_FORMAT: #if linux_TARGET_OS || freebsd_TARGET_OS || openbsd_TARGET_OS || solaris2_TARGET_OS #define elf_OBJ_FORMAT 1 #endif which defaults to undefined on unknown platforms. Defaulting to non-ELF is correct, it just means that we won't rely on ELF-specific functionality. I've added a comment to explain that.
12:47 PM Changeset in ghc [8387f01]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Store the word size as determined by configure, in the settings file (#5735) Now target32bit works for all targets without any manual intervention, as it should do. #5735 was a portability regression.
11:34 AM Ticket #5747 (Floating point error with -msse2) created by augustss
Compile and run this program: […] And you get […] (This is a bug in …
10:50 AM ExtendedLayouts edited by nsch
(diff)
10:46 AM ExtendedLayouts edited by nsch
(diff)
10:39 AM ExtendedLayouts created by nsch
8:52 AM Ticket #5746 (-Werror should wait until type-checking is done) closed by simonmar
fixed: I think I fixed this in 7.2. With 7.2 and later you see the type error, …
8:50 AM MonadComprehensions edited by simonpj
(diff)
8:49 AM MonadComprehensions edited by simonpj
(diff)
8:07 AM Changeset in ghc [7348bb7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles for new CoAxiom story
8:07 AM Changeset in testsuite [b22f9a8]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles for new CoAxiom story
3:21 AM Ticket #5746 (-Werror should wait until type-checking is done) created by lerkok
I'm a big fan of "-Wall -Werror". I find that the warnings GHC generates …

Jan 3, 2012:

11:52 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:43 PM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
11:37 PM Commentary/Compiler/Backends/LLVM/Alias created by dterei
11:36 PM Commentary/Compiler/Backends/LLVM edited by dterei
(diff)
11:28 PM Building/Modifying edited by heisenbug
beautify (diff)
11:19 PM Building/Modifying edited by heisenbug
fix typo, cleanups (diff)
11:04 PM Building/Architecture edited by heisenbug
beautify (diff)
10:47 PM Building/Architecture/Idiom/StubMakefiles edited by heisenbug
stress that recursive makefiles are a thing of the past (diff)
10:46 PM Ticket #5745 (import-hidden symbol is still re-exported) created by j.waldmann
In the following, I get different behaviour with ghc-7.0.4 and ghc-7.2.2: …
10:39 PM Building/Architecture/Idiom/VariableNames edited by heisenbug
link to the main application of the principle (diff)
10:25 PM Building/Architecture/Idiom/DoubleColon edited by heisenbug
(diff)
10:24 PM Building/Architecture/Idiom/PlatformNames edited by heisenbug
clarify that porting and cross-compiling are different beasts (diff)
8:12 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
typo (diff)
8:06 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
link ghc.mk (diff)
7:49 PM Building/Architecture/Idiom/PhaseOrdering edited by heisenbug
disambiguate and add a link (diff)
4:36 PM Changeset in ghc [0095702d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
In the SIGTSTP handler, throw SIGSTOP instead of re-throwing SIGTSTP
4:36 PM Changeset in ghc [d7d56f58]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix the C backend after making CCCS an STG register
4:15 PM Ticket #5730 (unicode characters in cabal path leads to package installation failure) closed by simonmar
duplicate: Already reported as #5697
3:01 PM Changeset in ghc [f283c39]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't record outputFile in the hashed flags We don't want ghc --make M -o <file> to force recompilation of all modules when <file> changes. The -o value is already taken into account by the recompilation machinery when we check the modification time on the object file or the executable.
3:01 PM Changeset in ghc [7d7809d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Refer to Control.Concurrent instead of GHC.Conc Modified version of a patch by shelarcy <shelarcy@gmail.com>
3:01 PM Changeset in ghc [aa1114e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix minor bug introduced in e7e771d14ac671904a69abecf9e133d4647026c1
2:05 PM WikiStart edited by simonmar
(diff)
2:00 PM Ticket #5744 (List layouts) created by nsch
Hi! I want to propose a new GHC extension called ListLayouts?. It's …
12:47 PM Ticket #5743 (Configurably use system-provided libffi) created by nomeata
Hi, both Debian and Fedora patch ghc to use the system-wide installed …
11:33 AM Changeset in base [1b5f7ae]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities.
11:33 AM Changeset in ghc [da8f3c4d]wip/T9016 by Simon Marlow <marlowsd@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities.
10:55 AM Ticket #5742 (compiler option -XDoRec crash) created by Huenniger
I tried to compile a complex 200 KByte grammer using the library frisby. I …
10:35 AM Changeset in ghc [b2223682]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be less verbose when printing out Vars For some reason we were printing every occurrence with its type and that is far too much.
10:35 AM Changeset in ghc [98a642cf]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Major refactoring of CoAxioms This patch should have no user-visible effect. It implements a significant internal refactoring of the way that FC axioms are handled. The ultimate goal is to put us in a position to implement "pattern-matching axioms". But the changes here are only does refactoring; there is no change in functionality. Specifically: * We now treat data/type family instance declarations very, very similarly to types class instance declarations: - Renamed InstEnv.Instance as InstEnv.ClsInst, for symmetry with FamInstEnv.FamInst. This change does affect the GHC API, but for the better I think. - Previously, each family type/data instance declaration gave rise to a *TyCon*; typechecking a type/data instance decl produced that TyCon. Now, each type/data instance gives rise to a *FamInst*, by direct analogy with each class instance declaration giving rise to a ClsInst. - Just as each ClsInst contains its evidence, a DFunId, so each FamInst contains its evidence, a CoAxiom. See Note [FamInsts and CoAxioms] in FamInstEnv. The CoAxiom is a System-FC thing, and can relate any two types, whereas the FamInst relates directly to the Haskell source language construct, and always has a function (F tys) on the LHS. - Just as a DFunId has its own declaration in an interface file, so now do CoAxioms (see IfaceSyn.IfaceAxiom). These changes give rise to almost all the refactoring. * We used to have a hack whereby a type family instance produced a dummy type synonym, thus type instance F Int = Bool -> Bool translated to axiom FInt :: F Int ~ R:FInt type R:FInt = Bool -> Bool This was always a hack, and now it's gone. Instead the type instance declaration produces a FamInst, whose axiom has kind axiom FInt :: F Int ~ Bool -> Bool just as you'd expect. * Newtypes are done just as before; they generate a CoAxiom. These CoAxioms are "implicit" (do not generate an IfaceAxiom declaration), unlike the ones coming from family instance declarations. See Note [Implicit axioms] in TyCon On the whole the code gets significantly nicer. There were consequential tidy-ups in the vectoriser, but I think I got them right.
9:27 AM Ticket #5693 (Build of local-gc branch of ghc broken) closed by simonmar
wontfix: Use Alex 2.3.5, not 3.0.1. This branch predates the release of Alex 3.0.1 …
8:49 AM Changeset in ghc [92a5889f]ghc-axioms by Simon Peyton Jones <simonpj@…>
Small refactorings - Define mkAxInstRHS and use it - Rename Instance to ClsInst
8:47 AM Changeset in ghc [1cd8ff0]ghc-axioms by Simon Peyton Jones <simonpj@…>
Merge commit with HEAD
8:16 AM Ticket #5741 (openFile should fail if null bytes are in the argument) created by Veinor
If the argument to openFile contains a null byte, right now it silently …
1:47 AM Building/SyncAll edited by heisenbug
beautify (diff)
1:26 AM Building/Installing edited by heisenbug
simplify (diff)
1:19 AM Commentary/Libraries edited by heisenbug
beautify (diff)
1:12 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
even better (diff)
1:07 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
use git link (diff)
12:59 AM Building/Architecture/Idiom/PlatformNames edited by heisenbug
broken link (diff)
12:42 AM Building/Using edited by heisenbug
brush up ascii art (diff)
12:38 AM Building/Using edited by heisenbug
typo (diff)
12:20 AM Debugging/InstallingPackagesInplace edited by heisenbug
typo (diff)
12:15 AM Commentary/Libraries edited by heisenbug
typo (diff)

Jan 2, 2012:

11:59 PM Ticket #5740 (Remove tabs from parser/LexCore.hs) created by nsch
Self-explanatory. Patch attached.
11:37 PM Building/Using edited by heisenbug
fix an outdated option (diff)
11:23 PM Building/Using edited by heisenbug
be more explicit, 'path' is ambiguous here (diff)
11:03 PM Building/Using edited by heisenbug
typo (diff)
10:59 PM Building/Using edited by heisenbug
typo (diff)
10:23 PM CrossCompilation edited by heisenbug
--with-gcc question (diff)
8:32 PM Changeset in ghc [dc6f3a48]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-deferghc-lwc2ghc-new-coghc-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-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix typo in Makefile sdist output was being redirected to $src_log, which presumably evaluated to rc_log.
8:13 PM Ticket #5739 (Please make LLVM binary names configurable) created by nomeata
While the name of the GCC binary, for example, is configurable in …
4:39 PM SharedLibraries edited by MarkusL
(diff)
5:55 AM Ticket #5738 (System.Posix.Temp mkstemp bugs and addition of mkdtem) created by deian
The description of mkstemp and GHC/Hugs and non-GHC/Hugs code disagree (on …

Jan 1, 2012:

10:58 PM CrossCompilation edited by heisenbug
update status on pending patches (diff)
9:41 PM CrossCompilation edited by heisenbug
get the bullet indents right (diff)
9:24 PM CrossCompilation edited by heisenbug
TH question (diff)
8:40 PM Building/Preparation/Tools edited by heisenbug
verified this (diff)
8:19 PM Building/Preparation/Tools edited by heisenbug
(diff)
8:17 PM Building/Preparation/Tools edited by heisenbug
note 7.4 (diff)
8:14 PM Building/Preparation/Linux edited by heisenbug
tyop (diff)

Dec 31, 2011:

6:47 PM Ticket #5737 (Template Haskell can't derive Read, Show, Eq instances) created by guest
Given the following code: […] The compiler complains with the …
4:04 PM Ticket #5736 (Possible regression with functional dependencies) closed by simonpj
invalid: I think 7.0.4 had a bug. Consider * 'a' determines 'b'. So if two …
10:20 AM Ticket #5736 (Possible regression with functional dependencies) created by magnus
The following program typechecks in GHC-7.0.4, but not in 6.12.3, 7.2.2 or …

Dec 30, 2011:

1:54 PM Ticket #5735 (Build failure on s390(x): Don't know if ArchUnknown is 32bit) created by nomeata
Hi, the 7.4.1 release candidate failed to build on s390(x); previous …
1:52 PM Ticket #5734 (Build failure on mips: ghc-cabal: Failed to read "target arch" value ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on mips; previous …
1:49 PM Ticket #5733 (Build failure on kfreebsd: Don't know if OSUnknown is elf) created by nomeata
Hi, the 7.4.1 release candidate failed to build on the two Debian ports …
1:45 PM Ticket #5732 (Faliure building unregistered GHC: pprGlobalReg: Unsupported register: ...) created by nomeata
Hi, the 7.4.1 release candidate failed to build on arm; previous versions …
9:56 AM Records edited by GregWeber
no wiki word (diff)
9:54 AM Records edited by GregWeber
TDNR commentary (diff)
9:39 AM Records edited by GregWeber
typo (diff)
3:27 AM Changeset in base [1eba0a9]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:27 AM Changeset in ghc [3b281a2b]wip/T9016 by Iavor S. Diatchki <iavor.diatchki@…>
Change the representation of singletons from Integer to Word. This is---probably---just temporary. For details, take a look at comment on case "EvInteger" in function "dsEvTerm" in "deSugar/DsBinds"
3:25 AM Changeset in ghc [4715b871]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/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the built-in instances for class NatI. Note 1: For the moment, we provide instances only for numbers that fit in a Word. The reason is a quite mundane: to generate evidence for arbitrary integers we need to generate integer literals. In the core syntax this is a monadic operation but the function that generates the core for evidence is pure. It would not be hard to monadify it but requires changes to a bunch of other functions so I thought it is better left for a separate change. Note 2: The evidence that we generate for a NatI is just a word. Technically, we should be generate a word with two coercions: one to turn it into a NatS and another to turn that into a NatI. Operationally, these do not do anything, but it would be better to fix this. I didn't do it yet because I need to look up how to make these coercions.
1:57 AM Changeset in base [b56b66b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:57 AM Changeset in ghc [9697def]wip/T9016 by Iavor S. Diatchki <iavor.diatchki@…>
Remove all but the basics from the GHC module. In this way we can work on the programmer library without having to recompile all libraries.
1:49 AM Changeset in ghc [8c3bc838]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/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add the wired-in names for manipulating type-level nats.
12:45 AM Changeset in ghc [896d20fa]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/T9016wip/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 Conflicts: compiler/typecheck/TcCanonical.lhs compiler/typecheck/TcSMonad.lhs
Note: See TracTimeline for information about the timeline view.