Timeline


and

Jul 6, 2013:

11:16 PM Ticket #8041 (Extraction of Uniques is in some places done inefficiently) closed by thoughtpolice
fixed: Merged (with a tiny change to please validate.) Thanks!
10:56 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
10:21 PM Changeset in ghc [a5913a23]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Avoid needlessly splitting a UniqSupply when extracting a Unique (#8041) In many places, 'splitUniqSupply' + 'uniqFromSupply' is used to split a UniqSupply into a Unique and a new UniqSupply. In such places we should instead use the more efficient and more appropriate 'takeUniqFromSupply' (or equivalent). Not only is the former method slower, it also generates and throws away an extra Unique. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:10 PM Changeset in ghc [3248b3a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Fix testsuite failure caused by fix to #8041
10:10 PM Changeset in testsuite [ae3dae9]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Fix testsuite failure caused by fix to #8041
8:46 PM Ticket #8041 (Extraction of Uniques is in some places done inefficiently) created by parcs
In some places in the GHC sources, extraction of a Unique from a …
6:47 PM TracAccessibility edited by trac
(diff)
6:47 PM TracChangeset edited by trac
(diff)
6:47 PM TracRss edited by trac
(diff)
6:47 PM TracSearch edited by trac
(diff)
6:47 PM TracNotification edited by trac
(diff)
6:47 PM TracAdmin edited by trac
(diff)
6:47 PM TracPermissions edited by trac
(diff)
6:47 PM PageTemplates edited by trac
(diff)
6:47 PM TracInstall edited by trac
(diff)
6:47 PM TracWiki edited by trac
(diff)
6:47 PM TracQuery edited by trac
(diff)
6:47 PM CamelCase edited by trac
(diff)
6:47 PM TracModWSGI edited by trac
(diff)
6:47 PM TracUpgrade edited by trac
(diff)
6:47 PM InterTrac edited by trac
(diff)
6:47 PM WikiProcessors edited by trac
(diff)
6:47 PM TracSupport edited by trac
(diff)
6:47 PM TracModPython edited by trac
(diff)
6:47 PM TracCgi edited by trac
(diff)
6:47 PM TracLogging edited by trac
(diff)
6:47 PM TracReports edited by trac
(diff)
6:47 PM SandBox edited by trac
(diff)
6:47 PM TracLinks edited by trac
(diff)
6:47 PM WikiNewPage edited by trac
(diff)
6:47 PM TracFastCgi edited by trac
(diff)
6:47 PM TracGuide edited by trac
(diff)
6:47 PM TracRepositoryAdmin created by trac
6:47 PM WikiHtml edited by trac
(diff)
6:47 PM WikiDeletePage edited by trac
(diff)
6:47 PM TracTickets edited by trac
(diff)
6:47 PM TracPlugins edited by trac
(diff)
6:47 PM TracTimeline edited by trac
(diff)
6:47 PM TracInterfaceCustomization edited by trac
(diff)
6:47 PM TracWorkflow edited by trac
(diff)
6:47 PM WikiPageNames edited by trac
(diff)
6:47 PM WikiMacros edited by trac
(diff)
6:47 PM TracFineGrainedPermissions edited by trac
(diff)
6:47 PM TracSyntaxColoring edited by trac
(diff)
6:47 PM TracStandalone edited by trac
(diff)
6:47 PM TracRoadmap edited by trac
(diff)
6:47 PM TracBrowser edited by trac
(diff)
6:47 PM TracImport edited by trac
(diff)
6:47 PM WikiFormatting edited by trac
(diff)
6:47 PM TracIni edited by trac
(diff)
6:47 PM TracEnvironment edited by trac
(diff)
6:47 PM TracNavigation edited by trac
(diff)
6:47 PM WikiRestructuredText edited by trac
(diff)
6:47 PM TracRevisionLog edited by trac
(diff)
6:00 PM Ticket #8040 (installed include/HsVersions.h wants to #include ...) created by hvr
The header file ${PREFIX}/lib/ghc-7.6.3/ghc-7.6.3/include/HsVersions.h
5:17 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
12:26 AM Plugins/ReinitializeGlobals edited by nfrisby
(diff)

Jul 5, 2013:

11:59 PM Changeset in ghc [405a20c6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Remove spurious extra brace in LLVM metadata This actually caused a segfault in the optimized stage 2 compiler due to wrong TBAA data. Signed-off-by: David Terei <davidterei@gmail.com>
11:59 PM Changeset in ghc [a421252]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Always have LLVM optimize globals This pass is pretty cheap and eliminates the aliases generated by the LLVM backend. This in turn is required for dynamic linking to work correctly, as LLVM fails to properly attribute calls to aliased addresses. Signed-off-by: David Terei <davidterei@gmail.com>
11:59 PM Changeset in ghc [126285e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix llvm.prefetch instrinct for old LLVM versions Seems the last parameter to llvm.prefectch was added in LLVM 3.0. Signed-off-by: David Terei <davidterei@gmail.com>
9:35 PM Building/GettingTheSources edited by bos
remove spam (diff)
6:23 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
6:22 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
5:02 PM Building/Porting edited by ezyang
de-spam (diff)
4:52 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
4:51 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
4:38 PM Internships/JanStolarek edited by jstolarek
(diff)
4:08 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
3:53 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
3:17 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
3:00 PM Internships/JanStolarek edited by jstolarek
(diff)
1:11 PM Internships/JanStolarek edited by jstolarek
(diff)
1:08 PM Internships/JanStolarek edited by jstolarek
(diff)
1:05 PM Internships/JanStolarek edited by jstolarek
(diff)
1:04 PM Internships/JanStolarek edited by jstolarek
(diff)
12:50 PM Internships/JanStolarek edited by jstolarek
(diff)
12:49 PM Internships/JanStolarek edited by jstolarek
(diff)
11:31 AM Internships/JanStolarek edited by jstolarek
(diff)
11:29 AM Internships/JanStolarek edited by jstolarek
(diff)
11:21 AM Internships/JanStolarek edited by jstolarek
(diff)
11:15 AM Internships/JanStolarek edited by jstolarek
(diff)
11:04 AM Internships/JanStolarek edited by jstolarek
(diff)
10:52 AM Internships/JanStolarek edited by jstolarek
(diff)
10:47 AM Internships/JanStolarek edited by jstolarek
(diff)
10:39 AM Internships/JanStolarek created by jstolarek
9:58 AM Ticket #8039 (RTS linker: unloadObj() does not actually unload the code) created by simonmar
We've known about this for a long time, but it hasn't been a pressing …
1:33 AM Changeset in ghc [279ac9f6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
copy the plugin's FastStringTable changes back into the host compiler

Jul 4, 2013:

10:06 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
10:05 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
9:56 PM Plugins/ReinitializeGlobals edited by nfrisby
(diff)
8:17 PM Ticket #8027 (Adding one call to getNumCapabilities triggers performance nose dive (6X ...) closed by rrnewton
wontfix: Ah... my mistake. What was so apparently baffling is actually pretty …
6:53 PM Records/OverloadedRecordFields/Plan edited by adamgundry
Trouble in paradise (diff)
6:37 PM ReportABug edited by adamgundry
revert revert spam (diff)
5:25 PM Plugins/ReinitializeGlobals created by nfrisby
2:00 PM Building/Hacking edited by thoughtpolice
(diff)
10:16 AM Ticket #8038 (Old-time is not built when building GHC 7.7.20130704 (perf) for Windows ...) created by awson
make install fails with […]
9:53 AM Commentary/Compiler/NewCodeGenPipeline edited by jstolarek
(diff)
9:31 AM Ticket #8037 (GHC panic when compiling unsafeCoerce) created by ghc@…
The GHC compiler crashes on the following program. […] With the …
9:24 AM Commentary/Compiler/NewCodeGenPipeline edited by jstolarek
(diff)
8:21 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
8:20 AM Ticket #8036 (Demand analyser is unpacking too deeply) created by simonpj
The demand analyser reports that fixpoint iterations are sometimes going …
3:49 AM ReportABug edited by justgerrardz
Revert Spam (diff)
2:20 AM Building/Hacking edited by jacintheford
(diff)

Jul 3, 2013:

11:23 PM Changeset in ghc [163de258]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
include FastString.string_table in CoreMonad.reinitializeGlobals
9:10 PM Ticket #8035 (STM transaction left open if there is an orElse on the path between ...) created by errge
[…] This program crashes with a segmentation fault. Tested with GHC …
8:56 PM Changeset in ghc [a5b7ee5f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Comment out a leftover pprTrace
5:01 PM Ticket #1593 (Improve runInteractiveProcess error message when working directory does ...) closed by igloo
fixed: Yes; we now get: […]
3:27 PM Ticket #7940 (Building GHC 7.7.20130526 (perf) for Windows x86_64 fails with Cmm lint ...) closed by igloo
fixed: thoughtpolice, thanks for the diagnosis. Fixed by the above patch.
2:16 PM Changeset in ghc [5564980b]wip/T9016wip/ampwip/coveritywip/orf by Jan Stolarek <jan.stolarek@…>
Comparison primops return Int# (Fixes #6135) For a deatiled discussion of this changes please visit the wiki page: http://hackage.haskell.org/trac/ghc/wiki/PrimBool
12:59 PM Changeset in ghc [606ec0a1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:13 AM Changeset in ghc [c548fec4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change the ranlib detection On Windows, the ranlib in the path may not be the right ranlib (it may be the 32bit ranlib when we are making a Win64 compiler, or vice-versa). Therefore we can't leave it up to libffi to detect the right ranlib, but need to tell it which ranlib to use. This means that we need to find ranlib even if we don't actually need it ourselves.
7:58 AM NewtypeWrappers edited by nomeata
(diff)
7:53 AM Ticket #8034 (Missing ambiguity test for class methods) created by simonpj
If you write […] then foo is rejected as having an ambiguous type. …
2:26 AM Ticket #8033 (add AVX register support to llvm calling convention) created by carter
GHC HEAD currently has support for SSE 128bit registers (XMM), and it …
12:31 AM Ticket #8032 (Worker-wrapper transform and NOINLINE trigger bad reboxing behavior) created by ezyang
(Note: I've updated the ticket with a simpler test-case). NOINLINE and …

Jul 2, 2013:

11:13 PM Changeset in ghc [0193f91]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Follow GHC build system changes
11:13 PM Changeset in integer-gmp [fd3a33d]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Follow GHC build system changes
10:36 PM Ticket #8031 (Template Haskell gets confused with kind variables introduced in separate ...) created by goldfire
The following file compiles without complaint: […] Note that foo
10:15 PM Changeset in ghc [e40d433]wip/T9016wip/ampwip/coveritywip/orf by Richard Eisenberg <eir@…>
Update export list for closed type families
8:46 PM Ticket #8030 (FlexibleContexts PolyKinds Type Families bug) closed by goldfire
invalid: This looks like correct behavior to me. The problem is that the type …
8:36 PM Ticket #8030 (FlexibleContexts PolyKinds Type Families bug) created by wvv
A bug with TypeFamilies? + FlexibleContexts? + PolyKinds? […] This is …
8:31 PM Changeset in ghc [fdc37618]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Do not build dynamic libraries with the perf-llvm BuildFlavour.
8:28 PM Ticket #8028 (Panic on degenerate closed type family) closed by goldfire
fixed: Thanks for reporting!
8:26 PM Changeset in ghc [a99cd86]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add test T8028
8:26 PM Changeset in testsuite [e2ad30b]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test T8028
8:26 PM Changeset in ghc [67aacde]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #8028. Check for an empty list of equations when converting a closed type family from TH to an HsDecl.
4:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:10 PM Changeset in base [91a7f58]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
Add a section of documentation about the interaction of threads and finalizers
4:10 PM Changeset in ghc [5e2a5dc]wip/T9016wip/ampwip/coveritywip/orf by Simon Marlow <marlowsd@…>
Add a section of documentation about the interaction of threads and finalizers
4:10 PM Changeset in base [6907fa9]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
fix markup bugs
4:10 PM Changeset in ghc [7827f74d]wip/T9016wip/ampwip/coveritywip/orf by Simon Marlow <marlowsd@…>
fix markup bugs
4:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:47 PM Changeset in ghc [448b981]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Track haskeline Win64 fix
3:47 PM Changeset in process [26be9f2]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Win64
2:48 PM Changeset in ghc [aec9b2d7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix bumpTickyLitBy[E] on Win64; fixes #7940 A comment claimed that the ticky counters are unsigned longs, but as far as I can see that isn't the case: They're already word-sized values.
1:59 PM Changeset in ghc [98810fe]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build on Win64 gcc thought that fourthFloating could be used without being defined. In actual fact it couldn't, but I've refactored the code so that it can now see this.
11:56 AM Ticket #7979 (./configure script does not properly detect missing header files) closed by igloo
wontfix: There's …
11:16 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) closed by simonmar
fixed
11:14 AM Changeset in ghc [b098a7a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Revert "Add test for #7574" This reverts commit abbf27e7922cf15df4c74b502e51f4bc12923215. (committed accidentally, the fix for that ticket isn't ready yet)
11:14 AM Changeset in testsuite [b7f307d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Revert "Add test for #7574" This reverts commit abbf27e7922cf15df4c74b502e51f4bc12923215. (committed accidentally, the fix for that ticket isn't ready yet)
11:11 AM Changeset in ghc [1ae72ac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix #7970, #2161, unfix #551 Establish the reachability of threads before weak pointers. Hence a deadlocked thread can keep a weak pointer alive and prevent it from being finalized early. However, an reference from the finalizer of a weak pointer will no longer prevent a thread from being considered deadlocked (#551). To keep the thread alive in that situation you need to use a StablePtr. See comments on #7970 and in the code for more details.
11:08 AM Changeset in ghc [0e3e681e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
T149 is passing
11:08 AM Changeset in testsuite [6c4e035]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T149 is passing
10:53 AM Changeset in ghc [e010fa60]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
conc031 now deadlocks, due to fix for #7970 We decided that fixing #7970 is more important.
10:53 AM Changeset in testsuite [4b9cbcd]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
conc031 now deadlocks, due to fix for #7970 We decided that fixing #7970 is more important.
10:50 AM Ticket #2161 (finaliser of a ForeignPtr called while references from unreachable threads ...) closed by simonmar
duplicate: Closing in favour of #7970
10:33 AM Building/Hacking edited by thoughtpolice
Remove spam. (diff)
10:32 AM ReportABug edited by thoughtpolice
Remove spam. (diff)
10:27 AM Changeset in ghc [40e10bd0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7970
10:27 AM Changeset in testsuite [5bcf82f]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7970
9:56 AM Ticket #8026 (DatatypeContexts should be fixed, not deprecated) closed by simonpj
wontfix: We already have a notation for the "fixed" version: […] Moreover, this …
9:26 AM Changeset in ghc [6297368]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test from #7919
9:26 AM Changeset in ghc [991a6fdd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7574
9:26 AM Changeset in testsuite [ffa95dad]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test from #7919
9:26 AM Changeset in testsuite [abbf27e]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7574
9:01 AM Ticket #8029 (batch-mode recompilation checking sometimes fails) created by jwlato
The batch-mode recompilation checker seems to be broken. Suppose you have …
4:06 AM ReportABug edited by justgerrardz
(diff)

Jul 1, 2013:

4:49 PM Ticket #8028 (Panic on degenerate closed type family) created by monoidal
Creating a degenerate closed type family via TH gives a panic in …
3:50 PM Ticket #8027 (Adding one call to getNumCapabilities triggers performance nose dive (6X ...) created by rrnewton
This is a strange one. I'm in the process of writing an efficient routine …
1:24 PM Ticket #8026 (DatatypeContexts should be fixed, not deprecated) created by gidyn
To borrow an example from the …
12:36 PM Records/OverloadedRecordFields/Plan edited by adamgundry
introducing field names (diff)
12:18 PM Records/OverloadedRecordFields/Plan edited by adamgundry
-XNoRecordSelectorFunctions (diff)
10:17 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
9:14 AM Records/OverloadedRecordFields/Plan edited by adamgundry
link to implementation page (diff)
9:12 AM Records/OverloadedRecordFields/Implementation created by adamgundry
8:41 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:35 AM Records/OverloadedRecordFields/Plan edited by adamgundry
tell the latest story (diff)
7:39 AM Records/OverloadedRecordFields/Plan edited by adamgundry
leave dot alone for now (diff)
7:06 AM ReportABug edited by adamgundry
revert spam (diff)
4:13 AM ReportABug edited by justgerrardz
(diff)

Jun 30, 2013:

7:43 PM Ticket #8025 ("During interactive linking, GHCi couldn't find the following symbol" ...) created by mojojojo
Building the included project with […] results in the following …

Jun 29, 2013:

11:32 PM Ticket #8024 (Dynamic linking not working on PowerPC Linux.) created by erikd
With dynamic linking enabled, the first binary compiled by the stage1 …
7:46 AM Ticket #8023 (dph-examples binaries don't use all CPUs) created by Lethalman
Hi, I've run dph-spectral-quicksort 3000000 +RTS -N6 of …

Jun 28, 2013:

10:00 PM Ticket #8022 (Outdated documentation for the -fwarn-lazy-unlifted-bindings warning) created by asr
The section 4.8 of 'The Glorious Glasgow Haskell Compilation System User's …
9:50 PM Ticket #8021 (Multiple constraint classes - the alternative to superclass) created by wvv
This is alternative to SuperClasses? - multiple constraint Classes Now: …
4:44 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:39 PM Ticket #8020 (Closed type families break substitution) created by goldfire
This code causes a Core Lint error: […] The solution needs to freshen …
4:35 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) closed by guest
duplicate
4:32 PM Changeset in ghc [3ab47180]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add test case T8018
4:32 PM Changeset in testsuite [43e18428]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test case T8018
4:29 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) closed by goldfire
fixed
4:28 PM Changeset in ghc [e56b9d59]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
4:27 PM Changeset in ghc [fb96f13]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #8018. Don't use the zonked-in-the-knot types to create a name for the axiom in a closed type family.
4:14 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) created by guest
Here are two examples illustrating my problem: (test2 and test3 produce …
12:13 PM Changeset in ghc [7f658743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge TcSMonad.matchClass into TcInteract.matchClassInst Just a simple refactoring. There was only one caller, and the intermediate data type was not helping.
12:06 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) created by goldfire
The following code hangs GHC: […]
10:36 AM NewtypeWrappers edited by simonpj
(diff)
8:55 AM Building/Hacking edited by jacintheford
(diff)
8:39 AM Ticket #7939 (RHS of associated type not kind-checked) closed by goldfire
fixed: Most of the above commit are comments in TcHsType detailing the …
8:35 AM Changeset in ghc [01234ec]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
8:34 AM Changeset in ghc [8c5e7346]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #7939, and add kind inference to closed type families. Now, all open type families have result kinds that default to *. Top-level type families have all arguments default to *, and associated type families have all arguments that are not mentioned in the class header default to *. Closed type families perform kind inference, but generalize only over those kind variables that are parametric in their use. This is all a little fiddly and specific, but it seems to follow use cases. This commit also includes a large Note [Kind-checking strategies] in TcHsType that helps keep all of this straight.
8:34 AM Changeset in ghc [9b456df4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix stale comments around closed type families.
8:34 AM Changeset in ghc [6a25e927]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Update user's guide for kind inference for closed type families.
8:06 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:38 AM NewtypeWrappers edited by simonpj
(diff)

Jun 27, 2013:

8:58 PM WorkingConventions edited by mnislaih
(diff)
8:57 PM Building/Hacking edited by mnislaih
(diff)
8:39 PM Changeset in ghc [280a7ec]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Rework LLVM metadata representation to be more accurate.
8:39 PM Changeset in ghc [3b1d920]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add ability to call functions with metadata as arguments to LLVM backend.
8:39 PM Changeset in ghc [12148d9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Iteration on dterei's metadata design - MetaArgs is not needed, as variables are already meta data - Same goes for MetaVal - its only reason for existing seems to be to support LLVM's strange pretty-printing for meta-data annotations, and I feel that is better to keep the data structure clean and handle it in the pretty-printing instead. - Rename "MetaData" to "MetaAnnot". Meta-data is still meta-data when it is not associated with an expression or statement - for example compile unit data for debugging. I feel the old name was a bit misleading. - Make the renamed MetaAnnot a proper data type instead of a type alias for a pair. - Rename "MetaExpr" constructor to "MetaStruct". As the data is much more like a LLVM structure (not array, as it can contain values). - Fix a warning
8:39 PM Changeset in ghc [99d3922]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Use SDoc for all LLVM pretty-printing This patch reworks some parts of the LLVM pretty-printing code that were still using Show and String. Now we should be using SDoc and Outputable throughout. Note that many get*Name functions become pp*Name here as a side-effect.
8:39 PM Changeset in ghc [720a87c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Extend globals to aliases Also give them a proper constructor - getGlobalVar and getGlobalValue map directly to the accessors.
8:39 PM Changeset in ghc [8f0ecc03]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Rewrite ppLlvmBlock to use standard library "break"
8:39 PM Changeset in ghc [fa6cbdfb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Use full contents size for arrays I am not quite sure at what point it makes sense to look at arrays as pointers, but I ran into at least one use case that strongly suggested doing it this way (calculating the actual size of structures, to be exact).
8:39 PM Changeset in ghc [a948fe8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Major Llvm refactoring This combined patch reworks the LLVM backend in a number of ways: 1. Most prominently, we introduce a LlvmM monad carrying the contents of the old LlvmEnv around. This patch completely removes LlvmEnv and refactors towards standard library monad combinators wherever possible. 2. Support for streaming - we can now generate chunks of Llvm for Cmm as it comes in. This might improve our speed. 3. To allow streaming, we need a more flexible way to handle forward references. The solution (getGlobalPtr) unifies LlvmCodeGen.Data and getHsFunc as well. 4. Skip alloca-allocation for registers that are actually never written. LLVM will automatically eliminate these, but output is smaller and friendlier to human eyes this way. 5. We use LlvmM to collect references for llvm.used. This allows places other than cmmProcLlvmGens to generate entries.
8:39 PM Changeset in ghc [fe44d053]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
LLVM refactor cleanups Slightly more documentation, removed unused label map (huh), removed MonadIO instance on LlvmM to improve encapsulation.
8:01 PM Ticket #8017 (Empty instance) closed by monoidal
duplicate: GHC is technically correct: T1 == T1 is an infinite loop, since by …
7:46 PM Ticket #8017 (Empty instance) created by wvv
Progam […] use ghci (Windows XP, 32 bit) […]
3:10 PM Ticket #8016 (case expression with mixed use of Num instances cause spurious overlap ...) created by bscarlet
[…] produces […]
12:28 PM Changeset in ghc [62e48fbc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
12:28 PM Changeset in testsuite [e38279d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
8:44 AM Changeset in ghc [22a2ba0d]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:44 AM Changeset in ghc [360c75e]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:44 AM Changeset in ghc [82a7ab1c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:44 AM Changeset in ghc [65d8466]th-new-7.6 by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:44 AM Changeset in ghc [97a0e63]th-new-7.6 by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:44 AM Changeset in ghc [56405e2]th-new-7.6 by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:44 AM Changeset in ghc [646b6301]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:44 AM Changeset in ghc [fdce179]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:44 AM Changeset in ghc [71a19227]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:44 AM Changeset in ghc [c1dd142]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:44 AM Changeset in ghc [4001fea]th-new-7.6 by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:44 AM Changeset in ghc [39cf343]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:44 AM Changeset in ghc [5ab6554]th-new-7.6 by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:44 AM Changeset in ghc [262eb16]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:44 AM Changeset in ghc [e439195a]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:44 AM Changeset in ghc [b8ca8849]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:44 AM Changeset in ghc [212d3f5]th-new-7.6 by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:44 AM Changeset in ghc [32f85196]th-new-7.6 by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
3:55 AM Building/Hacking edited by jacintheford
(diff)

Jun 26, 2013:

11:34 PM Ticket #8015 (GHC is inconsistent about where LANGUAGE is unsupported.) created by thoughtpolice
Consider the following file: […] We'd expect this error to occur: …
11:06 PM Changeset in base [100c051]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Catch an illegal pragma and fix a typo
11:06 PM Changeset in ghc [8f23525]wip/T9016wip/ampwip/coveritywip/orf by Gabor Greif <ggreif@…>
Catch an illegal pragma and fix a typo
10:23 PM ExposingNewtypeCoercions edited by nomeata
(diff)
10:23 PM NewtypeWrappers edited by nomeata
(diff)
10:21 PM Ticket #8014 (Assertion failure when using multithreading in debug mode.) created by Maxander
Using the -debug compiler option in search of a (hopefully unrelated) bug, …
10:07 PM ExposingNewtypeCoercions created by nomeata
3:02 PM Ticket #8013 (Strange closure type error building hs-kqueue on FreeBSD) created by ahktenzero
Trying to compile hs-kqueue on FreeBSD 9.1 from the port fails with the …

Jun 25, 2013:

1:18 PM Ticket #7989 ("No constructor has all these fields" message can be improved) closed by simonpj
fixed: Thank you! I committed and added some extra comments and a test. Simon
1:16 PM Changeset in ghc [d67b9934]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve "No data constructor has all these fields" message (#7989)
1:16 PM Changeset in ghc [a7798e9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments for Trac #7989
1:14 PM Changeset in ghc [fe2397f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7989
1:14 PM Changeset in testsuite [b8749bb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7989
11:58 AM Changeset in ghc [aa4c36e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos
11:55 AM Changeset in nofib [8122aac]ghc-7.8 by Austin Seipp <aseipp@…>
Also fix reverse-compliment and k-nucleotide. Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:42 AM Changeset in nofib [e4bfef7]ghc-7.8 by Austin Seipp <aseipp@…>
Build fasta.c with optimization enabled. The flags are from the shootout. This also avoids a bizarro linking error when CC=clang Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:36 AM Changeset in nofib [e5f54ac]ghc-7.8 by Austin Seipp <aseipp@…>
Use CC for linker when building fasta.c Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:01 AM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) closed by simonpj
fixed: Actually I found that a further change was needed to allow […] Notice …
10:59 AM Changeset in ghc [8b24aa7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8011
10:59 AM Changeset in testsuite [2d0d426]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8011
10:58 AM Changeset in ghc [0cb60cee]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Further fixes in RnNames, to make associated type exports work You ought to be able to say module M( C( T, foo ) where class C a where type T a foo :: a -> T a i.e. with T in C's sub-item list. This makes it so.
10:58 AM Changeset in ghc [316e8cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document -XTypeOperators, which had escaped documentation altogether thus far
10:58 AM Changeset in ghc [57284dbc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make noteMustPointToIt true of all non-top-level thunks See Note [GC recovery]. To come: clean-up of StgCmmBind.cgRhs.
8:39 AM Commentary/Compiler/TypeChecker edited by adamgundry
update links to new commentary (diff)
6:43 AM Ticket #8012 (Warn when using Enum instance for Float or Double) created by gidyn
The Enum instances for Float and Double have dubious semantics which cause …

Jun 24, 2013:

10:35 PM Changeset in ghc [e0801a0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Update the package database directory's timestamps when rebuilding the package cache. I was seeing many "WARNING: cache is out of date" errors during validation claiming that my package cache was out of date. This patch eliminates those errors by ensuring that when we rebuild the package cache, the modification time of the directory containing the package database is set to be the same as the modification time of the cache.
5:19 PM Ticket #7995 (module Pretty's "text/str" rule doesn't fire) closed by simonpj
fixed: OK, I've fixed this. I'm not sure it's really worth adding a test but I …
5:17 PM Changeset in ghc [b60461e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7995
5:17 PM Changeset in testsuite [13841d3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7995
5:12 PM Ticket #8002 (Type family causing GHC to hang on recompilation) closed by simonpj
fixed: Excellent catch, thank you. Now fixed. The test makes earlier versions of …
5:11 PM Changeset in ghc [57bfe48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8002
5:11 PM Changeset in testsuite [76ae4756]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8002
5:03 PM Changeset in ghc [3df8953]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to perf tests
5:03 PM Changeset in testsuite [3627c93]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to perf tests
3:19 PM Records/OverloadedRecordFields edited by adamgundry
(diff)
12:10 PM Changeset in ghc [e662c62]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow associated types as sub-names in an import list (Trac #8011)
12:10 PM Changeset in ghc [e1cdaf3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
White space and ordering only
12:10 PM Changeset in ghc [20667021]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Break loop in interface typechecking (fixes Trac #8002)
12:10 PM Changeset in ghc [59d6942f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the segmentation of mdo expressions When we changed 'rec' to *not* do segmentation of any kind, I did it by meddling with the inner loop of grab in glomSegments. But that is really hard to understand! This patch lifts the test out to the top where is is clear.
12:10 PM Changeset in ghc [d2c3630]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make sure that Pretty.text is inlined in stage 0, so that RULE text/str gets a chance to fire (Trac #7995). And make sure that Outputable.text is inlined, so that the underlying Pretty.text rule can fire. The thing is that literal strings only turn into unpackCString# in phase 1.
11:52 AM Building/Hacking edited by ulfn
removed spam (diff)
10:38 AM Commentary/Compiler/DataTypes edited by adamgundry
(diff)
9:41 AM ArrowNotation edited by ross
note first change implemented (diff)
9:04 AM NewAxioms edited by goldfire
(diff)
8:54 AM NewAxioms/TemplateHaskell edited by goldfire
(diff)
8:52 AM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:51 AM NewAxioms/Nonlinearity edited by goldfire
(diff)
8:50 AM NewAxioms edited by goldfire
(diff)
8:38 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
7:28 AM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) closed by simonpj
fixed: Ah, I see. Happily the fix for #7963 fixes this too, so we are good. …

Jun 23, 2013:

12:18 PM Ticket #7456 (GHC API displays linker messages to stdout instead of via log_action) closed by igloo
fixed: Fixed; thanks for the report.
11:54 AM Changeset in ghc [ed341a2a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Re-adjust whitespace
11:49 AM Changeset in ghc [f81e14bb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow the GHCi messages to be overridden via the GHC API; fixes #7456 They now go through log_action. The existing severities all used printDoc, which always adds a trailing newline, which we don't want for the GHCi messages. I therefore added a new severity SevInteractive, which doesn't add a newline.
5:59 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) closed by erikd
fixed: Patch is in gtit HEAD. Since stg_C_FINALIZER_LIST was added after the …
12:16 AM LiterateMarkdown edited by diatchki
(diff)

Jun 22, 2013:

11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:58 PM LiterateMarkdown edited by diatchki
(diff)
11:57 PM LiterateMarkdown edited by diatchki
(diff)
9:40 PM Ticket #7833 (installed GHC refers to libffi in the build directory) closed by igloo
fixed: Now fixed; thanks for the report!
9:40 PM Ticket #7992 (Wrong invocation of configure script in libffi and integer-gmp) closed by igloo
fixed: Applied; thanks for the patches and diagnosis!
9:31 PM Changeset in ghc [03fbf8ac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:33 PM Changeset in ghc [7be5b44d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix dynlib paths in the RTS too; part of #7833
7:34 PM Changeset in ghc [92f36df4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix the dynmaic library paths in the libs, as well as in the programs Part of #7833
7:23 PM Changeset in ghc [bdc3775]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add a work-around for #7978. This patch fixes profiling at the cost of losing cost centre accounting in a very small number of cases. I am working on a better fix.
5:02 PM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) created by dsf
If you have a module URL.hs: […] And a module that uses it Tmp.hs: …
3:52 PM Changeset in ghc [499d698]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:52 PM Changeset in ghc [3ae1bc47]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:52 PM Changeset in integer-gmp [e5faefb]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:16 PM Changeset in ghc [9ffe7920]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
On OS X, fix the path to the libffi dynlib; fixes #7833
2:06 PM Changeset in ghc [3660ef9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build on OS X
2:05 PM Changeset in base [96bf7db]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix build on OS X
2:05 PM Changeset in ghc [44cff44]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix build on OS X
12:53 PM Ticket #8005 (Man page shows -help, but only --help is accepted) closed by igloo
fixed: Fixed, thanks
12:53 PM Ticket #8007 (Missing space in `rec` documentation) closed by igloo
fixed: Fixed, thanks
12:50 PM Changeset in ghc [f792ba4d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:32 PM Changeset in ghc [451e0dd8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix syntax in some code in the user guide; fixes #8007
12:24 PM Changeset in ghc [96ca465]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
The help flag is --help, not -help; fixes #8005
12:21 PM Changeset in ghc [74a800bc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use consistent dashes in the user guide We were using a mixture of "&ndash;&ndash;" and "--". We now consistently use "--", which has the advantage that copy/pasting flags will work.
12:03 PM Changeset in ghc [0cb19bc4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove extra dashes in a flag name in the user guide
12:02 PM Changeset in ghc [ffe2e22c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Fix #8009 : Failure to compile on powerpc64-linux. Add definitions for stg_C_FINALIZER_LIST and n_capabilities.
11:11 AM Changeset in ghc [e381543]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in HeaderInfo
10:55 AM Ticket #7332 (Kind-defaulting omitted leads to deeply obscure type error) closed by igloo
fixed: It's fixed in the 7.8 branch, but not 7.6.
8:16 AM Ticket #8008 (Pretty numbers (like 1`000`000)) closed by carter
invalid: this requires changes to the haskell grammar and I think that theres no …
5:20 AM Ticket #8010 (Add forkOSUnmasked (patch)) created by joeyadams
This patch simply adds forkOSUnmasked to Control.Concurrent: […] I …
5:15 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) created by erikd
Building GHC HEAD at 569b2652 on powerpc64 Linux results in: […]

Jun 21, 2013:

11:23 PM Changeset in ghc [a44e4a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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]wip/T9016wip/ampwip/coveritywip/orf 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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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]wip/T9016wip/ampwip/coveritywip/orf 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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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]wip/T9016wip/ampwip/coveritywip/orf 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]wip/T9016wip/ampwip/coveritywip/orf 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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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 …

Jun 15, 2013:

8:54 PM Changeset in ghc [b097dc9]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix ghci crash when the user code closes stdin Now that we share stdin with the program, we have to check for handle-closed as well as EOF, as the program might have closed stdin.
7:50 PM Ticket #693 (dynamic locking) closed by igloo
fixed: Thanks; I've pushed a similar patch which also optimises the C users of …
6:07 PM Changeset in ghc [75947bb6]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimise lockClosure when n_capabilities == 1; fixes #693 Based on a patch from Yuras Shumovich.
4:43 PM Ticket #7847 (Maintain per-generation lists of weak pointers) closed by igloo
fixed: All applied, thanks
4:28 PM Changeset in ghc [4895155]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:28 PM Changeset in testsuite [4d2a20b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:23 PM Ticket #7933 (JavaScript Cmm backend) closed by bosu
wontfix: Thank you all for the comments! I fully agree that the patch is better to …
4:08 PM Changeset in ghc [9a8c20d0]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace and braces only
3:41 PM Changeset in ghc [4ca86427]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add braces for clarity
3:41 PM Changeset in ghc [fe652a8b]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Maintain per-generation lists of weak pointers (#7847)
3:38 PM Changeset in base [9afb928]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:38 PM Changeset in ghc [5257404]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:36 PM Changeset in ghc [6770663]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Check for a weak pointer being dead before we do any allocation for it
3:23 PM Changeset in ghc [d61c623e]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow multiple C finalizers to be attached to a Weak# The commit replaces mkWeakForeignEnv# with addCFinalizerToWeak#. This new primop mutates an existing Weak# object and adds a new C finalizer to it. This change removes an invariant in MarkWeak.c, namely that the relative order of Weak# objects in the list needs to be preserved across GC. This makes it easier to split the list into per-generation structures. The patch also removes a race condition between two threads calling finalizeWeak# on the same WEAK object at that same time.
2:27 PM Changeset in base [452008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix a comment
2:27 PM Changeset in ghc [9dc3418]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix a comment
12:52 PM Ticket #7427 (Proposal: Add setEnv/unsetEnv to System.Environment) closed by igloo
fixed: The base split is now scheduled or post-7.8-branch, and as the amount of …
12:51 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) closed by igloo
fixed: Applied, thanks!
12:23 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Those 3 files are no longer created/used. The tests should clean up after …
12:19 PM Changeset in ghc [5d9e686]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimization for takeMVar/putMVar when MVar left empty; fixes #7923 We only need to apply the write barrier to an MVar when it acquires a reference to live data; when the MVar is left empty in the case of a takeMVar/putMVar, we can save a memory reference. Patch from Edward Z. Yang.
11:46 AM Changeset in base [60d5d2e]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
11:46 AM Changeset in ghc [3be61012]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
3:36 AM Ticket #7985 (Allow openFile on unknown file type) created by singpolyma
There should be an "unknown" file type, to allow for special file types to …
1:04 AM Ticket #7984 (hsc2hs --cross-compile does not handle negative #enum) created by singpolyma
[…] Output with hsc2hs or even hsc2hs --cross-safe : […] Output …
12:49 AM Ticket #7983 (Bug in hsc2hs --cross-safe) created by singpolyma
The following test succeeds with hsc2hs --cross-safe but fails with hsc2hs …

Jun 14, 2013:

9:02 PM Changeset in ghc [9e4348e]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in rts/storage/SMPClosureOps.h
7:31 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Thanks, I've added cleaning for the extra files.
7:03 PM Changeset in ghc [da80f8e9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
7:03 PM Changeset in testsuite [8ae14cc]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
5:58 PM Changeset in base [16f71d6]data-proxyghc-7.8 by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:58 PM Changeset in ghc [7fef22a]wip/T9016wip/ampwip/coveritywip/orf by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:33 PM Changeset in ghc [725a16b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint while compiling. Need Simon's input on design.
2:49 PM Changeset in ghc [3343182]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to try compiling.
1:40 PM Changeset in ghc [5483b14]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Cleaning fixes, and other build system tweaks; part of #7941
12:40 PM PrimBool edited by jstolarek
(diff)

Jun 13, 2013:

10:15 PM Changeset in unix [e712803]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
10:15 PM Changeset in directory [571f32b]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
8:21 PM Ticket #7843 (GHC should be able to list all possible command line options) closed by igloo
fixed: Applied, thanks!
8:20 PM Ticket #7948 (hp2ps --help typo) closed by igloo
fixed: Applied, thanks!
7:49 PM Changeset in ghc [a532f40f]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo in hp2ps help output As spotted by Julian Gilbey and reported at http://bugs.debian.org/710305
7:49 PM Changeset in ghc [2280f96]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
--show-options lists all flags. Add user documentation for #7843
3:35 PM Changeset in ghc [f2a178b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working on typechecker.
3:03 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) created by goldfire
[…] […] This was tested on a checkout from 22 May.

Jun 12, 2013:

9:13 PM Ticket #7981 (Lack of packages from category theory at Platform) closed by monoidal
invalid: This tracker is for problems specific to GHC. To suggest a package for …
8:45 PM Ticket #7981 (Lack of packages from category theory at Platform) created by wvv
There are lack of basics packages from category theory at Platform. Some …
6:25 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) created by totherme
I'm using ghc 7.6.2 on Ubuntu 13.04. To reproduce, put the following line …
1:31 PM Changeset in ghc [db9b6310]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Avoid generating empty llvm.used definitions. LLVM 3.3rc3 complains when the llvm.used global is an empty array, so don't define llvm.used at all when it would be empty.
11:05 AM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) closed by simonpj
fixed: Thank you for reporting this. It exposed one real bug, and one …
11:03 AM Changeset in ghc [133b500]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in testsuite [79c6532]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in ghc [bab5720]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7967
11:03 AM Changeset in testsuite [6432ecf]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7967
10:41 AM Ticket #7885 (LLVM build broken) closed by gmainland
fixed
10:12 AM PrimBool edited by jstolarek
(diff)
10:11 AM PrimBool edited by jstolarek
(diff)
8:52 AM Changeset in ghc [92b2e4ea]th-new by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:52 AM Changeset in ghc [6356813]th-new by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:52 AM Changeset in ghc [18934998]th-new by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:52 AM Changeset in ghc [147bb859]th-new by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:52 AM Changeset in ghc [97d316b8]th-new by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:52 AM Changeset in ghc [30a19ba3]th-new by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:52 AM Changeset in ghc [51ca37f9]th-new by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:52 AM Changeset in ghc [85813f6]th-new by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:52 AM Changeset in ghc [fe521cc]th-new by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:52 AM Changeset in ghc [a9abb46]th-new by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:52 AM Changeset in ghc [03e0ea63]th-new by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:52 AM Changeset in ghc [1301b10]th-new by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:52 AM Changeset in ghc [a167aa5e]th-new by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:52 AM Changeset in ghc [753ebe2a]th-new by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:52 AM Changeset in ghc [418a3340]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:52 AM Changeset in ghc [6f4cba0f]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:52 AM Changeset in ghc [627f982]th-new by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:52 AM Changeset in ghc [af607888]th-new by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
8:51 AM Changeset in testsuite [1746d9e]th-new by Geoffrey Mainland <mainland@…>
Fix test wibble.
8:51 AM Changeset in testsuite [da3c7f9]th-new by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
8:51 AM Changeset in testsuite [c2135a9]th-new by Geoffrey Mainland <mainland@…>
Adjust tests for new Template Haskell. From the new Template Haskell proposal at http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal A declaration group is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not including the next top-level declaration splice. Then the type environment seen by reify includes all the declaration up to the end of the immediately preceding declaration block, but no more. This change adds '$(return [])' where necessary to allow following declarations to see (module-local) top-level definitions.
8:51 AM Changeset in testsuite [27c8361]th-new by Geoffrey Mainland <mainland@…>
Fix test wibbles for new Template Haskell. Because splices are now run in the renamer, we do not get the same error context as we would when running in the type checker. In most cases we get less context, and in some cases I have added additional context. Error messages should at least tell the user that an error occurred in a splice; dropping context beyond that point is not judged a great loss. Note that we may now report only one error when multiple errors were reported before because splices are now run in the renamer.
8:51 AM Changeset in testsuite [3a07227]th-new by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
8:51 AM Changeset in testsuite [59e8e8b]th-new by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. splices are run in the renamer, so they only get run once.
8:43 AM Changeset in ghc [289be61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code
8:43 AM Changeset in ghc [355d57a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove trace that sometimes causes a loop
8:43 AM Changeset in ghc [262cab0f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the constraint simplifier (Trac #7967) Richard's bug report showed up a couple of subtleties in the constraint solver * We can strengthen the kind invariants on CTyEqCan and CFunEqCan See Note [Kind orientation for CTyEqCan] and Note [Kind orientation for CFunEqCan] in TcRnTypes There are some changes to reOrient and checkKind in TcCanonical to support these stronger invarants. * In TcSimplify we must make sure that we re-simplify if defaultTyVar does anything. See Note [Must simplify after defaulting] in TcSimplify. The usual round of refactoring follows!
6:23 AM Ticket #7979 (./configure script does not properly detect missing header files) created by jstolarek
I was trying to compile GHC on a fresh installation of Debian Wheezy and I …
2:22 AM Building/GettingTheSources edited by domtheo
(diff)
2:19 AM Building/Hacking edited by domtheo
(diff)

Jun 11, 2013:

10:32 PM Changeset in base [2f8c5bf]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in base [07f8524]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:32 PM Changeset in ghc [72901d41]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in ghc [089c686b]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:30 PM Changeset in ghc [4aa7fc89]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment out function; consequence of reverting a553f18
10:30 PM Changeset in ghc [91979ed]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Add support for byte endian swapping for Word 16/32/64." This reverts commit 1c5b0511a89488f5280523569d45ee61c0d09ffa.
9:39 PM Changeset in ghc [2f9278d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typo in comment
9:37 PM Changeset in base [a123775]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Fix some typos
9:37 PM Changeset in ghc [b9138a8]wip/T9016wip/ampwip/coveritywip/orf by Gabor Greif <ggreif@…>
Fix some typos
9:27 PM Changeset in ghc [57fa4375]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
punctuation in comment
9:22 PM Ticket #7978 (Profiling broken) created by gmainland
The cardinality analysis patch broke profiling. This can be seen in the …
6:57 PM Building/Architecture/Idiom/StandardTargets edited by nfrisby
(diff)
6:53 PM Building/Using edited by nfrisby
just updated a broken link (diff)
6:01 PM Changeset in testsuite [9069fb7]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fix test case to reflect banning nonlinear standalone instances." This reverts commit 50bfe9ae6b68270120a93c420618eabfcaa817af.
5:59 PM Changeset in ghc [0f22bc8e]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit 41365aeba8020d31391784bc1b9887007e78c306.
5:56 PM Changeset in ghc [780d4b9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource" This reverts commit 33582704caaf2ba4cd6f06360ff2834667d2ce6d.
5:56 PM Changeset in ghc [508d2351]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. Working in FamInst on newFamInst." This reverts commit 9b8dc727296fc72942d2b32efe853adf795ba9ad.
5:56 PM Changeset in ghc [6c91510b]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. About to compile." This reverts commit adc506253558332086699c43e8de929e5e041cbd.
5:56 PM Changeset in ghc [c26be08]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint during compilation." This reverts commit 0276b4966bd1ec50c7236cdc9d480873f0c33b2b.
5:55 PM Changeset in ghc [5e740d8]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint." This reverts commit 09a8a7fd96b44b20d168fbb167cdee20006ebb32.
5:55 PM Changeset in ghc [55fa3d6]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. The sources compile, but the libraries don't yet." This reverts commit 0d0c71eab258d03c5ab47f7323c392014565e2b7.
5:44 PM Changeset in ghc [8e0e3a3]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fixed interface loading bug, and a few other little changes." This reverts commit e8fbb019e83aedfe334d8f2ce638d0637ab15752.
5:44 PM Changeset in ghc [0763ebd]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Code compiles. Now, on to the testsuite. Also, documentation updated." This reverts commit d82a62855de5d8cc75d67fd181b47386d9f90f58.
2:50 PM Ticket #7977 (Optimization: Shift dropped list heads by coeffecient to prevent thunk ...) created by schyler
Consider the following snippet(s) equivalent to ([a..b] !! n), the source …
2:16 PM Building/GettingTheSources edited by stefan
Removed spam (diff)
1:54 PM Changeset in ghc [716c2ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:49 PM Changeset in ghc [2333148]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
1:49 PM Changeset in testsuite [c33fc66]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
9:04 AM Ticket #7976 (Failure building master (perf) on i686-pc-linux-gnu) created by nickie
It seems that the nightly builds on x86 for the master branch fail since …
8:50 AM Ticket #7272 (PolyKinds and mutually recursive modules) closed by simonpj
fixed: Maybe now I have finally done it :-)
8:49 AM Changeset in ghc [6ecfa98]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Actually make the change described in 'Fix egregious typo in cmpTypeX' I reverted it to try something else and forgot to put it back! Fixes Trac #7272 (again!).
7:27 AM Ticket #7975 ("impossible" failure while type checking) closed by simonpj
duplicate: Thanks. I'm guessing this is a dup of #7927, #7920, #7905, etc. Works in …
4:29 AM Ticket #7975 ("impossible" failure while type checking) created by jonnadal
$ cat failure.hs […] $ ghc failure.hs […]
2:34 AM SafeHaskell edited by domtheo
(diff)
2:33 AM SafeHaskell edited by domtheo
(diff)

Jun 10, 2013:

6:53 PM SafeHaskell edited by dkasak
Remove spam. (diff)
5:31 PM Ticket #7974 (Panic on a context with additional variable) closed by simonpj
fixed: Thank you! A palpable bug squashed. Simon
5:30 PM Changeset in ghc [5bd297cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:30 PM Changeset in testsuite [342c481e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:28 PM Changeset in ghc [fc927b3d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Trace statements only
5:28 PM Changeset in ghc [1cbfddb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make sure we quantify over the context in data constructors This was exposed by Trac #7974. A stupid bug!
5:27 PM Changeset in ghc [0239d783]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix egregious typo in cmpTypeX Reported in Trac #7272. "tv1" should be "tv2"! However, things weren't as simple as they sound, because treating (x:Open) as different from (x:*) gave rise to new failures; see Note [Comparison with OpenTypeKind] in Type. My hacky solution is to treat OpenKind as equal to * and #, at least in Core etc. Hence the faff in Type.cmpTc. I do not like this. But it seems like another messy consequence of including sub-kinding. Sigh.
10:52 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by simonpj
fixed: Great point. Exposed a subtle bug, which I have now fixed. Thank you! …
10:05 AM Changeset in ghc [436f896]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:05 AM Changeset in testsuite [cf46e11]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:04 AM Changeset in ghc [8c846f71]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix substitution but in liftCoSubst (Trac #7973) Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]
4:30 AM Building/GettingTheSources edited by domtheo
(diff)
4:26 AM SafeHaskell edited by domtheo
(diff)
4:23 AM ViewPatterns edited by domtheo
(diff)
12:27 AM Ticket #7974 (Panic on a context with additional variable) created by monoidal
File: […] Result with HEAD: […] I got it by attempting to …

Jun 9, 2013:

9:40 PM Ticket #7964 (GADTs in Haskell98 style) closed by goldfire
invalid: Sounds like this is resolved then. I'll close the ticket. If I've missed …
7:49 PM Changeset in ghc [31b2706]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't create mk/stamp-h I don't think we are using it for anything any more.
7:14 PM Changeset in ghc [4c497724]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Rarrange the distclean list; part of #7941
6:24 PM Changeset in ghc [96eca81]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how we check that we have a suitable 'make' We now check in the same way that the testsuite does.
5:56 PM Changeset in ghc [22690c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove ghc.spec It doesn't look like it would work now, and doesn't really belong in the GHC tree anyway.
2:52 PM Changeset in ghc [68ba223]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a comment
1:48 PM Changeset in ghc [f7c8c3d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only
1:30 PM Commentary/Rts/Storage/GC/RememberedSets edited by igloo
(diff)
12:24 PM Ticket #7902 (Add support for byte endianness swapping exposed as a primops) closed by igloo
fixed: Applied, thanks!
12:18 PM Changeset in ghc [63889324]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [cb5a00c7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix cgrun072
11:53 AM Changeset in testsuite [4122100]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix cgrun072
11:41 AM Changeset in ghc [86ca77e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix warnings
11:12 AM Changeset in ghc [c5d5e3a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:12 AM Changeset in testsuite [95996c1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:10 AM Changeset in ghc [1c5b051]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add support for byte endian swapping for Word 16/32/64. * Exposes bSwap{,16,32,64}# primops * Add a new machops MO_BSwap * Use a Stg implementation (hs_bswap{16,32,64}) for other implementation in NCG. * Generate bswap in X86 NCG for 32 and 64 bits, and for 16 bits, bswap+shr instead of using xchg. * Generate llvm.bswap intrinsics in llvm codegen. Patch from Vincent Hanquez.
11:06 AM Changeset in ghc [da7db199]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:06 AM Changeset in ghc-prim [585bdc6]ghc-7.8 by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:01 AM Changeset in base [3ef0f91]data-proxyghc-7.8 by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
11:01 AM Changeset in ghc [5ae2385]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
1:30 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by diatchki
duplicate: This is the same as #7973.
1:28 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
1:27 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
12:11 AM Changeset in ghc [16dc39eb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Outline 7.8.1 release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 8, 2013:

8:35 PM Changeset in base [86c5358]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:35 PM Changeset in ghc [f177fdb9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:28 PM Ticket #7653 (incorrect handling of StackOverflow exception in the event manager) closed by igloo
fixed: Fixed by […]
8:10 PM Changeset in base [9450515]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:10 PM Changeset in ghc [c7ef98d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:09 PM Changeset in base [13ac46d]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add a test for #7653
8:09 PM Changeset in ghc [bbf6c02]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add a test for #7653
7:43 PM Changeset in ghc [98265b39]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:43 PM Changeset in testsuite [ea99af5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:35 PM Changeset in base [e843e73]data-proxyghc-7.8 by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
7:35 PM Changeset in ghc [2d5eccdf]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
5:54 PM Changeset in base [1f81187]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
5:54 PM Changeset in ghc [55a5f05d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
4:06 PM Changeset in base [ddbe37f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
4:06 PM Changeset in ghc [68288cf9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
3:22 PM Ticket #7971 (doesDirectoryExist description differs from its behavior) created by dsf
The documentation for doesDirectoryExist should read: The operation …
2:36 PM Ticket #7718 (ios patch no 8: adjustor pools) closed by igloo
fixed: OK, thanks Stephen. I've applied a slightly simplified version of the …
2:22 PM Changeset in ghc [972c044d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
use libffi for iOS adjustors; fixes #7718 Based on a patch from Stephen Blackheath.
1:55 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) created by joeyadams
In the following program, an IORef is garbage collected after a …

Jun 7, 2013:

9:41 PM Ticket #7739 (Testsuite failures for HPC way tests on Windows) closed by igloo
fixed: The tix and exe.tix files are now cleaned in pretest_cleanup, so I …
9:37 PM Changeset in ghc [0d860381]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Improve the version numbers generated by the build system If we can't find a better date to use, then use today's date.
5:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:26 PM Commentary/Compiler/TypeType edited by simonpj
(diff)
1:47 PM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) created by dsf
If a module contains a "deriving instance Show Foo" declaration, the …
11:31 AM Commentary/Compiler/TypeType edited by erikd
un-wiki ByteArray?# (diff)
11:26 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) created by jstolarek
I noticed that sometimes fft2 program in nofib benchmark suite returns …
10:40 AM Changeset in base [d4d008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:40 AM Changeset in ghc [374fcdd0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:12 AM Commentary/Compiler/TypeType edited by erikd
Update Type representation to refect GHC 7.7.20130606 (diff)
10:01 AM Commentary/Compiler/TypeType edited by erikd
fix typoes (diff)
8:03 AM Ticket #7894 (Crash on :i M.->) closed by simonpj
fixed: The panic in OccName.isDataOcc looked like this: […] I see no good …
8:00 AM Changeset in ghc [b52a0a2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7894
8:00 AM Changeset in testsuite [2449037]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7894
6:19 AM ViewPatterns edited by guest
removed spam (diff)

Jun 6, 2013:

9:13 PM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) created by goldfire
In doing some routine dependently typed hackery, I wrote the following: …
7:29 PM Changeset in ghc [a28731b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Add --show-options to list all flags (Fixes #7843)
7:13 PM Building/RunningTests/Running edited by dterei
Make a little more concise (diff)
7:06 PM Changeset in ghc [09de957]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update readme to markdown and expand.
7:06 PM Changeset in testsuite [a3828255]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update readme to markdown and expand.
7:05 PM Changeset in ghc [cc1b579]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in testsuite [bc45165]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in ghc [6599d469]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update gitignore.
7:05 PM Changeset in testsuite [dcb92f7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update gitignore.
5:31 PM Changeset in base [5bd176f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix import warnings
5:31 PM Changeset in ghc [4c6faba]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix import warnings
4:55 PM Changeset in ghc [cfe92a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove old representation of CSEnv; part of #5996
3:23 PM Changeset in ghc [c0e4eefe]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/simplCore/CSE.lhs
1:38 PM Changeset in base [b801f5f]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in base [6d1b0d6c]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in base [2227e5e]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in base [a97ebe3]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in base [9b7c1b1]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:38 PM Changeset in ghc [8d87b5bf]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in ghc [a8ede1e9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in ghc [b3afa0a]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in ghc [ad6696e]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in ghc [404327a9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:32 PM Changeset in ghc [70ceb7b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:32 PM Changeset in testsuite [2d01b47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:29 PM Changeset in ghc [9616743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Take proper account of over-saturated functions in CoreUnfold
1:29 PM Changeset in ghc [7f2a10f4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Better computeDiscount for ValAppCtxt
1:29 PM Changeset in ghc [821b077]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Traces and comments only
1:29 PM Changeset in ghc [3e7e5ba8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use checkRecTc to improve demand analysis slightly We now look inside one layer of recursive types, thanks to checkRecTc. It does mean we need an additional environment field, ae_rec_tc. I also commented out the apparently over-conservative test at coercions. I'm not 100% sure I'm right here, but I can't see why the simpler code will go wrong, so I'm going to suck it and see.
1:29 PM Changeset in ghc [66733860]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Transfer strictness on trivial right-hand sides See Note [Trivial right-hand sides]
1:29 PM Changeset in ghc [4669c9e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add important missing case for bothCPR If either side diverges, both do!
1:29 PM Changeset in ghc [b2ba8ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the simplifier propagate strictness through casts E.g. (f e1 |> g) e2 If f is strict in two aguments, we want to see that in e2 Hence ArgSpec in SimplUtils
1:29 PM Changeset in ghc [6265312]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles (merg-os) to ticky-ticky
1:29 PM Changeset in ghc [a1a67b5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add TyCon.checkRecTc, and use in in typeArity This just formalises an abstraction we've been using anyway, namely to expand "recursive" TyCons until we see them twice. We weren't doing this in typeArity, and that inconsistency was leading to a subsequent ASSERT failure, when compiling Stream.hs, which has a newtype like this newtype Stream m a b = Stream (m (Either b (a, Stream m a b)))
1:29 PM Changeset in ghc [9b817e5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove bogus-looking check, which was causing Trac #7894
1:29 PM Changeset in ghc [99d4e5b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implement cardinality analysis This major patch implements the cardinality analysis described in our paper "Higher order cardinality analysis". It is joint work with Ilya Sergey and Dimitrios Vytiniotis. The basic is augment the absence-analysis part of the demand analyser so that it can tell when something is used never at most once some other way The "at most once" information is used a) to enable transformations, and in particular to identify one-shot lambdas b) to allow updates on thunks to be omitted. There are two new flags, mainly there so you can do performance comparisons: -fkill-absence stops GHC doing absence analysis at all -fkill-one-shot stops GHC spotting one-shot lambdas and single-entry thunks The big changes are: * The Demand type is substantially refactored. In particular the UseDmd is factored as follows data UseDmd = UCall Count UseDmd | UProd [MaybeUsed] | UHead | Used data MaybeUsed = Abs | Use Count UseDmd data Count = One | Many Notice that UCall recurses straight to UseDmd, whereas UProd goes via MaybeUsed. The "Count" embodies the "at most once" or "many" idea. * The demand analyser itself was refactored a lot * The previously ad-hoc stuff in the occurrence analyser for foldr and build goes away entirely. Before if we had build (\cn -> ...x... ) then the "\cn" was hackily made one-shot (by spotting 'build' as special. That's essential to allow x to be inlined. Now the occurrence analyser propagates info gotten from 'build's stricness signature (so build isn't special); and that strictness sig is in turn derived entirely automatically. Much nicer! * The ticky stuff is improved to count single-entry thunks separately. One shortcoming is that there is no DEBUG way to spot if an allegedly-single-entry thunk is acually entered more than once. It would not be hard to generate a bit of code to check for this, and it would be reassuring. But it's fiddly and I have not done it. Despite all this fuss, the performance numbers are rather under-whelming. See the paper for more discussion. nucleic2 -0.8% -10.9% 0.10 0.10 +0.0% sphere -0.7% -1.5% 0.08 0.08 +0.0% -------------------------------------------------------------------------------- Min -4.7% -10.9% -9.3% -9.3% -50.0% Max -0.4% +0.5% +2.2% +2.3% +7.4% Geometric Mean -0.8% -0.2% -1.3% -1.3% -1.8% I don't quite know how much credence to place in the runtime changes, but movement seems generally in the right direction.
1:29 PM Changeset in ghc [507c897]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments about the Name Cache
1:29 PM Changeset in ghc [da4ff65]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
12:47 PM Ticket #7959 (Panic on deriving nullary typeclass) closed by simonpj
fixed
12:45 PM Changeset in ghc [9e7d0dcb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:45 PM Changeset in testsuite [d61cc89]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:41 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Thanks; they should all be added now.
12:39 PM Changeset in ghc [e36f28b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:39 PM Changeset in testsuite [d8296b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:25 PM Ticket #7966 ('make distclean' does not work in nofib) created by jstolarek
I noticed that make distclean and make maintainer-clean don't work for …
7:40 AM GhcKinds/PolyTypeable edited by dreixel
(diff)
7:25 AM Ticket #7965 (The 'impossible' happened!) closed by simonpj
duplicate: Thanks. Yes, it's GHC's most often-reported bug (just search the Trac), …
1:35 AM Ticket #7965 (The 'impossible' happened!) created by adit
I'm working on a haskell package (code here: …
Note: See TracTimeline for information about the timeline view.