Timeline


and

Jun 21, 2013:

11:23 PM Changeset in ghc [a44e4a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add another -dynamic-too test
11:23 PM Changeset in testsuite [5be6042]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add another -dynamic-too test
8:11 PM Ticket #8008 (Pretty numbers (like 1`000`000)) created by wvv
Let allow to use pretty numbers in code. Pattern looks like Digit_1 = d …
4:51 PM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) closed by simonpj
invalid: Are you sure? dropWhile is brought into scope by the implicit import of …
4:08 PM Ticket #8007 (Missing space in `rec` documentation) created by guest
One of the code examples in …
1:25 PM Ticket #7713 (Panic! make_exp (App _ (Coercion _)) when compiled with -fext-core) closed by igloo
duplicate: Duplicate of #5630
1:24 PM Ticket #8001 (Coercion causes "impossible" error) closed by igloo
duplicate
1:22 PM Ticket #8003 (Add missing Applicative/Alternative instances (AMP phase 1)) closed by igloo
invalid: We would do this when making the missing instances cause a warning or …
1:10 PM Changeset in ghc [99e3dd7]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:09 PM Changeset in testsuite [73dd57e]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:01 PM Changeset in ghc [0ff54bed] by Richard Eisenberg <eir@…>
Update to support closed type families.
12:58 PM Changeset in ghc [c30744c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Updates to support closed type families.
12:58 PM Changeset in testsuite [91e974f]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Updates to support closed type families.
12:54 PM Changeset in ghc [569b2652]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Richard Eisenberg <eir@…>
Revise implementation of overlapping type family instances. This commit changes the syntax and story around overlapping type family instances. Before, we had "unbranched" instances and "branched" instances. Now, we have closed type families and open ones. The behavior of open families is completely unchanged. In particular, coincident overlap of open type family instances still works, despite emails to the contrary. A closed type family is declared like this: > type family F a where > F Int = Bool > F a = Char The equations are tried in order, from top to bottom, subject to certain constraints, as described in the user manual. It is not allowed to declare an instance of a closed family.
12:51 PM Changeset in ghc [c286f626]overlapping-tyfams by Richard Eisenberg <eir@…>
Typos
12:30 PM Ticket #8006 (Asynchronous exception rethrown synchronously inside runStmt) created by edsko
This bug is related to various bugs to do with asynchronous exceptions …
12:24 PM Ticket #8005 (Man page shows -help, but only --help is accepted) created by nh2
man ghc shows -help as an option. I believe it lacks another -. …
11:45 AM Changeset in ghc [6da9d5e]overlapping-tyfams by Richard Eisenberg <eir@…>
Updates to documentation; detabification; bugfixes.
11:44 AM Changeset in testsuite [f1d2176]overlapping-tyfams by Richard Eisenberg <eir@…>
Wibbles to output.
11:19 AM Ticket #8004 (Applicative/Monad proposal related warnings (AMP phase 1)) created by quchen
Add ad-hoc warnings to GHC telling the user about the following: - …
11:18 AM Ticket #8003 (Add missing Applicative/Alternative instances (AMP phase 1)) created by quchen
Add Functor/Applicative/Alternative? instances to GHC's source where they …
10:59 AM Changeset in ghc [11db9cf8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Gabor Greif <ggreif@…>
Typo in note
10:46 AM Changeset in base [96d89d7]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Ignore editor backup files
10:46 AM Changeset in ghc [3508495] by Gabor Greif <ggreif@…>
Ignore editor backup files
9:02 AM Ticket #8002 (Type family causing GHC to hang on recompilation) created by jweijers
I am having a problem with (re)compiling some code I have. I have two …
7:51 AM Changeset in ghc [9216de8]overlapping-tyfams by Richard Eisenberg <eir@…>
Finished updating manual.
7:44 AM Changeset in ghc [2c3a3a16]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
7:44 AM Changeset in testsuite [47a1350]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
7:42 AM Changeset in ghc [f3879c77]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixing merge conflicts.
5:21 AM Changeset in ghc [37e3f3f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Ensure gc_type is StgWord8. Again, the range of gc_type is actually 1-3, which is technically outside the range of rtsBool. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:19 AM Changeset in ghc [fe6db466]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Ensure gc_thread->wakeup is of type StgWord8. rtsBool is defined to only have two inhabitants, which are true (1) and false (0) But the wakeup flag is set to 4 possible values, outside the range of rtsBool. This leads Clang to warn about tautological comparisons. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:10 AM Changeset in ghc [eeeec4f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Don't use -finline-limit with Clang. It's unsupported. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:58 AM Changeset in ghc [88e97d9a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Initialize ptr to NULL to silence Clang warning. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:23 AM Ticket #8001 (Coercion causes "impossible" error) created by gridaphobe
The following, heavily-redacted version of a function in text is causing …

Jun 20, 2013:

11:28 PM Ticket #7167 (Make it a warning (not error) to hide an import that isn't exported) closed by thoughtpolice
fixed: The documentation patch from Paolo - commit 4eb02c1 - is already in HEAD …
11:26 PM Changeset in ghc [e4fc6fd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Add release note blurb for Clang support. Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:26 PM Changeset in ghc [3b02251]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Document -fwarn-dodgy-imports changes in release notes. Trac #7167. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:38 PM Changeset in ghc [7cbde84]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on user manual.
10:19 PM Ticket #7678 (GHC should compile cleanly with clang) closed by thoughtpolice
fixed: HEAD as of commit 1a9832 can now build a working stage1 and stage2 …
10:06 PM Changeset in ghc [1a98329a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Fix rts/package.conf.in ld-options for Clang. Now with less Mac-breakage. With this change, I can get a working stage1/stage2 compiler using Clang 3.4svn, which can be used to link working executables! Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:42 PM Changeset in ghc [c04be8ef]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixing merge errors. Checkpoint on manual update.
9:15 PM Changeset in ghc [a26bf928]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Just moving some tests aroudn to make it easier to see what's going on
9:15 PM Changeset in testsuite [1e37f2b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Just moving some tests aroudn to make it easier to see what's going on
8:59 PM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) created by dsf
Here is one more dump-minimal imports bug - for this module: […] ghc …
7:28 PM Changeset in ghc [7b78543]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Improve the testsuite's LLVM detection
7:28 PM Changeset in testsuite [3b98fc5d]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Improve the testsuite's LLVM detection
5:00 PM Changeset in ghc [1008179]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add Windows expected output for T7859
5:00 PM Changeset in testsuite [4dba727]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add Windows expected output for T7859
4:27 PM Changeset in testsuite [6182247]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: tests/indexed-types/should_fail/all.T
4:24 PM Changeset in ghc [f522956]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint.
4:24 PM Changeset in ghc [e015f506]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on fixing merge errors / writing manual updates.
4:02 PM Changeset in ghc [14bcbcd]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/deSugar/DsMeta.hs compiler/typecheck/FamInst.lhs compiler/types/FamInstEnv.lhs
3:48 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
3:34 PM Changeset in ghc [81bccef]overlapping-tyfams by Richard Eisenberg <eir@…>
Small bugfixes found from testing.
3:33 PM Changeset in testsuite [4b53b18]overlapping-tyfams by Richard Eisenberg <eir@…>
More tests for closed type families, including interactions with TH.
12:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:38 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:00 AM Ticket #7558 (Terrible error message when given and wanted are both insoluble) closed by simonpj
fixed: Good point. Thanks. Simon
9:59 AM Changeset in ghc [5cc6773]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 #7558
9:59 AM Changeset in testsuite [2593d45]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7558
7:03 AM Ticket #7999 (Support QNXNTO-arm for LLVM backend) closed by thoughtpolice
fixed: Merged, thanks. […]
7:01 AM Changeset in ghc [6ca7525]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Support QNXNTO for arm under LLVM Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:07 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) closed by amosrobinson
duplicate: Hi, This looks like an instance of #5550: ForceSpecConstr? was blowing up …
1:52 AM Ticket #7661 (GHC build system does not detect opt-3.0 and friends) closed by dterei
fixed: Thanks, pushed.
1:51 AM Changeset in ghc [f2c477e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix #7661 regression. Patch from singpolyma.
1:22 AM Ticket #7999 (Support QNXNTO-arm for LLVM backend) created by singpolyma
I thought I had submitted this before, but I guess not. This patch just …
12:58 AM Ticket #7998 (Stage1Only does not work) created by singpolyma
I have Stage1Only=YES but the build system continues to building stage2

Jun 19, 2013:

11:59 PM LiterateMarkdown edited by elliottt
(diff)
11:31 PM LiterateMarkdown created by elliottt
10:44 PM Changeset in ghc [9b85f75]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint in adding persistence to incompatibility lists.
10:43 PM Changeset in testsuite [1cad653]overlapping-tyfams by Richard Eisenberg <eir@…>
More test cases for closed families
6:33 PM Ticket #7997 (waitForProcess and getProcessExitCode are unsafe against asynchronous ...) created by dfranke
In this description of the current behavior of waitForProcess, assume …
5:04 PM Changeset in ghc [b899e7e1]overlapping-tyfams by Richard Eisenberg <eir@…>
Implemented compatibility
12:22 PM Changeset in ghc [d8aa577]overlapping-tyfams by Richard Eisenberg <eir@…>
Bugfix
12:21 PM Changeset in testsuite [b169484]overlapping-tyfams by Richard Eisenberg <eir@…>
Wibbles while supporting "type family where"
12:04 PM Changeset in ghc [2bd8f512]overlapping-tyfams by Richard Eisenberg <eir@…>
Added normalisation of closed type families
10:13 AM Ticket #7996 (building GHC HEAD with llvm-3.4(HEAD) fails) closed by igloo
invalid: This is caused by a broken bootstrapping compiler, so I'm closing the …
9:30 AM Changeset in ghc [d0d1120]overlapping-tyfams by Richard Eisenberg <eir@…>
A few bugfixes.
9:29 AM Changeset in testsuite [d6e010f]overlapping-tyfams by Richard Eisenberg <eir@…>
Update to support new syntax for ordered overlapping type families
8:57 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:37 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:18 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
7:41 AM Commentary/Compiler/NewCodeGen edited by jstolarek
(diff)
7:34 AM Changeset in ghc [0cd4e914]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed bug about counting arguments in patterns.
6:27 AM Changeset in ghc [2ca4890d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Re-untabify rts/packages.conf.in Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [1898ea01]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Revert "Fix rts/packages.conf.in ld-options for clang." This reverts commit 991f285e681e8541632502d05d8a46de2d44b7bd. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [0ee9287]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Revert "Untabify rts/packages.conf.in" This reverts commit ebf97ad146173afd9e094f4975aa33717ed3a11e. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [32edb6e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Revert "Actually fix rts/packages.conf.in ld-options." This reverts commit 5dc74f385f1bbc9248ed950af255b946677c2ff9. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:16 AM Changeset in ghc [e140837]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Fix typo in header guard. Spotted by Clang. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:05 AM Ticket #7996 (building GHC HEAD with llvm-3.4(HEAD) fails) created by carter
using the GHC head (commit 5dc74f385f1bbc9248ed950af255b946677c2ff9) and …
4:09 AM Changeset in ghc [5dc74f38]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Actually fix rts/packages.conf.in ld-options. Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:28 AM Changeset in ghc [ebf97ad]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Untabify rts/packages.conf.in Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:28 AM Changeset in ghc [991f285e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Fix rts/packages.conf.in ld-options for clang. Technically, '-u' is an ld option, not a compiler option, and clang considers this argument unused. Hence, we must explicitly forward this to the linker. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [7b0695a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Use assembler-with-cpp mode when running CPP. This is needed because Clang is very strict about C99 macro rules, which dictate that '#' in a body must have a token immediately following it for string-ification. In practice we break this all the time, because we do very weird stuff like: #define FOOBAR(xyz) \ {-# SOME PRAGMA #-} \ baz :: (xyz) \ baz = ... where the leading '#' in in the macro body clearly breaks this rule. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [232737a0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Suppress some more warnings from Clang. It likes to think lambdas a la: foo $ \u -> ... represent a kind of unicode extended literal. It also gets confused when you have things like: ... thing ... {- comment ... (???) -} where the (???) is mistaken as a trigraph. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [d8ee2b06]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Fix many ASSERT uses under Clang. Clang doesn't like whitespace between macro and arguments. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 18, 2013:

4:57 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
4:40 PM Changeset in ghc [d64165f]overlapping-tyfams by Richard Eisenberg <eir@…>
First implementation complete. Closed type families are accepted. But, they don't work at all, as expected. Need to do more tests now.
1:29 PM Ticket #7995 (module Pretty's "text/str" rule doesn't fire) created by parcs
In this trivial but characteristic example […] the "text/str" rule, …
1:27 PM Ticket #7954 (Strictness analysis regression) closed by simonpj
fixed: Thanks. I believe it's fine in HEAD. I agree that it is wrong in 7.6.2. …
1:26 PM Changeset in ghc [a67156ee]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 #7954
1:26 PM Changeset in testsuite [462fa4f]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7954
1:21 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:20 PM Ticket #7994 (Make foldl into a good consumer) created by simonpj
I really want foldl to be a good consumer, but our arity/cardinality …
9:55 AM Changeset in ghc [73991d6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove redundant import, revealed by the fix to #7963
8:40 AM Ticket #7963 (-ddump-minimal-imports should preserve "hiding" imports) closed by simonpj
fixed: Good point, thank you. Simon
8:39 AM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) closed by simonpj
fixed: Good point, thank you. Simon

Jun 17, 2013:

10:03 PM Changeset in ghc [03fe914]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@…>
Remove .imports file which isn't part of the repo
10:03 PM Changeset in testsuite [063ec28]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Remove .imports file which isn't part of the repo
10:03 PM Changeset in ghc [5c0012be]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 #7969
10:03 PM Changeset in testsuite [ab682ae]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7969
9:58 PM Changeset in ghc [82fc261]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 #7963
9:58 PM Changeset in testsuite [d95e6f1]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7963
9:45 PM Changeset in ghc [b2cde43]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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@…>
Emit addUsedRdrNames for the datacons in a standalone deriving (Trac #7969)
9:39 PM Changeset in ghc [4c01e10]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 ideclImplicit to filter out only *implict* Prelude imports (Trac #7963) The ideclImplicit flag didn't exist before, but it does now, and it makes this code simpler and makes it easy to fix Trac #7963.
9:32 PM Ticket #7993 (ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x) created by cjwatson
On Debian's s390x architecture (64-bit S/390, Linux kernel), builds of …
4:57 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:51 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:49 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:42 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:41 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:23 PM Changeset in ghc [85ccb964]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on compilation. This change includes the rollback to FamInstEnv.
4:07 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
3:25 PM Ticket #7992 (Wrong invocation of configure script in libffi and integer-gmp) created by merijn
Similar to the fixed cabal issue: …
2:46 PM Ticket #7991 (stm: add mkWeakTVar) created by errge
The motivation is to get rid of an unsafeIOToSTM from pipes-concurrency. …
1:42 PM Ticket #7990 (ghc-pkg warning shows the wrong command) created by mcandre
When ghc-pkg observes your cache is out of date, it displays a helpful …
10:54 AM Changeset in ghc [8f2f7a09]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Add some missing clang bits to the build system. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:54 AM Changeset in ghc [5dc98a0d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Work-around clang weirdness by adding a newline. I really wish this were a joke, but alas... This gets me a working stage1 compiler on Linux with Clang with no modifications. Unfortunately it won't get much farther than that for various other reasons. Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:58 AM Ticket #7989 ("No constructor has all these fields" message can be improved) created by akio
When a record update syntax contains fields from multiple constructors, …
8:11 AM Ticket #6063 (GHC's build-time ld-flag checks are problematic) closed by thoughtpolice
fixed
4:51 AM Building/GettingTheSources edited by domtheo
(diff)
1:29 AM Changeset in ghc [6bd61397]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Release note blurb for Linker fixes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:01 AM Changeset in ghc [71a194d8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/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 Austin Seipp <aseipp@…>
Detect linker information at runtime. Fixes Trac #6063 Previously, we did ./configure time checks to see if 'GNU ld' supported certain options. If it does, we bake those options into the link step. See Trac #5240. Unfortunately, the linker we use at runtime can change for several reasons. One is that the user specifies -pgml 'foo'. The other is if /usr/bin/ld or whatnot changes from when GHC was built. Those options mentioned earlier are specific to GNU ld, but many systems support GNU gold too. This is Trac #6063. So we need to check at runtime what linker we're using. This is actually a little bit complicated because we normally use the C compiler as our linker. Windows and OS X are also special here. Finally, this patch also unconditionally gives '--hash-size=31' and '--reduce-memory-overheads' to the system linker if it's GNU ld. These options have been supported for 8+ years from what I can see, and there are probably a lot of other reasons why GHC would not work with such an ancient binutils, all things considered. See Note [Run-time linker info] in SysTools for details. There are plenty of comments as well in the surrounding code. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 16, 2013:

8:32 PM Ticket #7988 (Big integers crashing integer-simple on qnxnto-arm) created by singpolyma
The following program gives a SIGSEGV when run on qnxnto-arm (my …
8:30 PM Ticket #7811 (intermittent 'unexpected' results of test ghcpkg01) closed by igloo
worksforme: I can't reproduce the problem, and can't see anything obviously wrong. I …
7:42 PM Ticket #7744 (Can't install conduit via cabal-install) closed by igloo
worksforme: No response from submitter, so closing.
7:41 PM Ticket #7565 (GHC fails without an error when building text-0.11.2.3) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7362 (GHC generated DLL does not work on Windows XP/Server 2003) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7327 (Inconsistent behavior for relative paths in runProcess) closed by igloo
worksforme: As far as I can see, everything is working correctly here.
7:39 PM Ticket #6084 (Add stg_ap_pnnv and related call patterns) closed by igloo
wontfix: No response from submitter, so closing.
7:35 PM Ticket #5787 (Add instances to ZipList) closed by igloo
invalid: No response from submitter, so closing.
7:23 PM Changeset in base [fb92baf]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:23 PM Changeset in ghc [4780c7ae] by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:16 PM Changeset in base [80b02b2]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
7:16 PM Changeset in ghc [f2ade3f] by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
6:41 PM Ticket #7987 (GHC Build Error) created by singpolyma
Trying to build HEAD as a native compiler (not cross-compiler). Build …
5:47 PM Changeset in process [e380844]ghc-7.8 by Ian Lynagh <ian@…>
Fix process007 with dash as /bin/sh dash doesn't support 2-digit FD numbers with the 0<&10 syntax, and some ways were using FDs that high. So now we have a little C program to do the job instead.
4:12 PM Changeset in ghc [08da2825]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
4:12 PM Changeset in testsuite [b525448]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
3:56 PM Changeset in ghc [9e5f86a1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:56 PM Changeset in testsuite [b8961b1]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:47 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
3:46 PM Changeset in ghc [a595130]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
3:46 PM Changeset in testsuite [2e7b17e]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
10:37 AM Building/GettingTheSources edited by merijn
Removed spam links. (diff)
7:40 AM Ticket #7986 (make newBroadcastTChanIO match newBroadcastTChan) created by WrenThornton
While looking through the pull requests for stm-chans I came across a …
Note: See TracTimeline for information about the timeline view.