Timeline


and

Aug 20, 2012:

9:23 PM Changeset in ghc [0e8d47c]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@…>
Fix T7151 test
9:23 PM Changeset in testsuite [12cfa93]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix T7151 test
9:21 PM Changeset in ghc [431577bd]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@…>
Run testcase for #5205 without optimization
9:21 PM Changeset in testsuite [6e46d2b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Run testcase for #5205 without optimization
9:19 PM Changeset in ghc [4e0a9577]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Profiling: open .prof when -hr<cc> is specified The code for retainer profiling is used with e.g. +RTS -hc -hrfoo -RTS, as well as with +RTS -hr -RTS.
9:19 PM Changeset in ghc [a874dd8]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Export startProfTimer and stopProfTimer symbols. This fixes unresolved symbols error when dynamically linking base.
3:48 PM Changeset in base [f55f557]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Improve definition of forever (#5205) The previous implementation was: forever a = a >> forever a which can create a space leak in some cases, even with optimizations. The current implementation: forever a = let a' = a >> a' in a' prevents repeated thunk allocations by creating a single thunk for the final result, even without optimizations.
3:48 PM Changeset in ghc [b3ef645] by Paolo Capriotti <p.capriotti@…>
Improve definition of forever (#5205) The previous implementation was: forever a = a >> forever a which can create a space leak in some cases, even with optimizations. The current implementation: forever a = let a' = a >> a' in a' prevents repeated thunk allocations by creating a single thunk for the final result, even without optimizations.
3:29 PM Changeset in ghc [49ed3da]supercompiler by Max Bolingbroke <batterseapower@…>
Complete MSG examples
2:37 PM Ticket #7169 (Warning for incomplete record field label used as function) created by goldfire
Consider the following definition: […] It would be great if GHC could …
2:11 PM Ticket #7168 (Loop) closed by ross
invalid: It's not that a and b are evaluated, but the pairs are, precisely as …
1:52 PM Ticket #7168 (Loop) created by bas
When patternmatching on (a,b), the variables a and b are sometimes …
1:50 PM Ticket #7156 ("Pattern match on GADT" error for non-GADT) closed by simonpj
fixed: OK, done.
1:50 PM Changeset in ghc [814707fa]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 #7156
1:50 PM Changeset in testsuite [23235be]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7156
1:42 PM Changeset in ghc [4b0b0f17]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@…>
Change in line numbers
1:42 PM Changeset in testsuite [8e11107]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Change in line numbers
1:41 PM Ticket #7150 (unjustified overlapping instances error) closed by simonpj
worksforme
1:28 PM Changeset in ghc [3eb6e21]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
When pattern matching against a constructor with equalities, require either -XGADTs *or* -XTypeFamilies (rather than only the former) Fixes Trac #7156
1:26 PM Changeset in ghc [00a2104b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Improve documentation for rank-1 types (Trac #7137)
1:22 PM Ticket #7137 (Unnecessary -XRank2Types requirement involving type alias containing ...) closed by simonpj
wontfix: Joey is right that Int -> forall a. a is technically a rank-1 type. …
1:05 PM Ticket #7167 (Make it a warning (not error) to hide an import that isn't exported) created by simonpj
We often see build failures like […] elicited by an import statement …
12:41 PM Ticket #7147 (programatica fails to compile) closed by pcapriotti
fixed: Merged as ab4c7d3b0ad758f965b67239201dc3da52888e5f.
12:38 PM Ticket #6038 (Allow view patterns inside record patterns) closed by pcapriotti
fixed: Merged as 038bec8abc35114e15c2d870f860025b0d7e3baa.
12:33 PM Ticket #7117 (Data family constructors defined in GHCi are not in scope) closed by pcapriotti
fixed: Test was pushed as 38163b919c9b429a003468afe2ac93f9bc9bd3f0. Merged as …
11:09 AM Changeset in ghc [ab4c7d3]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds (which doesn't) I think this got left behind when we simplified and improved TcSimplify. The effect was that we had a function like class P a b | a -> b class Q b c | b -> c f :: (P a b, Q b c) => a -> a and were were failing to quanitfy over 'c', even though it is (indirectly) determined by 'a'. This make Programatica fail to compile: Trac #7147 MERGED from commit de07bf2657fc5709331ad933b5563fac97b1a05b
11:07 AM Changeset in ghc [038bec8]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Allow a vew pattern or bang pattern in a record pattern. e.g. data T = MkT { x,y :: Int } f (MkT { x = !v, y = negate -> w }) = v + w MERGED from commit 41c7342e7937dab55d082a0c5612f783e7eaa855
11:02 AM Changeset in ghc [8c66867]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix environment update for type instance declarations in GHCi (#7117) Patch by Patrick Palka <patrick@parcs.ath.cx> MERGED from commit 700d287fb11dadfd1e91875e2008c4002cd883a3
10:47 AM Changeset in ghc [da71a952]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@…>
Add comment
10:47 AM Changeset in testsuite [add09c8]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add comment
10:36 AM Ticket #7166 (Time running backwards in retainer profile) created by augustss
When using retainer profiling the time stamps in the .hp file sometimes …
8:11 AM Ticket #7165 ("match_co bailing out" messages and compiler crash) created by alang
[…] If we compile with -O2, in 2 separate calls to ghc, we get: …
7:41 AM Ticket #7119 (Build failure on OS X Mountain Lion) closed by simonmar
fixed
4:01 AM Ticket #7164 (Confusing "not a (visible) method" warning when method name clashes with ...) created by joeyadams
Given this code: […] GHC 7.4.1, 7.4.2, and 7.6.0.20120810 (rc1) …
3:04 AM DataParallel/VectPragma edited by chak
(diff)
3:01 AM DataParallel/VectPragma edited by chak
(diff)
2:53 AM DataParallel/VectPragma edited by chak
(diff)
2:52 AM DataParallel/VectPragma edited by chak
(diff)
2:49 AM DataParallel/VectPragma edited by chak
(diff)
2:48 AM DataParallel/VectPragma edited by chak
(diff)
2:02 AM DataParallel/VectPragma edited by chak
(diff)
12:49 AM Ticket #7153 (GHC crashes with "(Array.!): undefined array element" while building) closed by igloo
worksforme: OK, thanks for getting back to us. Closing as I don't think we can do …

Aug 19, 2012:

6:51 PM Ticket #7163 (nofib/real/gg is miscompiled at -O1) created by michalt
I've noticed that nofib/real/gg fails (output mismatch) and after …
2:09 AM Ticket #7162 (RULES that never fire (automatically)) created by andygill
We want a way of having GHC RULES known by GHC, but not used by the …

Aug 18, 2012:

10:57 PM Ticket #7161 (hSetNewlineMode and hSetEncoding can be performed on closed and ...) created by duncan
The hSetNewlineMode and hSetEncoding functions from GHC/IO/Handle.hs
3:41 PM Ticket #7160 (C finalizers are reversed during GC) created by int-e
(See also thread starting at …
1:40 PM Ticket #7159 (CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called) closed by guest
invalid: This is not a bug after all. I needed to use CorePrep?.corePrepPgm before …
7:49 AM DataParallel/VectPragma edited by chak
(diff)
6:58 AM DataParallel/VectPragma edited by chak
(diff)
6:57 AM DataParallel/VectPragma edited by chak
(diff)
6:15 AM Ticket #7159 (CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called) created by guest
Not much more to say than the title. It said Panic! (the 'impossible' …

Aug 17, 2012:

6:20 PM Ticket #7157 ('let' keyword optional in do notation) closed by igloo
wontfix: Thanks for the suggestion. However, looking at …
4:21 PM Ticket #7158 (GHCi commands case insensitive) created by Oblosys
Because GHCi commands start with a colon, it frequently happens to me that …
4:14 PM Ticket #7157 ('let' keyword optional in do notation) created by Oblosys
Would it be possible to make the 'let' keyword in a do block optional? So …
8:04 AM Changeset in ghc [79010d3c]supercompiler by Max Bolingbroke <batterseapower@…>
Hack in some examples, not quite working
7:27 AM DataParallel/VectPragma edited by chak
(diff)
3:46 AM Ticket #7156 ("Pattern match on GADT" error for non-GADT) created by ryani
It's widely known that GADTs are just generalizations of type equality and …
3:03 AM Commentary/Compiler/Backends/PprC edited by guest
Spelling fixes. (diff)
2:11 AM Changeset in ghc [2a7217e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/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@…>
Formatting wibbles
2:02 AM Changeset in ghc [4c93c8ba]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/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@…>
Tabs -> spaces (and some other formatting)
12:40 AM Changeset in ghc [30c3d500]supercompiler by Max Bolingbroke <batterseapower@…>
Tidy up MSG and make specGenVars non-strict in the knot tied variable
12:29 AM Changeset in ghc [fee3f609]supercompiler by Max Bolingbroke <batterseapower@…>
Comments only
12:24 AM Changeset in ghc [7d55bbd5]supercompiler by Max Bolingbroke <batterseapower@…>
A version of MSG where stack initialization takes place in a seperate monad for cleanliness

Aug 16, 2012:

11:37 PM Changeset in ghc [0df6f2f]supercompiler by Max Bolingbroke <batterseapower@…>
First version of MSG rethink that type checks. Removed term gen capabalities while I was at it.
8:47 PM Changeset in testsuite [548f066]overlapping-tyfams by Richard Eisenberg <eir@…>
Added tests to cover overlapping type family instances.
8:41 PM Ticket #7155 (Fails to build on powerpc with -Werror : The import of `CmmCallConv' is ...) created by erikd
[…] One possible solution is something the one propsed in #7083.
8:22 PM Changeset in ghc [01b5511e]overlapping-tyfams by Richard Eisenberg <eir@…>
Added check to find inaccessible equations in family instance groups. This check uses the isDominatedBy function in types/FamInstEnv, which is currently incomplete. Thus, it is possible some inaccessible equations will not be marked as such. However, all equations marked as inaccessible are, so good code can never produce an error. It's worth noting that bad code that does not produce an error is silly, but does not compromise the type system.
3:13 PM Changeset in ghc [ee178f51]overlapping-tyfams by Richard Eisenberg <eir@…>
Allowed instance groups to match applications even coinciding. See Note [Confluence checking within groups] in types/FamInstEnv.lhs for the gory details. Also did some refactoring, including eliminating the FamIncoherence tracking outside of FamInstEnv. It's much better now.
2:29 PM Ticket #7154 (making GHC from sources with a locally installed GHC 6.12.1 fails) created by rmg
Here is the end of the output of make that followed ./configure …
10:18 AM Changeset in ghc [bfbc4f8]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 #6038
10:18 AM Changeset in testsuite [88f1082]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6038
10:13 AM Changeset in ghc [41c7342]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Allow a vew pattern or bang pattern in a record pattern. e.g. data T = MkT { x,y :: Int } f (MkT { x = !v, y = negate -> w }) = v + w
2:09 AM Ticket #7153 (GHC crashes with "(Array.!): undefined array element" while building) created by tibbe
I switched my build bot to use 7.6.1-rc1 today and the Cabal build failed …

Aug 15, 2012:

8:47 PM Ticket #7152 (Add flag to configure that skips overwriting of symlinks on install) created by tibbe
Sometimes when I'm installing a GHC release candidates I'd like to install …
5:29 PM Ticket #5624 (Delay Errors Until Runtime) closed by pcapriotti
fixed: Merged as 73057146115870578671ba8e5e50c2448bbbaa9e.
5:28 PM Ticket #7022 (Kind variable scoping problem in Iface file when using Template Haskell) closed by pcapriotti
fixed: Merged as 309eee74e0c7658c8ca3652106fdc1710f30e4d3.
5:28 PM Ticket #7064 (TH: Pragmas refactoring (also adds RULES and 'SPECIALIZE instance' ...) closed by pcapriotti
fixed: Merged as 6d0e2f288a34f12f5e3228415351d5bb4280c814 and …
5:27 PM Ticket #7128 (Panic "lookupVarEnv_NF" when using a functional dependency with a kind ...) closed by pcapriotti
fixed: Merged as 0cb389e5f07d29f92456a3c17361565b8b5ef865.
5:26 PM Ticket #7151 (GHC accepts invalid type declaration) closed by pcapriotti
fixed: Merged as 349c8c53ef9e99425d9ca299cbad388a21b63a54.
5:26 PM Ticket #7145 (Incorrect redundant import warning) closed by pcapriotti
fixed: Merged as cd74abeb527a974c9e52303de7770dc59e307e35.
5:26 PM Ticket #7131 (FlexibleInstances / UndecidableInstances confusion) closed by pcapriotti
fixed: Merged as 38d95c13fedc9966ee9731a69eef94d61cbba1d6.
5:25 PM Ticket #7124 (polykinds tests failing) closed by pcapriotti
fixed: Merged as 2e1a0cb7d5f9d2c4ba7f99a28e666f6ce40cee88.
5:14 PM Changeset in testsuite [51fdfe4]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept error in rnfail055
5:13 PM Changeset in testsuite [c2ae2a4]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Update haddock perf limits for x86 Linux.
5:11 PM Changeset in ghc [b17b14cd]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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:11 PM Changeset in testsuite [6cf4b2a]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:11 PM Changeset in testsuite [6f1d897]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add DataKinds flag to test MERGED from commit 1767d175d3a64f6821639a46a041d79ae4bc4866
5:10 PM Changeset in ghc [de07bf2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds (which doesn't) I think this got left behind when we simplified and improved TcSimplify. The effect was that we had a function like class P a b | a -> b class Q b c | b -> c f :: (P a b, Q b c) => a -> a and were were failing to quanitfy over 'c', even though it is (indirectly) determined by 'a'. This make Programatica fail to compile: Trac #7147
4:52 PM Changeset in ghc [1ce4253]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 #7147
4:52 PM Changeset in testsuite [6414dca]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7147
4:51 PM Changeset in ghc [57a409c6]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 #7095
4:51 PM Changeset in testsuite [0bb311b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7095
4:49 PM Ticket #7095 (Kind-polymorphic typechecking requires better documentation.) closed by simonpj
fixed: I think this is just a bug. Kind polymorphism was not an advertised …
4:28 PM Changeset in ghc [349c8c5]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Require DataKinds for promoted list/tuple syntax in types Fixes Trac #7151 MERGED from commit 72e7f57cb4326c797f63d0c0c976241c02328209
4:26 PM Changeset in testsuite [acc0346]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add test for #7145 MERGED from commit 5831652dd33313af28dd8b8eb88cb36bb474d98e
4:24 PM Changeset in ghc [cd74abe]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7145, by recording uses of constructor "children" in export lists MERGED from commit 10377bba65de7463b909cc7cd5781a46620f305a
4:19 PM Changeset in ghc [38d95c1]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Test FlexibleInstance not UndecidableInstances in the ambiguity check Fixes Trac #7131 MERGED from commit f7b096e8630c91a17ff9a551ab15060b21d84eb0
4:18 PM Changeset in ghc [0cb389e5]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7128, by zonking kind varaibles more assiduously when typechecking a class declaration MERGED from commit e949162653b65d8e48573e84583c6509be2f24ed
4:17 PM Changeset in testsuite [8467db38]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Adapt to new TH pragma data types MERGED from commit 15b8a3e962e1b21a57a49f56ddd17eae2ac5a905
4:16 PM Changeset in ghc [6d0e2f2]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
TH: Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support. MERGED from commit 1993ee4ba8d30d6774c2330477a1eecf865dfa1f
4:16 PM Changeset in ghc [309eee7]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
applying simonpj's fix from #7022 (with 80-col reformatting) MERGED from commit 15e4f93b661fe83cff96c8c295e7ea8985aa08a
4:11 PM Changeset in ghc [2e1a0cb]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Put kind variables before type variables when quantifying This is a pretty egregious error; I'm surprised it has lasted so long! Fixes Trac #7124 MERGED from commit bdce8f0a3b40a60108a99b4635d168c12b79f255
4:09 PM Changeset in ghc [73057146]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Document -fdefer-type-errors Thanks to Paolo for most of the work. MERGED from commit 3fabf48e0c5be2d7c2f6ea028115fdb9b4045d97
4:09 PM Changeset in ghc [c70ca5b]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add reference to defer-type-errors in the release notes.
3:58 PM Changeset in ghc [385058ed]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@…>
Update stderr in p2 test case.
3:58 PM Changeset in testsuite [4f5a135]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update stderr in p2 test case.
3:02 PM Changeset in ghc [d8b5659]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@…>
Add DataKinds flag to test
3:02 PM Changeset in testsuite [1767d17]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add DataKinds flag to test
3:02 PM Changeset in ghc [36f2ec6c]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 #7151
3:02 PM Changeset in testsuite [cc2852d]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7151
3:02 PM Changeset in ghc [f7b096e8]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Test FlexibleInstance not UndecidableInstances in the ambiguity check Fixes Trac #7131
3:01 PM Changeset in ghc [72e7f57]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Require DataKinds for promoted list/tuple syntax in types Fixes Trac #7151
2:59 PM Changeset in ghc [bdce8f0a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Put kind variables before type variables when quantifying This is a pretty egregious error; I'm surprised it has lasted so long! Fixes Trac #7124
1:44 PM Changeset in ghc [33a75d9f]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 #7064
1:44 PM Changeset in testsuite [106fec1]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7064
1:38 PM Ticket #7146 (Literal strings printed wrong) closed by simonpj
fixed: Fixed by […] There are a couple of testsuite stdout-changes in …
1:38 PM Ticket #7151 (GHC accepts invalid type declaration) created by bitonic
The declaration […] is accepted by GHC with no extensions enabled, …
1:25 PM Changeset in ghc [12512e1]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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:25 PM Changeset in testsuite [0cbca7b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:24 PM Changeset in base [53ed79a]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
1:24 PM Changeset in ghc [2df687f] by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
1:24 PM Changeset in ghc [c848891]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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 darcs.haskell.org:/home/darcs/ghc
1:24 PM Changeset in ghc [10377bb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
Fix Trac #7145, by recording uses of constructor "children" in export lists
1:23 PM Changeset in ghc [af9dd9d3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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 about shadowing
1:23 PM Ticket #7150 (unjustified overlapping instances error) created by maeder
When compiling hets …
1:23 PM Changeset in base [6fb7bf8]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Fix Trac #7146, by displaying a "\n" in a multi-line string
1:23 PM Changeset in ghc [120bd32] by Simon Peyton Jones <simonpj@…>
Fix Trac #7146, by displaying a "\n" in a multi-line string
1:22 PM Changeset in ghc [53ffd2e]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@…>
Adapt to new TH pragma data types
1:22 PM Changeset in testsuite [15b8a3e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to new TH pragma data types
1:21 PM Changeset in ghc [41b7f9d9]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@…>
Adapt to extra \n in multi-line string printouts See Trac #7146
1:21 PM Changeset in testsuite [3799bb8]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to extra \n in multi-line string printouts See Trac #7146
12:24 PM Changeset in ghc [7980ff9b]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Cleanup everything that ./validate whined about.
11:42 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:27 AM Changeset in ghc [935a043] by Simon Peyton Jones <simonpj@…>
Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
11:26 AM Changeset in ghc [1993ee4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/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@…>
TH: Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
10:29 AM Changeset in ghc [c7442b5]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
4:39 AM Ticket #7149 (Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults) created by akio
Steps to reproduce: […]
3:39 AM Ticket #7148 (generalized newtype and type families is unsound) created by carter
the code from …
Note: See TracTimeline for information about the timeline view.