Timeline


and

Sep 16, 2013:

9:37 PM Ticket #8311 (suboptimal code generated for even :: Int -> Bool by NCG (x86, x86_64)) created by rwbarton
This appears to be the x86 assembly for a specialization for `even :: Int …
8:11 PM Roles edited by goldfire
(diff)
7:15 PM Ticket #8310 (Can we change the semantics of `Trustworthy`?) created by ekmett
I would like to propose that if I put {-# LANGUAGE Trustworthy #-} on a …
4:10 PM Changeset in ghc [9672b08]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Further linguistic improvement of that one line now brought to you by Gabor Greif... ;-)
3:48 PM Changeset in ghc [2eb4487]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Typo in release notes
3:47 PM Ticket #8306 (NegativeLiterals allows negative type-level integers) closed by thoughtpolice
fixed
3:46 PM Changeset in ghc [3ee4700]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Make sure type literals aren't negative (#8306) As Krzysztof pointed out in #8306, with NegativeLiterals and DataKinds, definitions such as: type T = -1 were accepted, although type literals must be greater than zero. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:46 PM Changeset in ghc [7f6518ca]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
s/TypeNats/DataKinds/ in release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:45 PM Changeset in ghc [9b0f0cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Test for #8306 Signed-off-by: Austin Seipp <austin@well-typed.com>
3:45 PM Changeset in testsuite [32e9017]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Test for #8306 Signed-off-by: Austin Seipp <austin@well-typed.com>
3:35 PM Changeset in ghc [5f212c86]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Release Notes: Document Data.Bool.bool (#8302)
3:19 PM Ticket #8302 (Add 'bool' to Data.Bool) closed by nomeata
fixed
3:04 PM Changeset in base [f404697]ghc-7.8 by Joachim Breitner <mail@…>
Add Data.Bool.bool (fixes #8302)
2:45 PM CodeOwners edited by thoughtpolice
Add documentation to code owners page (diff)
2:16 PM Changeset in integer-gmp [b1c4ae4]ghc-7.8wip/T8647 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:59 PM Newcomers edited by goldfire
(diff)
12:18 PM Ticket #8309 (traceEvent truncates to 512 bytes) created by duncan
The Debug.Trace.traceEvent (& traceEventIO) use a code path that …
10:10 AM Changeset in ghc [9ef384d6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Comment typo only
9:41 AM Newcomers edited by jstolarek
(diff)
9:37 AM Ticket #8308 (Resurrect ticky code for counting constructor arity) created by jstolarek
There is a dead piece of ticky profiling code that computes histograms of …
8:57 AM Ticket #8307 (iOS patch: fix hangs in threaded runtime) created by lukexi
Extends two darwin_HOST_OS cases in libraries/base/GHC/Event/Manager.hs to …
8:23 AM Ticket #7186 (problems with typelits and typenats) closed by monoidal
fixed: With new type-level naturals 1<=2 example compiles in HEAD. The second …
7:42 AM Ticket #8306 (NegativeLiterals allows negative type-level integers) created by monoidal
With NegativeLiterals? extension it is possible to write negative …
6:53 AM Changeset in ghc [c65a3cdb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
T5435 test improvements, see #5435 for details. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in testsuite [7520b97]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
T5435 test improvements, see #5435 for details. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in ghc [ea83174]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Distinguish between hs-main cases when giving rtsopts advice. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in ghc [85a9e24]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Run ctors initializers backwards, see #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:50 AM Ticket #8305 (ghci macros override built-ins for command expansion) created by rwbarton
I have a ghci macro :tsu from the ghc-vis package, which I installed a …

Sep 15, 2013:

11:00 PM Ticket #8304 (more lenient operator sections (RelaxedSections extension)) created by aavogt
Some operator sections are rejected which could have some meaning. […] …
9:35 PM WikiStart edited by simonmar
(diff)
9:06 PM Changeset in ghc [769bfc73]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Mention new solver for -XTypeNats in release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:45 PM Ticket #910 (--make should have a -j flag for parallel building) closed by parcs
fixed
8:44 PM Ticket #8184 (Compiler panic in the presence of cyclic imports) closed by parcs
fixed
8:35 PM Changeset in ghc [4141f8b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Add test case for #8184
8:35 PM Changeset in testsuite [5f2f788]wip/nested-cprwip/pattern-synonymswip/th-new by Patrick Palka <patrick@…>
Add test case for #8184
8:34 PM Changeset in ghc [0138d19e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Fix usage of 'expect_fail' in T2507
8:34 PM Changeset in testsuite [bf13df77]wip/nested-cprwip/pattern-synonymswip/th-new by Patrick Palka <patrick@…>
Fix usage of 'expect_fail' in T2507
8:21 PM Status edited by thoughtpolice
Remove old release plan notes. (diff)
8:20 PM Ticket #8284 (freeHaskellFunPtr crashes on iOS) closed by thoughtpolice
fixed: Merged. Thanks Stephen! […]
8:20 PM Ticket #8296 (Patch: new primops for byte range copies ByteArray# <-> Addr#) closed by thoughtpolice
fixed: Merged. […] Duncan, I also had to fix the actual primops in …
8:19 PM Ticket #8250 (cgrun072 (optllvm) failing) closed by thoughtpolice
fixed
8:18 PM Changeset in ghc [4d2cd51]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Delete trailing whitespace in cgrun070 Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [587dc68]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Delete trailing whitespace in cgrun070 Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in ghc [5f7733d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add tests for the new ByteArray# <-> Addr# copy primops Essentially the same tests as for the existing ByteArray# ones. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in ghc [321647d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix up cgrun072 a bit (#8250) This includes: * Adding a test for bswap16 with a low byte >= 128 * Also test the byteSwapN functions from GHC.Word, tested both INLINE and not INLINE, so we test both independent parts: the compilation of base, and the backend compiling the code *using* base. * Fix the usage of byteSwapN# primitives in the test, by masking off * the higher bits when storing the results in Word16/Word32. Thanks to Reid Barton for the investigation. Authored-by: Reid Barton <rwbarton@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [234404e]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Add tests for the new ByteArray# <-> Addr# copy primops Essentially the same tests as for the existing ByteArray# ones. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [c8cd4df]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix up cgrun072 a bit (#8250) This includes: * Adding a test for bswap16 with a low byte >= 128 * Also test the byteSwapN functions from GHC.Word, tested both INLINE and not INLINE, so we test both independent parts: the compilation of base, and the backend compiling the code *using* base. * Fix the usage of byteSwapN# primitives in the test, by masking off * the higher bits when storing the results in Word16/Word32. Thanks to Reid Barton for the investigation. Authored-by: Reid Barton <rwbarton@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:15 PM Changeset in ghc [bb53268]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix the type signatures of new copy primops. They claimed to work over 'ST RealWorld', when instead they should be parameterized in the state type. This fixes the cgrun070. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:01 PM Changeset in base [bb41dbf]ghc-7.8 by Austin Seipp <austin@…>
byteSwap16/32: Narrow the result to 16/32 bits According to primops.txt.pp, the BSwap16Op and BSwap32Op primops leave the higher bytes of their results undefined. We must clear those higher bytes here before storing the result in a Word16/32. Signed-off-by: Austin Seipp <austin@well-typed.com>
5:58 PM Changeset in ghc [14677cd]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix freeHaskellFunPtr crash on iOS. Authored-by: Stephen Blackheath <...@blacksapphire.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5:56 PM Changeset in ghc [f11289f]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
New primops for byte range copies ByteArray# <-> Addr# We have primops for copying ranges of bytes between ByteArray#s: * ByteArray# -> MutableByteArray# * MutableByteArray# -> MutableByteArray# This extends it with three further cases: * Addr# -> MutableByteArray# * ByteArray# -> Addr# * MutableByteArray# -> Addr# One use case for these is copying between ForeignPtr-based representations and in-heap arrays (like Text, UArray etc). The implementation is essentially the same as for the existing primops, and shares the memcpy stuff in the code generators. Defficiencies / future directions: none of these primops (existing or the new ones) let one take advantage of knowing that ByteArray#s are word-aligned in memory. Though it is unclear that any of the code generators would make use of this information unless the size to copy is also known at compile time. Signed-off-by: Austin Seipp <austin@well-typed.com>
5:54 PM Ticket #8194 (make install (at git ef01794) still fails) closed by bos
fixed
5:07 PM Changeset in ghc [865956a6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Bryan O'Sullivan <bryano@…>
Cause "make install" to install dynamic libraries (#8194) Our special ghc-cabal command needs to be told that we are building with dynamic library support when it does its copying. We do so by passing an extra parameter from ghc.mk.
12:38 AM Ticket #8303 (defer StackOverflow exceptions (rather than dropping them) when exceptions ...) created by rwbarton
See …
12:19 AM Ticket #8302 (Add 'bool' to Data.Bool) created by ocharles
As mentioned in …

Sep 14, 2013:

10:42 PM Ticket #8301 (error BaseReg must be in a register for THREADED_RTS) created by erikd
Compiling git HEAD on powerpc64-linux. This was working as recently as two …
10:35 PM Ticket #8300 (split-objs doesn't split on LLVM) created by rwbarton
-split-objs is allowed with -fllvm, but it doesn't really do anything. …
10:07 PM Ticket #8299 (Add richer data model address arithmetic: AddrDiff and AddrInt (ie d ...) created by carter
currently GHC's internals and code gen don't provide a strong distinction …
8:47 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
8:34 PM Changeset in ghc [05d2fae]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Make these two tests thread safe. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:34 PM Changeset in testsuite [5b6e1d0]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Make these two tests thread safe. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 PM Changeset in ghc [bf582957]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add stg_MUT_VAR_CLEAN_info and stg_MUT_VAR_DIRTY_info to the symbol table
6:53 PM Changeset in ghc [81610b0]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
80 columns
5:36 PM Ticket #8289 (unused variable in rts/posix/OSMem.c getPageSize) closed by thoughtpolice
fixed
5:35 PM Changeset in ghc [d510f5e]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Nuke tabs in rts/posix/OSMem.c Signed-off-by: Austin Seipp <austin@well-typed.com>
5:20 PM Changeset in ghc [57700b9a]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix getPageSize to actually cache the page size. This fixes #8289. Signed-off-by: Austin Seipp <austin@well-typed.com>
4:40 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
4:32 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
4:23 PM ActiveBranches edited by hvr
(diff)
4:19 PM WorkingConventions/Git edited by hvr
(diff)
4:14 PM Building/CrossCompiling/iOS edited by lukexi
Added explicit --with-gcc arg to configure to work around new GHC … (diff)
2:34 PM Ticket #8298 (+RTS -hb crash when blocking on empty TChan) created by exFalso
Running the following code […] produces: […] It crashes without …
10:54 AM Ticket #8297 (Allow implicit parameters to take a default value) created by schyler
-XImplicitParams is not that useful except as a type hole. I had an idea …
10:53 AM Changeset in ghc [d1594465]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Mention coerce in the release notes It is not added to the section on Special built-in functions because the (from a user POV related) unsafeCoerce has been removed there recently.
10:32 AM Status/GHC-7.8/Libraries edited by hvr
add marker to 3rd party libs not exposed yet in the package db (diff)
10:28 AM Changeset in ghc [1534b1d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Fix links in #special-ids section This completes the change from [7ea49661c]: GHC.Exts lives in base, not in ghc-prim.
9:50 AM Ticket #8296 (Patch: new primops for byte range copies ByteArray# <-> Addr#) created by duncan
Currently we have: * copyByteArray# for ByteArray# to …
9:32 AM Ticket #3647 (unify handling and error messages for -X vs. {-#LANGUAGE ...#-} ...) closed by nomeata
fixed
9:02 AM Changeset in ghc [baaf4e8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Adjust test suite to new Language Pragma warnigns (this is related to #3647)
9:02 AM Changeset in testsuite [bb0e5b5]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Adjust test suite to new Language Pragma warnigns (this is related to #3647)
9:02 AM Changeset in ghc [9278994]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Give language pragma suggestions without -X for easier copy'n'paste. This fixes: #3647
8:56 AM Changeset in ghc [bd598da4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Suppress some known broken Windows tests. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:56 AM Changeset in testsuite [d21310f]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Suppress some known broken Windows tests. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:38 AM Ticket #8295 (T4850 deadlocks when run with -Ds on Windows (also it's failing)) created by ezyang
T4850 has been failing recently, reporting too *few* OS threads allocated. …
8:20 AM Changeset in ghc [cef90d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Suppress some known errors from Mac OS X. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:20 AM Changeset in testsuite [00312aa]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Suppress some known errors from Mac OS X. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:09 AM Ticket #8294 (T7478 fails on Mac OS X with "unexpected bindingNone" from ld) created by ezyang
(Tangentially, the test script was swallowing up relevant output; you need …
6:27 AM TypeApplication edited by Hamidhasan
Added design decisions, and cleaned up formatting (diff)
6:05 AM TypeApplication edited by Hamidhasan
Added general explanation, and some usage examples (diff)
5:58 AM Ticket #8293 (user001 spuriously fails if getGroupEntryForID correctly fails) created by ezyang
In some cases, a user's current group ID can be a number for a …
5:48 AM Ticket #8292 (linker_unload test doesn't work on Windows) created by ezyang
I fixed up the major issues but I am getting: […]
5:47 AM Changeset in ghc [35db0b3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Fix egregious pathchar business in linker_unload. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:47 AM Changeset in testsuite [4423f10]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Fix egregious pathchar business in linker_unload. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:27 AM Ticket #8291 (unloadObj doesn't work, unloaded_objects list keeps growing in size) created by ezyang
Shows up as the linker_unload test going very slowly and triggering the …
4:02 AM Ticket #8290 (lookupSymbol API is unsafe) created by ezyang
lookupSymbol is one of those functions that looks nice and innocuous on …
4:00 AM Changeset in ghc [02d4958]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Properly provide leading underscore when necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:00 AM Changeset in testsuite [29b0521]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Properly provide leading underscore when necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:39 AM Changeset in ghc [e0885ad]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement __mod_init_func for Mach-O. Finishes support for init in #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
1:58 AM Ticket #8289 (unused variable in rts/posix/OSMem.c getPageSize) created by rwbarton
bgamari pointed this out on IRC. The static variable pageSize is never …
1:13 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
1:11 AM Changeset in ghc [30bf3ed]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement .ctor support for PEi386. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Sep 13, 2013:

11:49 PM Changeset in ghc [226a18b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Tests for #5435 (init/init_array/constr handling by linker) Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:49 PM Changeset in testsuite [1935c70]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Tests for #5435 (init/init_array/constr handling by linker) Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:44 PM Changeset in ghc [291ec13]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement .init/.init_array support for ELF. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:07 PM Changeset in ghc [8b9f71ee]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Fix rebase fallout To push what was validated, not just what was commited.
9:56 PM Ticket #8288 (add idris style EDSL support for deep embedding lambdas) created by carter
I could be wrong, but I think this would actually make it much easier to …
9:47 PM Ticket #8287 (exploring calling convention changes and related engineering for 7.10) created by carter
I'm creating this as a master ticket for systematically exploring and …
9:20 PM NewtypeWrappers edited by nomeata
typo (diff)
9:10 PM NewtypeWrappers edited by nomeata
Clean up the page a bit to keep up the signal-to-noise-level on the wiki. (diff)
9:06 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
9:06 PM TypeApplication created by Hamidhasan
8:56 PM Ticket #8033 (add AVX register support to llvm calling convention) closed by carter
invalid: closing for now because this will be subsumed a somewhat more ambitious …
7:59 PM Changeset in ghc-prim [32ab616]ghc-7.8 by Joachim Breitner <mail@…>
Define GHC.Types.Coercible This data type is required so that Coercible (which is actually a class and is exported from GHC.Prim) has a info table etc., similar to ~
7:59 PM Changeset in ghc [5dd3e99]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Tests for the Coercible class Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers
7:59 PM Changeset in testsuite [ebb26cd]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Tests for the Coercible class Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers
7:58 PM Changeset in ghc [17a868a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Introduce coerce :: Coercible a b -> a -> b This is the result of the design at http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers The goal is to be able to convert between, say [First Int] and [Last Int] with zero run-time overhead. To that end, we introduce a special two parameter type class Coercible whose instances are created automatically and on-the fly. This relies on and exploits the recent addition of roles to core.
7:57 PM Changeset in ghc [81928d0]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Expose more in the TcS monad in preparation for the Coercible class implementation.
7:57 PM Changeset in ghc [1f17065a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Outputable.isOrAre: "is" or "are" for correct grammar
7:57 PM Changeset in ghc [638da2f]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Expose tcTyConsOfType as Types.tyConsOfType and add related function tyConsOfTyCon.
7:57 PM Changeset in ghc [e239753c]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Allow primclass and class constraints in primops In preparation for the primitive class Coercible
5:29 PM CodeOwners edited by thoughtpolice
I technically own these things now. (diff)
5:27 PM TeamGHC edited by thoughtpolice
(diff)
5:24 PM TeamGHC edited by thoughtpolice
(diff)
5:14 PM TeamGHC edited by thoughtpolice
Typo, and some date fixes (diff)
5:08 PM TeamGHC edited by tibbe
(diff)
5:05 PM TeamGHC edited by bos
(diff)
5:04 PM TeamGHC edited by bos
(diff)
4:39 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:10 PM Changeset in ghc [c228418c]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Release note for new `instance Data Data.Version` Implemented in [e17549c80425f3c8a8a672c65bbff00290839f3c/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:00 PM Status/GHC-7.8 edited by jstolarek
(diff)
3:56 PM Changeset in ghc [fccb5c6]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update Cabal to current upstream `1.18` branch tip The new commits inlcude AMP-warning fixes and support for the new `instance Data Data.Version` provided by `base`
3:29 PM Changeset in ghc [7e76e921]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow change in [e17549c80425f3/base]
3:29 PM Changeset in testsuite [ee63d51]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow change in [e17549c80425f3/base]
3:25 PM Changeset in ghc [a602fe5a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Missing printf path format change
10:53 AM Changeset in ghc [8570fe7]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Replace reference to `Data.Generics` with `Data.Data` The `Data` definitions were moved from `Data.Generics` to `Data.Data` via [5a9e76d24776608a3e14ba94f1dfa0cac072c251/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:36 AM Ticket #8286 (fdToHandle docs are wrong about non-blocking mode) created by duncan
The docs for System.Posix.IO.fdToHandle state: […] The final …
9:19 AM Changeset in base [e17549c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `Data` instance for `Data.Version` See also http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20269 Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:54 AM WorkingConventions/Git edited by thoughtpolice
(diff)
7:48 AM Changeset in ghc [6719877]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Rename -ddump-cmm-rewrite to -ddump-cmm-sink This makes it consistent with the corresponding -cmm-sink flag
7:46 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
7:07 AM Changeset in ghc [f56a787]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix static GHCi build (#8270) When Ryan merged in the atomics branch, he made atomic_inc and atomic_dec EXTERN_INLINE functions, meaning their definitions became part of object files in the non-threaded build, instead of being inlined. As a result, this broke the linker for static GHCi, since it couldn't properly resolve the now-externally defined functions. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:44 AM Ticket #8192 (Finally remove -fwarn-lazy-unlifted-bindings flag) closed by thoughtpolice
duplicate: On second thought, this should just go ahead and stay with #8022.
6:20 AM Changeset in ghc [04a24282]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for evaluating type-level naturals.
6:20 AM Changeset in testsuite [076e04e]wip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for evaluating type-level naturals.
6:19 AM Changeset in ghc [1f77a53]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add support for evaluation of type-level natural numbers. This patch implements some simple evaluation of type-level expressions featuring natural numbers. We can evaluate *concrete* expressions that use the built-in type families (+), (*), (^), and (<=?), declared in GHC.TypeLits. We can also do some type inference involving these functions. For example, if we encounter a constraint such as `(2 + x) ~ 5` we can infer that `x` must be 3. Note, however, this is used only to resolve unification variables (i.e., as a form of a constraint improvement) and not to generate new facts. This is similar to how functional dependencies work in GHC. The patch adds a new form of coercion, `AxiomRuleCo`, which makes use of a new form of axiom called `CoAxiomRule`. This is the form of evidence generate when we solve a constraint, such as `(1 + 2) ~ 3`. The patch also adds support for built-in type-families, by adding a new form of TyCon rhs: `BuiltInSynFamTyCon`. such built-in type-family constructors contain a record with functions that are used by the constraint solver to simplify and improve constraints involving the built-in function (see `TcInteract`). The record in defined in `FamInst`. The type constructors and rules for evaluating the type-level functions are in a new module called `TcTypeNats`.
5:11 AM Ticket #8285 (unexpected behavior with encodeFloat on large inputs) created by carter
benjamin scarlet discovered some unexpected behavior in encodeFloat today …
4:39 AM Ticket #8282 (Windows error building HEAD missing '_atomic_inc') closed by rwbarton
duplicate
4:10 AM Ticket #8284 (freeHaskellFunPtr crashes on iOS) created by StephenBlackheath
3:58 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:56 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:55 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:54 AM WorkingConventions/Git edited by thoughtpolice
Refactor new info (diff)
3:53 AM Ticket #8283 (utils/fingerprint/fingerprint.py doesn't work on Windows) created by schyler
Invocation: […] Produces: […]
3:48 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:44 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:39 AM Ticket #8282 (Windows error building HEAD missing '_atomic_inc') created by schyler
Pulled ad15c2b4bd37082ce989268b3d2f86a2cd34386a like so: […] Error …
12:22 AM Ticket #8281 (The impossible happened: primRepToFFIType) created by tibbe
I ran into this error while trying to use GHCi on the hashable package: …
12:15 AM Ticket #8280 (Deriving Show for Word#) created by monoidal
[…] This works in 7.6.3, but 7.7 gives […] The same file works if …

Sep 12, 2013:

10:29 PM Ticket #8051 (GHCi: confusing `:set +m`/`:{` interaction & wrong line-numbers in ...) closed by thoughtpolice
fixed: Thanks for fixing this Herbert!
9:41 PM Ticket #7880 (Require "forall" in definitions of polymorphic types) closed by monoidal
duplicate: I see this exact proposal was created earlier: #4426.
8:20 PM Ticket #8279 (bad alignment in code gen yields substantial perf issue) created by carter
independently, a number of folks have noticed that in various ways, GHC …
7:56 PM Ticket #8278 (Improve error message when the same type is imported from two different ...) created by Yuras
When a package indirectly depends on different versions of the same …
5:24 PM Ticket #8277 (Fix name of vanilla RTS way in the user's guide) created by rwbarton
A program compiled with the vanilla way, when queried with +RTS --info, …
4:04 PM Changeset in ghc [ad15c2b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Improve sinking pass This commit does two things: * Allows duplicating of global registers and literals by inlining them. Previously we would only inline global register or literal if it was used only once. * Changes method of determining conflicts between a node and an assignment. New method has two advantages. It relies on DefinerOfRegs and UserOfRegs typeclasses, so if a set of registers defined or used by a node should ever change, `conflicts` function will use the changed definition. This definition also catches more cases than the previous one (namely CmmCall and CmmForeignCall) which is a step towards making it possible to run sinking pass before stack layout (currently this doesn't work). This patch also adds a lot of comments that are result of about two-week long investigation of how sinking pass works and why it does what it does.
2:40 PM Ticket #8276 (Building Haddock documentation panics with perf build on x86_64 Linux) created by jstolarek
After setting BuildFlavor = perf in build.mk compilation ends with a …
1:05 PM Ticket #8271 (missing semicolon in rts/Linker.c) closed by jstolarek
fixed
12:11 PM Ticket #8275 (Loopification breaks profiling) created by jstolarek
Profiling is currently broken in HEAD. Setting BuildFlavour = prof in …
11:57 AM Building/RunningNoFib edited by jstolarek
(diff)
11:56 AM Building/RunningNoFib edited by jstolarek
(diff)
10:44 AM Changeset in ghc [66aa489]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Add missing semicolon in rts/Linker.c (#8271) And remove some trailing whitespaces from that file.
10:11 AM Changeset in ghc [28013971]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Test for #8205 This test is a bit speculative, because I can't reproduce problem on my machine. Still, it should work because it produces the same Cmm that originally caused the problem.
10:11 AM Changeset in testsuite [9267561]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Test for #8205 This test is a bit speculative, because I can't reproduce problem on my machine. Still, it should work because it produces the same Cmm that originally caused the problem.
9:10 AM Ticket #8274 (Core pretty-printer doesn't print # on unboxed literals) created by jstolarek
I just noticed that Core pretty printer produces something like this (this …
8:01 AM Ticket #8205 (the 'impossible' happened : expectJust block_order) closed by jstolarek
fixed: Replying to kazu-yamamoto: > I verified that the current GHC …
7:51 AM Ticket #8273 (ghc: panic! (the 'impossible' happened)) closed by jstolarek
duplicate: This is already solved in HEAD. Thanks for reporting.
7:01 AM Ticket #8273 (ghc: panic! (the 'impossible' happened)) created by ready2go
[…] My Apologies if this is a duplicate, first time I have used trac, …
5:45 AM Ticket #8272 (testing if SpLim=$rbp and Sp=$rsp changed performance at all) created by carter
testing if SpLim?=$rbp and Sp=$rsp changed performance at all would need …
4:31 AM Ticket #8271 (missing semicolon in rts/Linker.c) created by rwbarton
[…] The missing ; is harmless when LOCK_DEBUG is not defined, because …
4:10 AM Ticket #8270 (unknown symbol "atomic_inc" in GHCi when loading package ghc) created by rwbarton
I tried to do a "quick-llvm" build of a distclean-ed tree and got an error …
12:58 AM Status/GHC-7.8 edited by thoughtpolice
AMP is in. (diff)
12:54 AM Changeset in ghc [75a9664a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Implement the AMP warning (#8004) This patch implements a warning when definitions conflict with the Applicative-Monad Proposal (AMP), described in #8004. Namely, this will cause a warning iff: * You have an instance of Monad, but not Applicative * You have an instance of MonadPlus, but not Alternative * You locally defined a function named join, <*>, or pure. In GHC 7.10, these warnings will actually be enforced with superclass constraints through changes in base, so programs will fail to compile then. This warning is enabled by default. Unfortunately, not all of our upstream libraries have accepted the appropriate patches. So we temporarily fix ./validate by ignoring the AMP warning. Dan Rosén made an initial implementation of this change, and the remaining work was finished off by David Luposchainsky. I finally made some minor refactorings. Authored-by: Dan Rosén <danr@chalmers.se> Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
12:49 AM Changeset in ghc [47a0c363]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix remaining AMP fallout. The perf tests can probably be rechecked and tightened a little; I fixed them with AMP the other day but some changes since then have made them wibble perhaps. Signed-off-by: Austin Seipp <austin@well-typed.com>
12:49 AM Changeset in testsuite [816e4df]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix remaining AMP fallout. The perf tests can probably be rechecked and tightened a little; I fixed them with AMP the other day but some changes since then have made them wibble perhaps. Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 11, 2013:

11:47 PM Changeset in ghc [b20cf4e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
10:26 PM BrowserTips edited by leroux
Clarify how to add a new search engine in Chrome. (diff)
9:05 PM Changeset in ghc [1ef941a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
User guide typo: Missing ) in #language-pragma
8:50 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) closed by nomeata
duplicate: I didn’t find the other ticket with a quick (probably too quick) search, …
5:26 PM Ticket #8243 (process.cabal source-repository field is out of date) closed by monoidal
fixed: The URLs in the libraries were fixed (for libraries-process commit …
3:53 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) created by nomeata
Minor, but still: Currently GHC says: […] Maybe it is just me, but …
2:47 PM Status/GHC-7.8 edited by jstolarek
(diff)
1:58 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) closed by monoidal
duplicate: Thanks for the report. It's already fixed (#7915).
1:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) closed by simonpj
invalid: I'm afraid the error is quite right: fst's type is ambiguous. Suppose …
1:38 PM Changeset in ghc [65e55c6]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update submodule `random` to point to latest HEAD
1:33 PM Changeset in ghc [bec3c04]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Drop proc-points that don't exist in the graph (#8205) On some architectures it might happen that stack layout pass will invalidate the list of calculated procpoints by dropping some of them. We fix this by checking whether a proc-point is in a graph at the beginning of proc-point analysis. This is a speculative fix for #8205.
1:28 PM Changeset in base [fb739a1]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `base.cabal` This is related to #8121
1:15 PM Changeset in directory [9397707c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc-prim [2e74638]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in integer-gmp [7799086]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in process [390978c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in unix [0d91c0a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
12:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) created by maxs
The following program type checks correctly in GHC 7.6.3 but fails in 7.7 …
12:28 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) created by Feuerbach
Section 7.4.7 of the user's guide distributed with GHC 7.6.3 documents the …
12:26 PM Ticket #8236 (Assertion failure of MarkWeak) closed by kazu-yamamoto
fixed: Happily, Mighty is still running. Great. Let's close this ticket.
11:17 AM Changeset in ghc [43111a0b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
GHCi: Fix multi-line input line/column-number refs This commit addresses #8051 by fixing - Incorrect column indices reported in error messages for single-line and multi-line input, - incorrect line numbers reported in error messages for expressions entered in multi-line input, and - inhibiting the confusing interaction between `:{` and `:set +m` causing the triggering of implicit multi-line continuation mode right after `:}` terminates the multi-line entry block.
11:17 AM Changeset in ghc [ed3c59a4]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `bin-packages-db.cabal` This is related to #8121
10:28 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:58 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:01 AM Changeset in ghc [13f1caad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:01 AM Changeset in testsuite [8450b18]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:00 AM Changeset in ghc [394ab58b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix output for T8262
9:00 AM Changeset in testsuite [4f4cf71]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix output for T8262
4:46 AM BrowserTips edited by leroux
(diff)
4:46 AM FirefoxTips edited by leroux
Point to BrowserTips page. (diff)
4:42 AM WikiStart edited by leroux
(diff)
4:41 AM BrowserTips created by leroux
4:32 AM FirefoxTips edited by leroux
Add Chrome instructions and use ghc.haskell.org instead of … (diff)
12:41 AM Ticket #8266 (Dynamic linking on Mac) created by kazu-yamamoto
Many dynamic libraries refer to the build tree. (1) Every ".dylib" …
Note: See TracTimeline for information about the timeline view.