Timeline


and

Aug 20, 2012:

9:23 PM Changeset in ghc [0e8d47c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Formatting wibbles
2:02 AM Changeset in ghc [4c93c8ba]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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.
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
1:24 PM Changeset in ghc [c848891]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/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
11:42 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:27 AM Changeset in ghc [935a043]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
11:26 AM Changeset in ghc [1993ee4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
TH: Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
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.