Timeline


and

Apr 2, 2012:

11:40 PM Ticket #5986 (HSQL won't install: missing FlexibleInstances) closed by volker-wysk
fixed: Fixed in version 1.8.2
11:23 PM Ticket #5986 (HSQL won't install: missing FlexibleInstances) created by volker-wysk
There is a "FlexibleInstances?" entry needed, in hsql.cabal's "extensions" …
5:01 PM Ticket #5985 (Type operators are not accepted as variables in contexts) closed by simonpj
invalid: Indeed I have changed the behavoiur of TypeOperators as described here …
3:34 PM Changeset in ghc [5802ebdd]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 Dimitrios.Vytiniotis <dimitris@…>
Dropping the idempotence restriction on the inert substitution, for efficiency. More documentation to follow.
3:33 PM Changeset in ghc [8580b97]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 Dimitrios.Vytiniotis <dimitris@…>
Deleting more old commented code.
3:13 PM Changeset in ghc [9615ede4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #5555.
3:13 PM Changeset in testsuite [d617e70]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #5555.
3:10 PM Changeset in ghc [dc2f65f]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 Paolo Capriotti <p.capriotti@…>
Support qualified identifiers in quasi-quotes (#5555).
2:56 PM Changeset in ghc [50e5a06]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 Paolo Capriotti <p.capriotti@…>
Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD. Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
2:55 PM Changeset in ghc [b9cc105]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #5984
2:55 PM Changeset in testsuite [199016b]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #5984
2:52 PM Ticket #5985 (Type operators are not accepted as variables in contexts) created by mikhail.vorozhtsov
The following code is accepted by 7.4.1 (and 7.2/7.0/6.12), but rejected …
1:18 PM Ticket #5826 (Refer to Control.Concurrent instead of GHC.Conc in GHC 7.4.1 User's Guide) closed by pcapriotti
fixed: Reverted merges on the 7.4 branch, as we don't want to add a new public …
1:15 PM Changeset in ghc [69e6487e]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Revert "Refer to Control.Concurrent instead of GHC.Conc" This reverts commit 6a217ed6f10d440902eb166d2e0ab4127eb3f699.
1:15 PM Changeset in base [41b8790]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Revert "Export setNumCapabilities" This reverts commit b3e6c7d8ef8833e33056f0c8f21cb5f896b6026d.
12:44 PM Ticket #5984 (TH: newtypes are converted to datas) created by mikhail.vorozhtsov
Commit b857c8ad367877f424b5fca50bd45199f39f86c7 has a typo in cvtDec
9:38 AM Changeset in ghc [b3f6a8b]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 Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
8:51 AM Changeset in ghc [beccc85]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Add release notes for 7.4.2.
5:09 AM Ticket #5983 (Libraries installed in wrong place) created by r0ml
All of the installed libraries are placed in …
5:05 AM Ticket #5982 (Incorrect dynamic library name in OSX) created by r0ml
When building a simple program that is built using -dynamic, the resulting …

Apr 1, 2012:

9:41 PM Ticket #5214 (SIGSEGV in yieldCapability ()) closed by pcapriotti
fixed: Merged as 20906163a6aee2b76de240c4171928f83a5d9077.
7:03 PM Changeset in ghc [2090616]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix a bug in threadStackOverflow() (maybe #5214) If we overflow the current stack chunk and copy its entire contents into the next stack chunk, we could end up with two UNDERFLOW_FRAMEs. We had a special case to catch this in the case when the old stack chunk was the last one (ending in STOP_FRAME), but it went wrong for other chunks. I found this bug while poking around in the core dump attached to options and running the nofib suite: imaginary/wheel_sieve2 crashed with +RTS -kc600 -kb300. I don't know if this is the cause of all the symptoms reported in MERGED from commit 734f1d484b12b785795b249b4116cfb4817ab55d
7:01 PM Ticket #5946 (getAnyProcessStatus signals an exception) closed by pcapriotti
fixed: Merged as 4152c1b17d8633dac8f830f334688393e527b061.
7:00 PM Changeset in unix [4152c1b]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Bump version to 2.5.1.1
6:59 PM Changeset in unix [8b3b1d4]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix documentation for getAnyProcessStatus/getGroupProcessStatus (#5946) MERGED from commit e518038a0eca7dddbbd3d4326355db9c1d6f0068
6:57 PM Changeset in base [4efc43aa]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Bump version for the GHC 7.4.2 release
12:00 PM Changeset in testsuite [5b58661]ghc-7.4 by Ian Lynagh <igloo@…>
Merge branch 'ghc-7.4' of darcs.haskell.org:/srv/darcs//testsuite into ghc-7.4
11:38 AM Changeset in ghc [226b9822]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocimp-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 Ian Lynagh <igloo@…>
Remove an unused make variable
10:55 AM Changeset in ghc [270b7ce5]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 Ian Lynagh <igloo@…>
Whitespace only in main/Packages.lhs
12:35 AM Changeset in ghc [027f2825]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 Ian Lynagh <igloo@…>
Tidy up compiler/ghc.cabal.in We now always have base4, and don't need a workaround for GHC 6.4.2.

Mar 31, 2012:

8:11 PM Ticket #5965 (pref-llvm failed at integer-gmp-0.3.0.0: stored value and pointer type do ...) closed by favonia
fixed: I am the reporter and GHC was successfully built with dterei's fix. …
7:47 PM Changeset in ghc [0571092]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@…>
Add a section about promoted literals to the manual.
7:15 PM Changeset in ghc [d402d8a]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@…>
Add an entry for -XExplicitNamespaces to the manual.
7:14 PM Changeset in ghc [853c1c3e]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@…>
Add some missing equations for type-literals.
4:15 PM Ticket #5979 (ghci + PackageImports behaves strangely) closed by pcapriotti
fixed: Merged as 512c77b2042a1bc4662d2b49b80ac310b0b99d97.
4:13 PM Changeset in ghc [512c77b]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Respect package qualifier when validating imports in GHCi (#5979) MERGED from commit a39a19254003f593e49fa0b29c8a10444cc204c2
12:47 PM Changeset in ghc [a39a1925]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 Paolo Capriotti <p.capriotti@…>
Respect package qualifier when validating imports in GHCi (#5979) Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
11:15 AM Ticket #5981 (quadratic slowdown with very long module names) created by guest
Posting this for completeness, in case it exposes something more generally …
10:54 AM Changeset in ghc [02fb36f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #5979
10:54 AM Changeset in testsuite [41d3abc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #5979
3:18 AM Ticket #5980 (Name of compiler mismatch in safeHaskell/ghci/p5 p7 p8) created by goldfire
During validation, three tests in safeHaskell/ghci fail: p5 p7 and p8. The …
2:07 AM Ticket #5979 (ghci + PackageImports behaves strangely) created by dmwit
It seems that failed imports can affect later attempts at importing. For …

Mar 30, 2012:

10:16 PM Ticket #5752 (<<loop>> when using variables in TH splice) closed by simonpj
duplicate: Right. This is a dup of #5795 (which is simpler).
9:52 PM Ticket #5857 (GHC Panic when using unbound type variables created with newName in ...) closed by simonpj
fixed: Thanks. This is another example of #5971, which is now fixed. I don't …
8:09 PM Ticket #5648 (System.Posix.Env should have a binding for clearenv) closed by pcapriotti
fixed: Pushed as 335fd69c61076db160fe7011814e26a577958147.
6:23 PM Changeset in unix [5ee7433]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Re-enable posix005 test (#5648)
6:16 PM Changeset in unix [335fd69]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Add setEnvironment and cleanEnv to System.Posix.Env (#5648)
5:22 PM Changeset in ghc [6785820]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 Dimitrios Vytiniotis <dimitris@…>
Mostly commentary to follow up after discussions with SPJ on several open tickets.
5:08 PM Changeset in ghc [83d9b38]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 Max Bolingbroke <batterseapower@…>
Attempt to detect loops through imported function RULEs This is motivated by the fact that before this change marking e.g. GHC.List.filter as INLINABLE caused the compiler to diverge when you tried to make use of the function. The response is to say that a RULE on an imported function introduces a dependency edge between the FVs of its LHS and RHS for the purposes of computing loop breakers. This will not perfectly prevent all those potential inlinings that could cause the compiler to non-terminate, but it works well enough for the particular case we are interested in.
3:27 PM Ticket #5839 (ARM linker support) closed by pcapriotti
fixed: Merged as 27302c9094909e04eb73f200d52d5e9370c34a8a.
3:25 PM Ticket #5964 (Documentation: DatatypeContexts is NOT on by default in 7.4.1) closed by pcapriotti
fixed: Merged as e21fada0b7419da8a277c99511108fdd05a47647.
2:59 PM Changeset in ghc [e21fada]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update documentation of DatatypeContexts (#5964) MERGED from commit ac2fbb4f6ce7bf9f0742207e1b974bbd556af85a
2:59 PM Changeset in ghc [27302c9]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Add linker support for ELF on ARM Add support for ELF objects on ARM to the runtime linker. While the list of relocation types in the "ELF for the ARM Architecture" specification spans four pages, we thankfully only see a handful of these in the wild. Thus, at the moment we only support the following .rel relocation types, * R_ARM_ABS32 * R_ARM_TARGET1 * R_ARM_REL32 * R_ARM_CALL * R_ARM_JUMP24 * R_ARM_MOVT_ABS * R_ARM_MOVW_ABS_NC * R_ARM_THM_CALL * R_ARM_THM_JUMP24 * R_ARM_THM_MOVT_ABS * R_ARM_THM_MOVW_ABS_NC * R_ARM_THM_JUMP8 * R_ARM_THM_JUMP11 Signed-off-by: Ben Gamari <bgamari.foss@gmail.com> MERGED from commit b22501b408ddb0503a06a188b06d9cff9be697cd
2:47 PM Changeset in ghc [ac2fbb4]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 Paolo Capriotti <p.capriotti@…>
Update documentation of DatatypeContexts (#5964)
12:55 PM Changeset in ghc [d86e6c0]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 Dimitrios Vytiniotis <dimitris@…>
A little tracing.
12:43 PM Changeset in ghc [6b4527a8]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 #5951
12:43 PM Changeset in testsuite [d2f7f27]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5951
12:41 PM Ticket #5951 (Panic on Malformed instance A => B => C) closed by simonpj
fixed
12:41 PM Ticket #5968 (GHC Panic: "AThing evaluated unexpectedly") closed by simonpj
fixed
12:35 PM Changeset in ghc [0c8318e]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 #5968
12:35 PM Changeset in testsuite [5e7a83f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5968
12:35 PM Changeset in ghc [1a986394]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@…>
TH_scopedTvs succeeds now we have scoped type variables in TH
12:35 PM Changeset in testsuite [afc5b6c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
TH_scopedTvs succeeds now we have scoped type variables in TH
12:33 PM Changeset in ghc [9804c81]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 Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:54 AM Changeset in base [a5b99c1]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Test Trac #5962
11:51 AM Changeset in base [f35ebbd]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Fix an egregious bug in the fingerprint calculation for TypeRep Given (T ty1) and ty2, we were computing the fingerprint of the application (T ty1 ty2) by combining the two fingerprints from (T ty1) and ty2. But that gives a different answer to combinging the three fingerprints from T, ty1, and ty2, which is what happens if you build the type all at once. Urk! Fixes Trac #5962
11:48 AM Changeset in ghc [4dd0fd3]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 Simon Peyton Jones <simonpj@…>
Don't do validity checking on types in Template Haskell type brackets We might be in the "knot" of a type declaration: see Trac #5968.
11:47 AM Changeset in ghc [e21e13fb]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 Simon Peyton Jones <simonpj@…>
A related group of changes that make lexically scoped type variables work in Template Haskell Triggered by fixing Trac #5968.
11:43 AM Changeset in ghc [dd847cb8]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 Simon Peyton Jones <simonpj@…>
Don't crash if there's a malformed instance! Fixes Trac #5951
11:36 AM Changeset in ghc [f0cb41b]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 Simon Peyton Jones <simonpj@…>
White space only
11:35 AM Changeset in ghc [f1f93b2]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 Simon Peyton Jones <simonpj@…>
Comments only
10:08 AM Changeset in ghc [b22501b]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 Paolo Capriotti <p.capriotti@…>
Add linker support for ELF on ARM Add support for ELF objects on ARM to the runtime linker. While the list of relocation types in the "ELF for the ARM Architecture" specification spans four pages, we thankfully only see a handful of these in the wild. Thus, at the moment we only support the following .rel relocation types, * R_ARM_ABS32 * R_ARM_TARGET1 * R_ARM_REL32 * R_ARM_CALL * R_ARM_JUMP24 * R_ARM_MOVT_ABS * R_ARM_MOVW_ABS_NC * R_ARM_THM_CALL * R_ARM_THM_JUMP24 * R_ARM_THM_MOVT_ABS * R_ARM_THM_MOVW_ABS_NC * R_ARM_THM_JUMP8 * R_ARM_THM_JUMP11 Signed-off-by: Ben Gamari <bgamari.foss@gmail.com>
12:21 AM Changeset in nofib [40c0162]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Small cleans to makefile & gitignore.

Mar 29, 2012:

11:21 PM Changeset in nofib [7505126]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Sort benchmarks in alphabetical order
11:15 PM Changeset in nofib [c19f3a5]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix callback001
8:20 PM Changeset in nofib [ce9eeeb]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update .gitignore
8:19 PM Changeset in nofib [0288998]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix transcols
4:02 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:35 PM Changeset in ghc [f84ea58e]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 Dimitrios Vytiniotis <dimitris@…>
Deleting A LOT of commented out code!
3:25 PM Changeset in ghc [3f42011]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 Dimitrios Vytiniotis <dimitris@…>
Changing the orientation of a generated equality
11:25 AM Changeset in ghc [f30f90b]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 Dimitrios Vytiniotis <dimitris@…>
More informative commentary as to why we allow family interactions with inerts when simplEqsOnly is on.
11:16 AM CodeOwners edited by igloo
(diff)
11:14 AM Changeset in ghc [e74fbf0]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 Dimitrios Vytiniotis <dimitris@…>
Started investigating how performance is affected and how intensively our caches are used.
10:42 AM Changeset in nofib [2362714]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix hash and clean fibon makefile.
10:35 AM Changeset in nofib [81375bd]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
update .gitignore
10:33 AM Changeset in nofib [efc7dc0]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update and clean makefiles
10:00 AM Changeset in ghc [bf334d28]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 Dimitrios Vytiniotis <dimitris@…>
Add handling of LitTy. Still a TODO to deal properly with the forall case in there.
9:30 AM Changeset in nofib [c5702b6e]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
update .gitignore
9:29 AM Changeset in nofib [c3464d4]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove extensible-exceptions package
8:47 AM Changeset in nofib [7670562]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add fibon makefile
8:47 AM Changeset in nofib [5d4f795]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update .gitignore
8:45 AM Changeset in nofib [1759b24]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix up debrecated lib usage in nofib.
8:31 AM Changeset in ghc [81faaee]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 Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
8:22 AM Changeset in ghc [1cc92e93]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 Dimitrios Vytiniotis <dimitris@…>
defaultKind the kind of one of the types when you create a higher-dimensional equality proof, pretty much as we do for mkTcEqPred. Ugly and delicate but we have to rething the subkinding story. For now I am doing the same thing as mkTcEqPred.
8:18 AM Changeset in ghc [4e0f1a0]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 Dimitrios Vytiniotis <dimitris@…>
Small bugfix (for indexed_types/should_compile/T2291.hs). Because our inert sets do not tolerate more than a single constraint per family head we have to allow family interactions /with the inerts/ (not with top-level) when the context says simplEqsOnly.
6:36 AM Changeset in nofib [da47ada]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove fibon files
6:32 AM Changeset in nofib [a9cdc8b]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Some fixes to hackage benchmarks

Mar 28, 2012:

10:56 PM Ticket #5978 (Type error in one function causes wrong type error report in another ...) created by Lemming
When trying to reduce my problem in #5970 to a simple program I …
10:21 PM Changeset in ghc [3be60fa9]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 Dimitrios Vytiniotis <dimitris@…>
Bugfixes: (i) wrong evidence generetation when using cached solved family equation (ii) evidence loops because of caching fixed
10:20 PM Changeset in ghc [c6411c3]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 Dimitrios Vytiniotis <dimitris@…>
Slightly more informal message when EvCast fails.
9:20 PM Ticket #5977 (Allow ignoring global package db) created by duncan
For sandboxing, users want to be able to use only local package dbs. To …
7:30 PM Ticket #5965 (pref-llvm failed at integer-gmp-0.3.0.0: stored value and pointer type do ...) closed by dterei
fixed: OK recent win64 fixes by Ian did this, specifically: …
6:34 PM Changeset in integer-gmp [121cd52]ghc-7.6ghc-7.8wip/T8647 by David Terei <davidterei@…>
Fix compilation under LLVM backend. (#5965) Recent change means ul is truncate to an int, not a long anymore.
5:42 PM Ticket #5688 (instance Read Integer/Rational/Double readsPrec out of memory and crash ...) closed by igloo
fixed: Backported as: […]
4:14 PM Changeset in base [6cb84cb]ghc-7.4 by Ian Lynagh <igloo@…>
Backport the Read Integer/Double/Float change for "123e456" For the 7.4 branch, I've fixed this in a less pleaseant way, in order to avoid changing the library interfaces.
4:05 PM Changeset in testsuite [b6fafa6]ghc-7.4 by Ian Lynagh <igloo@…>
Update output after fix for #5534.
3:35 PM Ticket #5926 (Add strict versions of modifyIORef and atomicModifyIORef) closed by simonmar
fixed: […]
3:26 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:45 PM Changeset in ghc [734f1d4]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 Simon Marlow <marlowsd@…>
Fix a bug in threadStackOverflow() (maybe #5214) If we overflow the current stack chunk and copy its entire contents into the next stack chunk, we could end up with two UNDERFLOW_FRAMEs. We had a special case to catch this in the case when the old stack chunk was the last one (ending in STOP_FRAME), but it went wrong for other chunks. I found this bug while poking around in the core dump attached to options and running the nofib suite: imaginary/wheel_sieve2 crashed with +RTS -kc600 -kb300. I don't know if this is the cause of all the symptoms reported in
1:45 PM Changeset in ghc [fe0a45ef]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 Simon Marlow <marlowsd@…>
threadStackOverflow: Tweak to stack chunk sizing If the old stack is only half full, then the next chunk we allocate will be twice as large, to accommodate large requests for stack. In that case, make sure that the chunk we allocate is at least as large as the usual chunk size - there's no point allocating a 2k chunk (double the default initial chunk size of 1k) if in the normal case we would allocate a 32k chunk.
1:01 PM Ticket #5961 (GHC panic (nameModule) on malformed deriving clause) closed by simonpj
fixed: Indeed: […]
12:53 PM Ticket #5976 (Panic in a user Template Haskell function is wrongly reported as a GHC bug) closed by simonpj
invalid: Looks like a bug in module Language.Haskell.Convert, which I don't …
12:28 PM Ticket #5971 (Referencing a newName in a VarE without definition triggers "the ...) closed by simonpj
fixed
12:27 PM Ticket #5955 (Renamer hangs when checking type family consistency) closed by simonpj
fixed: Fixed by […] The comment is wrong when it mentions #5970; the patch …
12:24 PM Changeset in ghc [59d6d62b]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 Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:24 PM Changeset in ghc [6137c0f3]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 #5955
12:24 PM Changeset in testsuite [ee5eb7e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5955
10:38 AM Ticket #5976 (Panic in a user Template Haskell function is wrongly reported as a GHC bug) created by SimonMeier
GhcBangBug?.hs:1:1:ghc: panic! (the 'impossible' happened) (GHC version …
10:23 AM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
9:57 AM Ticket #5975 (ghci can't load file whose name contains non-ASCII chars?) created by j.waldmann
http://thread.gmane.org/gmane.comp.lang.haskell.cafe/97465 The file name …
9:36 AM Ticket #5790 (Missing document about .eventlog's u flag) closed by pcapriotti
fixed: Merged as 49b9a36c1c8e390d5b4f79606e4cb8a813179b9d.
9:36 AM Ticket #5534 (ghci -fobject-code strangeness) closed by pcapriotti
fixed: Merged as 7aa0047fcb5d70248156480ffdbf6f7b16f56262.
9:35 AM Ticket #5843 (hGetBufSome blocks when all available input is buffered (on Windows only)) closed by pcapriotti
fixed: Merged as bd399cef9d91060a3d733be4c18cb901a2efbbc8.
9:00 AM Changeset in ghc [9734a93f]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 #5971
9:00 AM Changeset in testsuite [6fc962c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5971
8:57 AM Changeset in ghc [cb5a3f2d]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 Simon Peyton Jones <simonpj@…>
Make the LocalRdrEnv keep track of all the Names that are in scope This allows us to give a sensible error message when a Template Haskell splice generates an occurrence without a binding site. Fixes Trac #5959 and #5971
8:56 AM Changeset in ghc [b4b7647f]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 Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
8:56 AM Changeset in ghc [516d313]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 Simon Peyton Jones <simonpj@…>
Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDecl The absence of this was causing a loop when typechecking an interface where the superclass context mentioned an associated type class C (T a) => D a where data T a Fixes Trac #5970
8:38 AM Changeset in ghc [49b9a36]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update the user guide with details on new flag +RTS -lu It's for user events emitted from Haskell code, like traceEvent. Fixes #5790 MERGED from commit 050f714150282695746534174c4550c90c2d9f4e
8:34 AM Changeset in testsuite [bcc5bbb]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update output after fix for #5534.
8:05 AM Changeset in ghc [7aa0047]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix #5534 (ghci -fobject-code strangeness) MERGED from commit 9fa9dd773fc10a89b05d1456cfe55b79c5bd608c
7:59 AM Changeset in base [bd399ce]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Ensure hGetBufSome does not cause potentially blocking reads (#5843) When there is data in a handle buffer, never fetch more than the available number of elements, since that can cause a blocking read on Windows. MERGED from commit 370fc0b455f6a03283fbd5c0baa5d08d9115379d
7:53 AM Ticket #5932 (closure_type_names in Printer.c has BLACKHOLE and BLOCKING_QUEUE swapped) closed by pcapriotti
fixed: Merged as ef0ded714687ecf45c99bd61589e55ffe25a94f7.
7:51 AM Changeset in ghc [9606231]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 David Terei <davidterei@…>
Don't document '-fregs-liveness' or '-fllvm-tbaa', both hidden flags No reason user should turn them off, just want for ghc developer debugging uses.
7:41 AM Changeset in ghc [cc2d2e1]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 Dimitrios.Vytiniotis <dimitris@…>
Midstream check-in on (i) Replaced a lot of clunky and fragile EvVar handling code with a more uniform ``flavor transformer'' API in the canonicalizer and the interaction solver. Now EvVars are just fields inside the CtFlavors. (ii) Significantly simplified our caching story This patch does not validate yet and more refactoring is on the way.
7:09 AM Ticket #5960 (Show instance for Digraph.Forest overlaps with Show [a]) closed by simonpj
fixed
6:28 AM Status/SLPJ-Tickets edited by simonpj
(diff)
6:22 AM Ticket #5974 (Casts, rules, and parametricity) created by simonpj
Pedro wrote this …
6:02 AM Changeset in ghc [4ecfc7ff]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 Simon Peyton Jones <simonpj@…>
Remove Show instance for Forest A Forest is just a list, and we have a Show instance for lists already. We don't need a special Show instance for Forests. If we change our minds we can add a newtype, but I don't think it's worth it. Fixes Trac #5960
2:00 AM Ticket #5973 (Rewrite rule not firing for typeclass) created by SamAnklesaria
The following rewrite rule fires for a normal function, but fails to fire …
1:47 AM Records/TypePunningDeclaredOverloadedRecordFields edited by AntC
towards type-indexed rows? (diff)
Note: See TracTimeline for information about the timeline view.