Timeline


and

May 6, 2012:

8:41 PM Status/May12 edited by simonmar
(diff)
8:30 PM Status/May12 created by simonmar
1st draft
8:01 PM Changeset in ghc [fd832ea]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Make rule instantiation more consistent (and bit more clean-up).
7:49 PM Changeset in ghc [b26a1b3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Build fix
7:39 PM Ticket #6058 (trac: can't register a new user) closed by igloo
wontfix: Thanks for the report. This happens when the server is under load. Trying …
7:01 PM Changeset in ghc [fcb19db]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Follow changes in haskeline I'm not sure if we still need to encode the error, but validate is happy with this fix, at least.
6:42 PM Changeset in ghc [e7b3a157]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Reorganize file and add some comments.
6:39 PM Changeset in ghc [9949db0a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Fix the way we call strip on DLLs On Win64, "install -s" calls a strip that doesn't understand 64bit binaries. For some reason, this means the DLLs end up non-executable, which means executables that use them just segfault.
2:54 PM Changeset in ghc [f09812de]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Fix RTS DLL references on Win64
1:22 AM Changeset in ghc [1a860da]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Some more functionality for matching rules.
1:21 AM Changeset in ghc [5872bf5]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Working towards fixing DLLs on Win64

May 5, 2012:

10:52 PM Changeset in ghc [6dcf0012]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Install DLLs as executable Otherwise the dynHelloWorld test segfaults when run from an installed compiler on cygwin.
9:11 PM Ticket #6081 (Kind variables not allowed in class instance declarations) created by goldfire
Consider the following code: […] The last line fails to compile, …
9:07 PM Changeset in ghc [3ce738b]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Some functionality for matching rules directly (rather than generating them)
9:06 PM Changeset in ghc [b6c8c442]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Remove (<=) as a class, and add (<=?) as a type function.
5:22 PM LightweightConcurrency edited by kc
(diff)
2:24 PM LightweightConcurrency edited by kc
(diff)
2:01 PM LightweightConcurrency edited by kc
More text (diff)
1:54 PM Changeset in ghc [a8787ece]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Use lnats to avoid overflowing when allocating large amounts Stops outofmem segfaulting on Win64
1:53 PM Changeset in ghc [a6ab2290]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add Win64 output for outofmem
1:53 PM Changeset in testsuite [01bd03c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add Win64 output for outofmem
1:18 PM LightweightConcurrency edited by kc
Minor edit (diff)
1:17 PM Changeset in ghc [e9e791d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
dph-classes-vseg-fast is broken (#6080)
1:17 PM Changeset in testsuite [3201cb4]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
dph-classes-vseg-fast is broken (#6080)
1:16 PM Ticket #6080 (dph-classes-vseg-fast fails: Vectorisation error) created by igloo
[…]
1:12 PM LightweightConcurrency edited by kc
Image added (diff)
1:10 PM Changeset in ghc [c8b715c0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Mark SEH tests as broken on Win64 (#6079)
1:10 PM Changeset in testsuite [24afd1d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Mark SEH tests as broken on Win64 (#6079)
1:07 PM Ticket #6079 (SEH exception handler not implemented on Win64) created by igloo
In RtsMain.c we only enable BEGIN_CATCH/END_CATCH on Win32. I think …
12:53 PM GHC_LWC_Key.jpg attached to LightweightConcurrency by kc
key_idea
12:07 PM Ticket #6067 (regression: cgrun051(ghci) failing in HEAD) closed by simonpj
fixed
12:05 PM Ticket #6075 (Incorrect interpretation of scoped type variable declaration in GADT ...) closed by simonpj
invalid: The errror mesage (with GHC 7.4) is this: […] And that seems right to …
11:32 AM Changeset in ghc [95978ed0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix ghcilink00{1,4} when the path to AR contains spaces
11:32 AM Changeset in testsuite [2a91733]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ghcilink00{1,4} when the path to AR contains spaces
11:18 AM LightweightConcurrency edited by kc
more edits (diff)
9:13 AM LightweightConcurrency edited by kc
Edits (diff)
12:54 AM Changeset in ghc [cd34194]type-nats by Trevor Elliott <trevor@…>
Fix a copy/paste bug in the comment for the type-nat cancellation axioms
12:53 AM Changeset in ghc [c665136]type-nats by Trevor Elliott <trevor@…>
Start checking left/right cancellation rules for type nats in CoreLint.lhs It would be nice to specify the rules as a datatype, then use an interpreter to verify that the proofs follow the structure that they describe.

May 4, 2012:

11:35 PM Holes edited by spl
Careless phrasing (diff)
11:12 PM Changeset in ghc [88f694dd]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Enable and fix building dynlibs on Win64
10:35 PM Holes edited by simonpj
(diff)
10:33 PM Holes edited by simonpj
(diff)
10:30 PM Ticket #6078 (GHC panic encountered for unlifted let bindings) created by SimonMeier
The following code block makes GHC panic: […] The panic output is …
10:19 PM Holes edited by simonpj
(diff)
10:04 PM Ticket #6077 (Respect XDG_CONFIG_HOME) created by So8res
As of now, ghc creates and uses a "$HOME/.ghc" directory. This is annoying …
10:04 PM LightweightConcurrency edited by kc
More text (diff)
4:59 PM Changeset in ghc [3762105]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:10 PM LightweightConcurrency edited by kc
edits (diff)
4:07 PM LightweightConcurrency created by kc
Page created
3:26 PM Changeset in ghc [f3c24c53]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-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@…>
Follow libffi changes on Windows
2:31 PM Ticket #6076 (Typo in error message about ScopedTypeVariables) closed by simonpj
fixed: Thanks!
2:29 PM Changeset in ghc [4f2dfe1e]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 Simon Peyton Jones <simonpj@…>
Fix typo in error message (Trac #6076)
1:35 PM Holes edited by spl
Link to implementation issues on GitHub? (diff)
11:23 AM Changeset in ghc [b67b943]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
11:23 AM Changeset in testsuite [16f05ccf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
10:24 AM Ticket #6073 (Lower case character in deriving statement crashes GHC 7.4.1) closed by pcapriotti
duplicate: Thanks for the report. This is fixed on the HEAD. See #5961.
10:09 AM Holes edited by spl
Minor changes (diff)
9:55 AM Holes edited by spl
Include type of f (diff)
9:47 AM Holes edited by spl
Clarification on ambiguous types and monomorphism restriction (diff)
9:22 AM Ticket #6071 (Compiled program segfaults) closed by simonmar
worksforme: Not reproducible with 7.4.1: […] Also tried with 7.0.3, which didn't …
9:08 AM Ticket #6072 (Irrefutable pattern error while compiling GHC) closed by simonmar
fixed: commit 1169351dca19dc3973448336ae168ddba154e606 […]
9:08 AM Holes edited by spl
Link to repository (diff)
8:36 AM Changeset in ghc [12dc1b6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
5250(llvm) is expect_broken(4211) on i386-unknown-linux
8:36 AM Changeset in testsuite [c881468]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
5250(llvm) is expect_broken(4211) on i386-unknown-linux
8:34 AM Changeset in ghc [1169351d]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 Simon Marlow <marlowsd@…>
Fix overnight build breakage (fix from simonpj) compiler/simplCore/SimplUtils.lhs:1668:5-25: Irrefutable pattern failed for pattern ((_, _, rhs1) : _)
3:11 AM Ticket #6076 (Typo in error message about ScopedTypeVariables) created by goldfire
When I compile this code: […] I get this error message: […] It …
2:43 AM Ticket #6075 (Incorrect interpretation of scoped type variable declaration in GADT ...) created by goldfire
Consider the following code: […] The function dumb compiles …
2:21 AM Ticket #6074 (Instance inference failure with GADTs) created by goldfire
Consider the following code: […] The function mkString does not …
12:58 AM Ticket #6073 (Lower case character in deriving statement crashes GHC 7.4.1) created by ExternalReality
-- Good newtype Address = Address Text deriving (Show, Eq) -- …

May 3, 2012:

8:35 PM Ticket #6072 (Irrefutable pattern error while compiling GHC) created by sjoerd_visscher
While doing "make" on GHC HEAD I got this error: […]
5:49 PM Changeset in integer-gmp [d95eb88]ghc-7.4 by Ian Lynagh <igloo@…>
Fix building libgmp on cygwin
5:44 PM Changeset in ghc [ff1e90c]ghc-7.4 by Ian Lynagh <igloo@…>
Omit -osuf/-odir -hisuf/-hidir and -stubdir from the flag checker The reasoning is that GHC will only skip recompilation if it has found a valid up-to-date object file and .hi file, so there is no need to also check that these flags have not changed, and indeed there are valid reasons to want to change them.
5:44 PM Changeset in ghc [8bafc22]ghc-7.4 by Ian Lynagh <igloo@…>
Compile link .note section separately from main.c Fixes gas errors when -g is enabled: Error: can't resolve `.debug-ghc-link-info' {.debug-ghc-link-info section} - `.Ltext0' {.text section}
5:32 PM Changeset in testsuite [5a2dd3e]ghc-7.4 by Ian Lynagh <igloo@…>
Merge branch 'ghc-7.4' of darcs.haskell.org:/srv/darcs//testsuite into ghc-7.4
2:35 PM Changeset in ghc [92fddec]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Accept output for T6006 on Windows
2:35 PM Changeset in testsuite [c4415b5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output for T6006 on Windows
12:20 PM Changeset in ghc [83dc4b7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Tweak plugins01
12:20 PM Changeset in testsuite [7cf898b]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Tweak plugins01
12:09 PM Changeset in ghc [2bc9d896]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@…>
Add _getpid to rtsSyms on Win64
11:52 AM Changeset in ghc [a44d52b9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix other ghcilink tests on Win64
11:52 AM Changeset in testsuite [9ef531f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix other ghcilink tests on Win64
11:33 AM Changeset in ghc [0285e289]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix ghcilink002 on Win64
11:33 AM Changeset in testsuite [7e8074e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ghcilink002 on Win64
11:27 AM Changeset in ghc [a511dcd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix the way we find the path to 'ar' Fixes ghcilink001 on Windows
11:27 AM Changeset in testsuite [fbbb955]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix the way we find the path to 'ar' Fixes ghcilink001 on Windows
11:20 AM Changeset in ghc [b806bd2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Tweak 4038 for Win64 Windows has a smaller C stack than other OSes
11:20 AM Changeset in testsuite [2edae7a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Tweak 4038 for Win64 Windows has a smaller C stack than other OSes
11:13 AM Changeset in ghc [dc4ae7b]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@…>
Check the calling convention of foreign imported labels is supported Fixes 2276_ghci on Win64
10:50 AM Holes edited by spl
Minor fix + clarification (diff)
10:24 AM Holes edited by xnyhps
(diff)
9:36 AM Holes edited by spl
Mention ticket #5910 (diff)
8:05 AM Changeset in testsuite [3a609b2]ghc-7.4 by Simon Marlow <marlowsd@…>
5250(llvm) is expect_broken(4211)
7:52 AM Changeset in testsuite [8993554]ghc-7.4 by Simon Marlow <marlowsd@…>
fix parsing001 stats on 32-bit
7:46 AM Changeset in base [5cbb4db]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Use IORef/atomicModifyIORef instead of STM Follows discussion on the libraries@ mailing list; see comments for rationale.
7:46 AM Changeset in ghc [8dda2dfb] by Simon Marlow <marlowsd@…>
Use IORef/atomicModifyIORef instead of STM Follows discussion on the libraries@ mailing list; see comments for rationale.
6:11 AM Ticket #6071 (Compiled program segfaults) created by stevecheckoway
When I run the bug program, it correctly computes 28 values (output lines …

May 2, 2012:

6:33 PM Ticket #6059 (FFI: segfault when jumping to code buffer (under certain conditions)) closed by guest
invalid: Well, as I said, it's reproducible (at least on my system). Within make
5:01 PM Changeset in ghc [4202879]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@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:31 PM Changeset in ghc [84a9c46b]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@…>
Win64 build fix
4:00 PM Changeset in ghc [3a8c7c8e]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@…>
More Win64 ghci fixes
3:13 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:11 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:44 PM Changeset in ghc [f7c2657]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 Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:44 PM Changeset in ghc [ac230c5]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 Simon Peyton Jones <simonpj@…>
Allow cases with empty alterantives This patch allows, for the first time, case expressions with an empty list of alternatives. Max suggested the idea, and Trac #6067 showed that it is really quite important. So I've implemented the idea, fixing #6067. Main changes * See Note [Empty case alternatives] in CoreSyn * Various foldr1's become foldrs * IfaceCase does not record the type of the alternatives. I added IfaceECase for empty-alternative cases. * Core Lint does not complain about empty cases * MkCore.castBottomExpr constructs an empty-alternative case expression (case e of ty {}) * CoreToStg converts '(case e of {})' to just 'e'
2:30 PM Changeset in ghc [40c1106]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 Paolo Capriotti <p.capriotti@…>
Cast memory primops in the C backend (#5976) To prevent conflicts with GCC builtins, generate identical code for calls to mem primos and FFI calls. Based on a patch by Joachim Breitner.
2:11 PM Changeset in ghc [18b4ad9a]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@…>
Win64 Linker improvements We now detect if we are given a value that is out of range for a 32bit relocation, and fail with an error. Added a load more symbols to rtsSyms.
1:35 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:34 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:34 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:33 PM Ticket #6070 (Fun with the demand analyser) created by simonpj
Max writes: I've been trying to speed up the supercompiler, and in the …
1:29 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:39 PM Changeset in base [be1d813]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix an off-by-one error in freeProgArgv
12:39 PM Changeset in ghc [4100b750] by Ian Lynagh <igloo@…>
Fix an off-by-one error in freeProgArgv
12:27 PM Changeset in ghc [afbaa11]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@…>
Add 'free' to the list of rtsSyms on Win64 Without this, we ended up using (gdb) info symbol 0x7ff756a10ac msvcrt!free in section .text of C:\Windows\system32\msvcrt.dll for free, rather than (gdb) info symbol 0x2584128 free in section .text of C:\m64\ghci2\q/../inplace/bin/ghc-stage2.exe but we were trying to put the address into a 32bit relocation.
11:05 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:24 AM Building/Hoogle created by simonpj
7:20 AM Building edited by simonpj
(diff)
2:24 AM Ticket #6069 (Rank 2 Polymorphism Compile Error) created by clinton
Not sure if this is a bug, perhaps this should be a feature request. …

May 1, 2012:

9:24 PM Ticket #5973 (Rewrite rule not firing for typeclass) closed by SamAnklesaria
invalid: I had only tested with a prior version of GHC (7.0.4). With 7.4, as you …
8:45 PM Changeset in ghc [9d07791]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more tests on Win64
8:45 PM Changeset in testsuite [df3a9da]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more tests on Win64
8:26 PM Changeset in ghc [cace35f0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix cabal tests on Win64
8:26 PM Changeset in testsuite [f115cfa]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix cabal tests on Win64
8:18 PM Changeset in process [3817233]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Fix tests on Win64
8:08 PM Changeset in directory [854bd9e]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Fix tests on Win64
7:06 PM Changeset in ghc [a53c12a1]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@…>
Fix Win64 build now that hsc2hs knows what platform we're on
6:14 PM Ticket #6068 (Panic in GHCi when using functional dependencies and promoted kinds) created by goldfire
Consider the following code: […] When I load it into GHCi and ask for …
6:14 PM Changeset in ghc [74eebed1]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@…>
Define _HOST_OS and _HOST_ARCH when calling hsc2hs In particular, old-time assumes that mingw32_HOST_OS is set when we are on Windows, and was going wrong on Win64 because it wasn't defined.
4:38 PM Changeset in base [f740f9a]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Tidy up the ThreadDelay001 test code
4:38 PM Changeset in ghc [89e9295c] by Ian Lynagh <igloo@…>
Tidy up the ThreadDelay001 test code
4:35 PM Changeset in base [5bdea7a]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
system001 test is expected to fail on Win64
4:35 PM Changeset in ghc [56b05f1] by Ian Lynagh <igloo@…>
system001 test is expected to fail on Win64
3:11 PM Blog: New directions for Template Haskell comment added by heisenbug
typo above "depdenency analysis" (...feel free to delete this comment)
3:08 PM Blog: New directions for Template Haskell comment added by heisenbug
I am interested in rewriting a DSL (which is an expression quotation, or a …
2:51 PM Ticket #6066 (Constraint Kinds don't work with Template Haskell) closed by sseverance
duplicate: It would appear so. I have marked as duplicate.
2:13 PM Changeset in ghc [e07d4329]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Merge branch 'master' of win:c:/m64/ghci2/testsuite
2:13 PM Changeset in testsuite [4f16011]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of win:c:/m64/ghci2/testsuite
2:10 PM Changeset in ghc [753d59c1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Change how we detect whether the terminal is cygwin or msys sys.platform now always returns 'win32' for me.
2:10 PM Changeset in testsuite [2c60232]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Change how we detect whether the terminal is cygwin or msys sys.platform now always returns 'win32' for me.
1:19 PM Changeset in base [50a0222]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix some more tests on Win64
1:19 PM Changeset in ghc [a436735] by Ian Lynagh <igloo@…>
Fix some more tests on Win64
1:10 PM Changeset in base [3a972ce]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove old test outputs These files are no longer used
1:10 PM Changeset in ghc [48c1949] by Ian Lynagh <igloo@…>
Remove old test outputs These files are no longer used
1:00 PM Changeset in ghc [bf21999]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@…>
Tell checkProddableBlock how many bytes we want to write It doesn't suffice for checkProddableBlock to just check whether the largest possible write could be made at the address we are writing, as if we are making a smaller write then checkProddableBlock may conservatively think we will write off the end of the block. Thus we now tell checkProddableBlock how many bytes we will write.
12:14 PM Changeset in ghc [f36dd8b]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@…>
Revert "Revert "More Win32 build fixes"" This reverts commit 29cd6f435f2afb332ad8faf39f5e920ff9c38d9a.
12:14 PM Changeset in ghc [257fa1f]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@…>
Revert "Revert "Fix build of rts/Linker.c on Win32"" This reverts commit 02cf6d6f71b5772aa4ddf1b70c192a802886e2c2.
12:14 PM Changeset in ghc [57dae56]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@…>
Revert "Revert "Get GHCi working on Win64"" This reverts commit 27e585bda6ae8ab68f58abdcb9e06806414a6636.
11:30 AM Blog: New directions for Template Haskell edited by simonpj
10:42 AM Changeset in ghc [4a5c6a0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Omit prof_ways for T6006 It ignores the command line arguments, so we don't get a profile.
10:42 AM Changeset in ghc [a8a0071d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
update 32-bit results
10:42 AM Changeset in ghc [beaf7725]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
follow changes in the GHC API
10:42 AM Changeset in testsuite [eae93aa]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Omit prof_ways for T6006 It ignores the command line arguments, so we don't get a profile.
10:42 AM Changeset in testsuite [1f13b89]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
update 32-bit results
10:42 AM Changeset in testsuite [914e12f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
follow changes in the GHC API
10:42 AM Changeset in ghc [3a3d1c6c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
substitute for $topdir in $(AR) Fixes ghcilink001, ghcilink004 on Windows
10:42 AM Changeset in testsuite [386ff6e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
substitute for $topdir in $(AR) Fixes ghcilink001, ghcilink004 on Windows
10:40 AM Commentary edited by simonpj
(diff)
10:21 AM Ticket #6067 (regression: cgrun051(ghci) failing in HEAD) created by simonmar
[…] The code is very simple. For some reason the simplifier is …
8:41 AM Changeset in testsuite [6e57f24]ghc-7.4 by Simon Marlow <marlowsd@…>
update stats for parsing001 (7.4 branch)
8:05 AM Changeset in ghc [782b5bf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Fix capi_value on Windows This appears to be a bug in the gcc that we're currently using. Compiling this, with -O: const int i; int f(void) {return i;} results in this assembly: pushl %ebp movl %esp, %ebp movl $0, %eax <--- the $0 is wrong, should be _i leave ret Turning off -O makes it work. Maybe time to update our mingw gcc bundles?
8:05 AM Changeset in ghc [deaa0ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add missing file
8:05 AM Changeset in testsuite [832fa64]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Fix capi_value on Windows This appears to be a bug in the gcc that we're currently using. Compiling this, with -O: const int i; int f(void) {return i;} results in this assembly: pushl %ebp movl %esp, %ebp movl $0, %eax <--- the $0 is wrong, should be _i leave ret Turning off -O makes it work. Maybe time to update our mingw gcc bundles?
8:05 AM Changeset in testsuite [c9ee475]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add missing file
8:05 AM Changeset in ghc [cf85b75]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Don't try to run ghc-config when cleaning
8:05 AM Changeset in ghc [f205f21a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
remove accidentally added file
8:05 AM Changeset in ghc [8e6b902]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix T4464 on Windows
8:05 AM Changeset in testsuite [4c908e8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Don't try to run ghc-config when cleaning
8:05 AM Changeset in testsuite [cdfbce3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
remove accidentally added file
8:05 AM Changeset in testsuite [fa17532]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix T4464 on Windows
7:54 AM Changeset in ghc [29cd6f4]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 Manuel M T Chakravarty <chak@…>
Revert "More Win32 build fixes" This reverts commit e89ef70475fa5e9cf17af01b1b5d7fced0d2e13c.
7:54 AM Changeset in ghc [02cf6d6f]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 Manuel M T Chakravarty <chak@…>
Revert "Fix build of rts/Linker.c on Win32" This reverts commit 0042c478f1169ddd9392fb39de7d0aed865a272e.
7:54 AM Changeset in ghc [27e585b]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 Manuel M T Chakravarty <chak@…>
Revert "Get GHCi working on Win64" This reverts commit 05b55c670c7fe3fc01827ca02aafb6926c0b69cb.
7:19 AM Ticket #6060 (the 'impossible' happened) closed by simonpj
fixed: Thanks. Coincidentally I found an old patch I've been meaning to commit …
7:17 AM Changeset in ghc [b04c0beb]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 Simon Peyton Jones <simonpj@…>
Wibble to pretty printing
7:11 AM Changeset in ghc [3e467a9]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 test for #6060
7:11 AM Changeset in testsuite [378433e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add test for #6060
7:08 AM Changeset in ghc [d1e84be]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 Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:07 AM Changeset in ghc [67c793a3]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 Simon Peyton Jones <simonpj@…>
Tidy up a remaining glitch in unification There was one place, in type checking parallel list comprehensions where we were unifying types, but had no convenient way to use the resulting coercion; instead we just checked that it was Refl. This was Wrong Wrong; it might fail unpredicably in a GADT-like situation, and it led to extra error-generation code used only in this one place. This patch tidies it all up, by moving the 'return' method from the *comprehension* to the ParStmtBlock. The latter is a new data type, now used for each sub-chunk of a parallel list comprehension. Because of the data type change, quite a few modules are touched, but only in a fairly trivial way. The real changes are in TcMatches (and corresponding desugaring); plus deleting code from TcUnify. This patch also fixes the pretty-printing bug in Trac #6060
6:08 AM Changeset in base [d0e0ace]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Add a type-family for comparing numbers. For the moment, this replaces the class (<=) because it is easier to fit with GHC's coercion evidence.
6:08 AM Changeset in ghc [9c11265d] by Iavor S. Diatchki <iavor.diatchki@…>
Add a type-family for comparing numbers. For the moment, this replaces the class (<=) because it is easier to fit with GHC's coercion evidence.
5:47 AM Changeset in ghc [a12a043]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats
5:29 AM Changeset in ghc [d91c7951]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add solving of really simple wanted constraints.
5:28 AM Changeset in ghc [13a3194]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Remove the 3rd argument of TnLeqDef, as in the other functions.
2:32 AM Ticket #6066 (Constraint Kinds don't work with Template Haskell) created by sseverance
If I have a record with a constraint kind that has multiple constraints …
Note: See TracTimeline for information about the timeline view.