Timeline


and

Sep 23, 2013:

8:58 PM Changeset in ghc [325587c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Driver: Fix % operator typo
8:58 PM Changeset in testsuite [f1b6909]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Driver: Fix % operator typo
8:30 PM Ticket #8348 (Add Super-classes to libraries) created by wvv
Haskell community has a long discussion how to implement a superclasses …
4:22 PM Ticket #8218 (Missing instance Monad WrappedMonad) closed by monoidal
fixed: Done, thanks for the report.
4:21 PM Changeset in ghc [e2da02d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Release notes: mention instance Monad (WrappedMonad m) (#8218)
3:57 PM Changeset in ghc [72fa9fc]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after #8218 The new hidden line in output of tcfail181 is instance Monad m => Monad (Control.Applicative.WrappedMonad m). It might seem weird that Control.Applicative is suggested when not imported, but it's almost certainly a side-effect of AMP and it's harmless.
3:57 PM Changeset in testsuite [ffa99f42]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after #8218 The new hidden line in output of tcfail181 is instance Monad m => Monad (Control.Applicative.WrappedMonad m). It might seem weird that Control.Applicative is suggested when not imported, but it's almost certainly a side-effect of AMP and it's harmless.
3:56 PM Changeset in base [c831b4a]ghc-7.8 by Krzysztof Gogolewski <krz.gogolewski@…>
Add instance Monad (WrappedMonad m) to Control.Applicative (#8218)
3:56 PM Changeset in ghc [4449dbc]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Add instance Monad (WrappedMonad m) to Control.Applicative (#8218)
3:50 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
3:46 PM Ticket #8347 (Add a Strict LANGUAGE pragma) created by tibbe
A Strict LANGUAGE pragma would allow us to experiment with writing in …
2:26 PM Ticket #8346 (Rank 1 type signature still requires RankNTypes) created by tinctorius
When trying to figure out which type variable names are *actually* bound …
2:22 PM TeamGHC edited by jstolarek
(diff)
1:13 PM Ticket #8219 (x86 definition of cas() is wrong) closed by parcs
fixed
1:11 PM Changeset in ghc [9c11fdb9]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Fix build when PROF_SPIN is unset whitehole_spin is only defined when PROF_SPIN is set.
1:05 PM Changeset in ghc [84dff710]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Fix the definition of cas() on x86 (#8219) *p is both read and written to by the cmpxchg instruction, and therefore should be given the '+' constraint modifier. (In GCC's extended ASM language, '+' means that the operand is both read and written to whereas '=' means that it is only written to.) Otherwise, the compiler is allowed to rewrite something like SpinLock lock; initSpinLock(&lock); /* sets lock = 1 */ ACQUIRE_SPIN_LOCK(&lock); into SpinLock lock; ACQUIRE_SPIN_LOCK(&lock); because according to the asm statement, the previous value of 'lock' is not important.
12:55 PM Ticket #8345 (A more efficient atomicModifyIORef') created by parcs
atomicModifyIORef' is currently defined as: […] This doesn't seem …
11:43 AM Changeset in ghc [93a04b4]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Remove fglasgow-exts from ghci --help It has been deprecated for long and already removed from ghc --help
11:23 AM Ticket #8344 (Problem w/ Monadic when installing hldeger-web on Raspberry Pi) closed by monoidal
duplicate: Thanks for the report. This should be fixed in HEAD (#7824)
10:06 AM Ticket #7574 (Register allocator chokes on certain branches with literals) closed by simonmar
fixed: I believe this is fixed, as always reopen the ticket if there are still …
10:02 AM Ticket #8291 (unloadObj doesn't work, unloaded_objects list keeps growing in size) closed by simonmar
fixed
9:58 AM Changeset in ghc [c0d64418]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
T7574 is now passing (#7574)
9:58 AM Changeset in ghc [10a4450]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
linker_unload is now passing (#8192)
9:58 AM Changeset in testsuite [491551d]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T7574 is now passing (#7574)
9:58 AM Changeset in testsuite [1bb8a2e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
linker_unload is now passing (#8192)
9:58 AM Changeset in ghc [f5879acd]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Discard unreachable code in the register allocator (#7574) The problem with unreachable code is that it might refer to undefined registers. This happens accidentally: a block can be orphaned by an optimisation, for example when the result of a comparsion becomes known. The register allocator panics when it finds an undefined register, because they shouldn't occur in generated code. So we need to also discard unreachable code to prevent this panic being triggered by optimisations. The register alloator already does a strongly-connected component analysis, so it ought to be easy to make it discard unreachable code as part of that traversal. It turns out that we need a different variant of the scc algorithm to do that (see Digraph), however the new variant also generates slightly better code by putting the blocks within a loop in a better order for register allocation.
9:58 AM Changeset in ghc [19081952]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Fix linker_unload now that we are running constructors in the linker (#8291) See also #5435. Now we have to remember the the StablePtrs that get created by the module initializer so that we can free them again in unloadObj().
9:34 AM Ticket #8344 (Problem w/ Monadic when installing hldeger-web on Raspberry Pi) created by daccle
Hi Folks! This is what I get when try to install on Raspberry Pi using …
9:33 AM Changeset in ghc [be3b84f]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
9:32 AM Changeset in ghc [b7e27b6]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
9:32 AM Changeset in testsuite [5668965]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
8:48 AM Ticket #8343 (Interrupting readProcess doesn't work) created by akio
The following program should terminate in 1 second, but it does not: …
4:44 AM Changeset in ghc [e19ae5df]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <gmainlan@…>
Catch potential garbage after -msse.
4:22 AM Changeset in ghc [680441d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <gmainlan@…>
Merge branch 'wip/simd' This merge revises and extends the current SIMD support in GHC. Notable features: * Support for AVX, AVX2, and AVX-512. Support for AVX-512 is untested. * SIMD primops are currently LLVM-only and documented in compiler/prelude/primops.txt.pp. * By default only 128-bit wide SIMD vectors are passed in registers, and then only on the X86_64 architecture. There is a "hidden" flag, -fllvm-pass-vectors-in-regs, that causes GHC to generate LLVM code that assumes all vectors are passed in registers by LLVM. This can be used with a suitably patched version of LLVM, and if we get LLVM 3.4 patched, we can consider turning it on by default for LLVM 3.4+. This would mean that we couldn't mix LLVM <3.4-compiled object files with LLVM >=3.4-compiled object files, but I don't see that as much of a problem. * utils/genprimcode has been hacked up to allow us to write vector operations once and have them instantiated at multiple vector types. I'm not thrilled with this solution, but after discussing with Simon PJ, what I've implemented seems to be the minimal reasonable solution to the problem of exploding primop boilerplate. The changes are documented in compiler/prelude/primops.txt.pp. * Error handling is sub-optimal. My patch checks to make sure that vector primops can be compiled efficiently based on the current set of dynamic flags. For example, if -mavx is not specified and the user tries to use a primop that adds together two 256-bit wide vectors of double-precision elements, the user will see an error message like: ghc-stage2: sorry! (unimplemented feature or known bug) (GHC version 7.7.20130916 for x86_64-unknown-linux): 256-bit wide floating point SIMD vector instructions require at least -mavx.
3:43 AM Ticket #8342 (System.Directory.getPermissions does not work well on Windows 7) created by freizl
It works well for following code […] However getting error with this: …
2:34 AM Changeset in ghc [76248150]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add 256-bit-wide SIMD primitives.
2:34 AM Changeset in ghc [03e33c92]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for -mavx512* flags.
2:34 AM Changeset in ghc [49f4c12]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add Cmm support for 512-bit-wide values.
2:34 AM Changeset in ghc [26a960c6]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for 512-bit-wide vectors.
2:34 AM Changeset in ghc [c5add86]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Pass 512-bit-wide vectors in registers.
2:34 AM Changeset in ghc [7dda67b9]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add 512-bit-wide SIMD primitives.
2:34 AM Changeset in ghc [d2b9526]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
By default, only pass 128-bit SIMD vectors in registers on X86-64. LLVM's GHC calling convention only allows 128-bit SIMD vectors to be passed in machine registers on X86-64. This may change in LLVM 3.4; the hidden flag -fllvm-pass-vectors-in-regs causes all SIMD vector widths to be passed in registers on both X86-64 and on X86-32.
2:34 AM Changeset in ghc [1ed36c5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Enable -msse to be specified by itself. This sets the SSE "version" to 1.0.
2:34 AM Changeset in ghc [25eeb678]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Check that SIMD vector instructions are compatible with current set of dynamic flags. SIMD vector instructions currently require the LLVM back-end. The set of available instructions also depends on the set of architecture flags specified on the command line.
2:33 AM Changeset in ghc [bdcf210]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Ensure that globalRegMaybe returns accurate information for XMM registers.
2:33 AM Changeset in ghc [e02c5067]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Do not assume that XMM registers are used to pass floating point arguments. On x86-32, the C calling convention specifies that when SSE2 is enabled, vector arguments are passed in xmm* registers; however, float and double arguments are still passed on the stack. This patch allows us to make the same choice for GHC. Even when SSE2 is enabled, we don't want to pass Float and Double arguments in registers because this would change the ABI and break the ability to link with code that was compiled without -msse2. The next patch will enable passing vector arguments in xmm registers on x86-32.
2:33 AM Changeset in ghc [0f89b9e2]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Enable passing vector arguments in xmm registers on x86-32. Note that this will only work with the LLVM back end pending LLVM patches to change the GHC calling convention appropriately.
2:33 AM Changeset in ghc [da5a647c]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Do not expose LLVM-only primops in GHC.PrimopWrappers. GHC.PrimopWrappers is only used by GHCi, which cannot evaluate LLVM-only primops in any case.
2:33 AM Changeset in ghc [16b350a4]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
SIMD primops are now generated using schemas that are polymorphic in width and element type. SIMD primops are now polymorphic in vector size and element type, but only internally to the compiler. More specifically, utils/genprimopcode has been extended so that it "knows" about SIMD vectors. This allows us to, for example, write a single definition for the "add two vectors" primop in primops.txt.pp and have it instantiated at many vector types. This generates a primop in GHC.Prim for each vector type at which "add two vectors" is instantiated, but only one data constructor for the PrimOp data type, so the code generator is much, much simpler.
2:33 AM Changeset in ghc [638cd12]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Flesh out 128-bit wide SIMD primops.
2:33 AM Changeset in ghc [0c6cf2a]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for -mavx and -mavx2 flags.
2:33 AM Changeset in ghc [9d47e58]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add Cmm support for 256-bit-wide values.
2:33 AM Changeset in ghc [e074c1c2]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for 256-bit-wide vectors.
2:33 AM Changeset in ghc [afdb2fc3]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Set LLVM option -stack-alignment=32 when compiling AVX instructions.
2:33 AM Changeset in ghc [f8c51678]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Fixup stack spills when generating AVX instructions. LLVM uses aligned AVX moves to spill values onto the stack, which requires 32-bye aligned stacks. Since the stack in only 16-byte aligned, LLVM inserts extra instructions that munge the stack pointer. This is very very bad for the GHC calling convention, so we tell LLVM to assume the stack is 32-byte aligned. This patch rewrites the spill instructions that LLVM generates so they do not require an aligned stack.
2:33 AM Changeset in ghc [0b561f1]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Pass 256-bit-wide vectors in registers.
1:49 AM Ticket #8341 (T8333 fails to pass because of stdout ghci version mismatch) created by leroux
[…] T8333 has a hardcoded version number which changes based on …
1:12 AM Changeset in ghc [6e6e6f5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Release note blurb. GHCi now runs constructors for linked libraries. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:04 AM Status/GHC-7.8 edited by thoughtpolice
(diff)

Sep 22, 2013:

11:47 PM Changeset in ghc [6f79989]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Restructure compilation pipeline to allow hooks This commit exposes GHC's internal compiler pipeline through a `Hooks` module in the GHC API. It currently allows you to hook: * Foreign import/exports declarations * The frontend up to type checking * The one shot compilation mode * Core compilation, and the module iface * Linking and the phases in DriverPhases.hs * Quasiquotation Authored-by: Luite Stegeman <stegeman@gmail.com> Authored-by: Edsko de Vries <edsko@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
11:06 PM Changeset in base [ba98712]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove obsolete pre-Haddock-2 `#hide` pragmas The now obsolete (and redundant) `#hide` pragmas have been superseded by `{-# OPTIONS_HADDOCK hide #-}` pragmas which are used by most of the affected modules anyway. This commit also adds proper `{-# OPTIONS_HADDOCK hide #-}` pragmas to `GHC.Desugar` and `GHC.IO.Encoding.Iconv` which had only the ineffective `#hide` annotation. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:06 PM Changeset in ghc [2ed1377a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Remove obsolete pre-Haddock-2 `#hide` pragmas The now obsolete (and redundant) `#hide` pragmas have been superseded by `{-# OPTIONS_HADDOCK hide #-}` pragmas which are used by most of the affected modules anyway. This commit also adds proper `{-# OPTIONS_HADDOCK hide #-}` pragmas to `GHC.Desugar` and `GHC.IO.Encoding.Iconv` which had only the ineffective `#hide` annotation. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:04 PM Changeset in base [27c90b7]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.4.0.0/` comments to symbols This commit retroactively adds `/Since: 4.4.0.0/` annotations to symbols newly added/exposed in `base-4.4.0.0` (as shipped with GHC 7.2.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:04 PM Changeset in ghc [40c00afe]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.4.0.0/` comments to symbols This commit retroactively adds `/Since: 4.4.0.0/` annotations to symbols newly added/exposed in `base-4.4.0.0` (as shipped with GHC 7.2.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
6:45 PM Roles edited by DaniilFrumin
Comment about role annotations for datatypes with multiple params (diff)
4:32 PM Changeset in base [6fe5240]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.5.[01].0/` comments to symbols This commit retroactively adds `/Since: 4.5.[01].0/` annotations to symbols newly added/exposed in `base-4.5.[01].0` (as shipped with GHC 7.4.[12]). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:32 PM Changeset in ghc [0a5ecb53]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.5.[01].0/` comments to symbols This commit retroactively adds `/Since: 4.5.[01].0/` annotations to symbols newly added/exposed in `base-4.5.[01].0` (as shipped with GHC 7.4.[12]). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:28 PM WorkingConventions/Git edited by hvr
add note about findhash service (diff)
1:48 PM Commentary/Libraries/VersionHistory created by hvr
Add version matrix for packages visible via ghc-pkg list for past 7.x.x …
12:46 PM Ticket #8340 (support for generating annotations from TH) created by errge
This patch adds support for template haskell generation of annotations. …
6:42 AM PatternSynonyms edited by cactus
(diff)
6:30 AM Ticket #5724 (Confusing warning message for incomplete patterns) closed by monoidal
duplicate: Closing as duplicate of #2204.
6:24 AM PatternSynonyms edited by cactus
(diff)
3:03 AM Ticket #7436 (Derived Foldable and Traversable instances become extremely inefficient ...) closed by monoidal
It has been fixed in HEAD long time ago, but was not merged into 7.6. …
2:35 AM Ticket #7501 (Some GHCi options are undocumented) closed by monoidal
fixed: Applied, thanks!
2:33 AM Changeset in ghc [ea2af9b2]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
users_guide/ghci: Whitespace cleanup (#7501)
2:08 AM Changeset in ghc [efb9e829]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Document remaining GHCi commands in users_guide (#7501) Also a small formatting change in GHCi :help

Sep 21, 2013:

8:47 PM Changeset in ghc [1320fd2]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Add release note entry for `{-# MINIMAL #-}` (#7633)
6:07 PM Ticket #8339 (Build fails with panic in vector) created by trommler
I get this on powerpc64 Linux but I suspect from the error message it …
4:14 PM Platforms edited by trommler
Fixed links to distribution packages and download page. (diff)
4:07 PM Changeset in base [e8d2d2a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.6.0.0/` comments to symbols This commit retroactively adds `/Since: 4.6.0.0/` annotations to symbols newly added/exposed in `base-4.6.0.0` (as shipped with GHC 7.6.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:07 PM Changeset in ghc [2642d9f6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.6.0.0/` comments to symbols This commit retroactively adds `/Since: 4.6.0.0/` annotations to symbols newly added/exposed in `base-4.6.0.0` (as shipped with GHC 7.6.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:16 PM Changeset in base [6368362]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.7.0.0/` comments to new symbols These annotations were added in such a way, that the line {{{ /Since: 4.7.0.0/ }}} represents the last paragraph of the Haddock comment. Maybe Haddock will have support for this meta-syntax at some point, and be able to inherited the since-version property to the children of an annotated symbol and display the since-version property in the rendered documentation only in cases when it's not visually obvious (for instance, when re-exporting documentation strings). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:16 PM Changeset in ghc [77f32da]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.7.0.0/` comments to new symbols These annotations were added in such a way, that the line {{{ /Since: 4.7.0.0/ }}} represents the last paragraph of the Haddock comment. Maybe Haddock will have support for this meta-syntax at some point, and be able to inherited the since-version property to the children of an annotated symbol and display the since-version property in the rendered documentation only in cases when it's not visually obvious (for instance, when re-exporting documentation strings). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:10 PM Changeset in base [b0ca46b]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock docs for new `class FiniteBits`
12:10 PM Changeset in ghc [957511b3]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add Haddock docs for new `class FiniteBits`
8:08 AM Ticket #4985 (Improve locations in ghci errors) closed by monoidal
duplicate: This was fixed by #8051.
6:27 AM Ticket #4196 (add more stolen syntax to the user guide) closed by monoidal
fixed: Done.
6:24 AM Changeset in ghc [da11bb13]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Document more stolen syntax (#4196)

Sep 20, 2013:

9:13 PM Ticket #7043 (32-bit GHC ceiling of negative float SEGFAULT: 11) closed by bgamari
fixed: In that case I'm going to close this. If someone can reproduce the issue …
8:45 PM Ticket #8277 (Fix name of vanilla RTS way in the user's guide) closed by monoidal
fixed: Applied in commit 96cfb11075db8076407f2035a451e525f98d826b. Thanks.
8:41 PM Changeset in ghc [96cfb110]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix name of vanilla RTS way in the user's guide
8:34 PM Ticket #8338 (Incoherent instances without -XIncoherentInstances) created by goldfire
Consider the following 4 modules: […] […] […] […] …
8:23 PM Changeset in ghc [ffa8d223]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
7:42 PM Ticket #3103 (Compiling base with cabal fails.) closed by bgamari
worksforme: I was also able to compile base-4.7 with cabal 1.18 but without the MVar …
7:33 PM Ticket #5361 (regSpill: out of spill slots!) closed by bgamari
worksforme: Despite the root cause probably still lurking about somewhere, I'm going …
7:03 PM TeamGHC edited by monoidal
add myself (diff)
6:49 PM Changeset in ghc [2fbfa11]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `Cabal` to 1.18.1 final
3:57 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:55 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
3:48 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:42 PM ActiveBranches edited by thoughtpolice
(diff)
3:39 PM ActiveBranches edited by thoughtpolice
(diff)
3:33 PM Ticket #8337 (make it possible for the user to force orphanness via a module-level ...) created by errge
A module is marked orphan currently only in the case when we detect orphan …
3:04 PM Status/GHC-7.8 edited by simonpj
(diff)
2:44 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:42 PM Ticket #7800 (Error message when deriving Typeable without PolyKinds) closed by simonpj
fixed
2:38 PM Ticket #8333 (The impossible happened with TH + -fno-omit-interface-pragmas) closed by simonpj
fixed
2:38 PM Changeset in ghc [023eff7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8333
2:38 PM Changeset in testsuite [57330d4]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8333
2:38 PM Changeset in ghc [fd4e4ab3]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8129
2:38 PM Changeset in ghc [b1391024]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
test Trac #7800
2:38 PM Changeset in testsuite [6d3be60]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8129
2:38 PM Changeset in testsuite [edf6a82]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
test Trac #7800
2:38 PM Changeset in ghc [9d0ae76]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8280
2:38 PM Changeset in testsuite [2ed33c3]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8280
2:25 PM Changeset in ghc [d545b46]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments only
1:51 PM Changeset in ghc [86033a0]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message for deriving polykinded Typeable (Trac #7800) Thanks to Krzysztof Gogolewski (monoidal) for the first draft of this patch
1:50 PM Changeset in ghc [15dc80e]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Nuke tc-trace that makes the typechecker loop The trace was being over-eager, which disturbs the typecheckers careful knot-tying
1:49 PM Changeset in ghc [3462534c]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Kill Type.isKindTy in favour of Kind.isKind (same code)
1:48 PM Changeset in ghc [e17072d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor AMP warnings a bit There was a bit of clutter (tryTc stuff) caused by the fact that tcLookupImported didn't return a MaybeErr. Now it does. That finishes up Trac #8004.
1:46 PM Changeset in ghc [d57f2ad3]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Ignore Tickish Breakpoints when serialising Core into interface files This fixes Trac #8333 Thanks to 'klao', who identified the cause and provided the patch
1:19 PM Building/RunningTests/Settings edited by nomeata
document make VERBOSE=n in testsuite (diff)
1:18 PM Ticket #7866 (floor (0/0) :: Int is different with -O0 and -O1) closed by bgamari
invalid: Looking at the report it's not entirely clear how operations on NaN are …
1:15 PM Changeset in ghc [1e24696]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test driver: Implement different verbosities Select verbosity with "make VERBOSE=n". Options so far: n=0: No per-test output n=1: Only failing test results n=2: As above, plus progress information (names of all tests) n=3: As aobve, plus commands called. Default currently is n=3, although n=2 might be a nicer default.
1:15 PM Changeset in testsuite [36a70ba]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Test driver: Implement different verbosities Select verbosity with "make VERBOSE=n". Options so far: n=0: No per-test output n=1: Only failing test results n=2: As above, plus progress information (names of all tests) n=3: As aobve, plus commands called. Default currently is n=3, although n=2 might be a nicer default.
12:58 PM Ticket #8334 (unexpected type inference failure in main) closed by simonpj
invalid: main only has special behaviour when it's in module Main. When it's in …
11:55 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:43 AM Ticket #8336 (Sinking pass could optimize some assignments better) created by jstolarek
Compiling this program: […] produces following Cmm code for hashStr
11:29 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:24 AM Ticket #8335 (Create more specialized entries to GC) created by jstolarek
Consider this Cmm code (taken from #8326): […] We perform two …
11:16 AM Changeset in ghc [33dfd925]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test driver: Print total time spent at the end
11:16 AM Changeset in testsuite [472075f]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Test driver: Print total time spent at the end
11:07 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) closed by jstolarek
duplicate: I close this as a duplicate of #5793
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:53 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:43 AM Commentary/Compiler/HscMain edited by simonpj
(diff)
10:42 AM Commentary/Compiler/HscMain edited by simonpj
(diff)
10:26 AM Internships edited by simonpj
(diff)
10:25 AM Internships edited by simonpj
(diff)
7:53 AM Ticket #8334 (unexpected type inference failure in main) created by carter
I'm not sure if this is a failure of me understanding the semantics of …

Sep 19, 2013:

11:40 PM Ticket #8333 (The impossible happened with TH + -fno-omit-interface-pragmas) created by errge
[…] With Test.hs being: […] I want to make TemplateHaskell
8:52 PM Building/Preparation/Windows edited by simonpj
(diff)
8:49 PM Ticket #8332 (hp2ps does not escape parentheses) created by luite
If some symbol name in the key includes a (, but is cut off before the ), …
6:26 PM NewtypeWrappers edited by nomeata
fix name spelling (diff)
4:31 PM Ticket #8331 (GHC fails to apply {-# SPECIALIZE #-} for dubious reasons) created by blitzcode
I encountered a 'RULE left-hand side too complicated to desugar' warning …
2:43 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:37 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:36 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:25 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:23 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
12:55 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:53 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:25 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:22 PM Ticket #8314 (ASSERTion at TcMType:809 fails on test polykinds/T6068) closed by simonpj
fixed: Thanks, now fixed.
12:21 PM Ticket #8129 (Constraint solver panic due to derived type function equality) closed by simonpj
fixed
10:50 AM PrimBool edited by jstolarek
(diff)
10:48 AM Changeset in ghc [d85550e5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments only
10:30 AM Ticket #8330 (Remove ExtsCompat46 module once we bootstrap with GHC 7.8) created by jstolarek
Changing type signature of comparison primops from Bool to Int# in GHC …
10:22 AM PrimBool edited by jstolarek
(diff)
10:17 AM NewPrimopsInGHC7.8 edited by jstolarek
(diff)
10:04 AM PrimBool edited by jstolarek
(diff)
9:57 AM PrimBool edited by jstolarek
(diff)
9:55 AM NewPrimopsInGHC7.8 edited by jstolarek
(diff)
9:50 AM Changeset in ghc [4916552]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Update release notes for new comparison primops
9:40 AM Changeset in ghc [291cb85]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Document -floopification flag in user guide
9:39 AM Changeset in ghc [17ba306]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Remove trailing whitespaces in flags.xml
4:33 AM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
3:36 AM Building/CrossCompiling/iOS edited by StephenBlackheath
Note that RTS hangs are fixed. (diff)
2:59 AM Ticket #8202 (ghc panic applyTypeToArgs) closed by monoidal
fixed: The bug is fixed in HEAD, unfortunately, I cannot provide a simple test …

Sep 18, 2013:

8:04 PM Ticket #8329 (dmdTransformDictSelSig panic) created by monoidal
Installing xmlhtml with HEAD panicks, while it works in 7.6.3. […] …
6:09 PM Ticket #8328 (Crash at -O2: Cannot read from uninitialized register) closed by bos
duplicate: Duplicate of #7574.
5:55 PM Ticket #8328 (Crash at -O2: Cannot read from uninitialized register) created by bos
I did a quick x86_64 compile of all of Hackage today using HEAD, and GHC …
5:53 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
5:52 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
4:58 PM Changeset in ghc [71f09183]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Fix performance failures on x86_64
4:58 PM Changeset in testsuite [5fe7b57]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Fix performance failures on x86_64
4:18 PM Changeset in ghc [e9fa0096]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Fix T4007 Accidentally broken by my last commit
4:18 PM Changeset in testsuite [50fc5891]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Fix T4007 Accidentally broken by my last commit
4:08 PM Changeset in ghc [f65cef6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Comments only
4:08 PM Changeset in ghc-prim [b78f02a]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Comments only
3:54 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
3:26 PM Ticket #8280 (Deriving Show for Word#) closed by simonpj
fixed: Thanks for reporting this. Simon
3:20 PM Changeset in ghc [de4090bc]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make Word# a wired-in TyCon (fix Trac #8280) wordTyCon was treated as wired-in, but * It didn't have a WiredInName * It didn't appear in the list of wiredInTyCons I'm not sure how anything worked!
3:20 PM Changeset in ghc [07f524c]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix egregious blunder in extractRelevantInerts
3:20 PM Changeset in ghc [9078408c]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
1:48 PM Changeset in ghc [53948f91]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Restore old names of comparison primops In 6579a6c we removed existing comparison primops and introduced new ones returning Int# instead of Bool. This commit (and associated commits in array, base, dph, ghc-prim, integer-gmp, integer-simple, primitive, testsuite and template-haskell) restores old names of primops. This allows us to keep our API cleaner at the price of not having backwards compatibility. This patch also temporalily disables fix for #8317 (optimization of tagToEnum# at Core level). We need to fix #8326 first, otherwise our primops code will be very slow.
1:19 PM Changeset in base [427cbd5]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in ghc [ad89699]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in base [5904d0d]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in ghc [acb313a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in ghc [eca30442]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in ghc [4a9f2162]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in testsuite [cfd51fc2]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in testsuite [7704115]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in ghc [6eec7bc5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:18 PM Ticket #8327 (Cmm sinking does not eliminate dead code in loops) created by jstolarek
Cmm code shown in #8326 is suboptimal. For this Haskell code: […] we …
1:02 PM Newcomers edited by goldfire
(diff)
12:06 PM Changeset in ghc [03e44ee7]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up and refactor overflow checking for literals It's much easier (and more efficient) to pattern match on the HsOverLit than on the desugared version!
12:06 PM Changeset in ghc [62c4058]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Optimise (case tagToEnum# x of ..) as in Trac #8317 See Note [Optimising tagToEnum#] in Simplify
12:06 PM Changeset in ghc [8cfbdcc]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accommodate Derived constraints in two places (fix Trac #8129, #8134) If we have class (F a ~ b) => C a b then we can produce *derived* CFunEqCans. These were not being treated properly in two places: a) in TcMType.zonkFlats (Trac #8134) b) in TcSMonad.prepareInertsForImplications (Trac #8129) This patch fixes both.
12:06 PM Changeset in ghc [a5bdc6b5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A little refactoring * Make isCFunEqCan_maybe return Maybe (TyCon, [Type]) * Add insertTM, deleteTM to TrieMap
11:58 AM Ticket #8326 (Place heap checks common in case alternatives before the case) created by jstolarek
We would like to have functions that check whether an Int# is a valid …
11:27 AM Changeset in ghc [690b7e4]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow changes in [7ab62490/base] (re #7633)
11:27 AM Changeset in testsuite [5af4e9c]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow changes in [7ab62490/base] (re #7633)
11:00 AM Changeset in ghc [a4e9c7e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
11:00 AM Changeset in ghc-prim [5ab5b3d]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
10:45 AM Changeset in ghc [2c2ead5a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
10:45 AM Changeset in ghc [937fab75]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
9:14 AM Changeset in ghc [7a4c15a]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Add flag to control loopification It is off by default, which is meant to be a workaround for #8275. Once #8275 is fixed we will enable this option by default.
8:45 AM Changeset in base [7ab6249]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` annotations to typeclasses This makes use of the new `{-# MINIMAL #-}` facility (see #7633) for the following typeclasses - `Bits` - `Foldable` - `Fractional` - `Num` - `MonadZip` - `Read` - `Show` - `Storable` - `Traversable` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:45 AM Changeset in ghc [1b608a0]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` annotations to typeclasses This makes use of the new `{-# MINIMAL #-}` facility (see #7633) for the following typeclasses - `Bits` - `Foldable` - `Fractional` - `Num` - `MonadZip` - `Read` - `Show` - `Storable` - `Traversable` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:40 AM Changeset in ghc [1c5fee15]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow changes in [12a8244/ghc-prim] (#7633)
8:40 AM Changeset in testsuite [150844d]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow changes in [12a8244/ghc-prim] (#7633)
8:32 AM Changeset in ghc [b626989d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Tweaks to release notes If someone also feels that credits should better go into the release announcement, just nuke the last line of that paragraph.
7:55 AM Changeset in ghc [f900796]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Tests for MINIMAL pragma (#7633)
7:55 AM Changeset in testsuite [4867458]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Tests for MINIMAL pragma (#7633)
7:55 AM Changeset in ghc [b6d90d1]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update to new missing-method-decl warning style As a side-effect, the new `{-# MINIMAL #-}` facility (see #7633) changes the existing separate warnings for each missing method declaration: {{{ No explicit method or default declaration for ‛+’ In the instance declaration for ‛Num T’ }}} to a single warning per class of the following form: {{{ No explicit implementation for ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’ In the instance declaration for ‛Num T’ }}} This commit adapts the reference output files in the testsuite to follow this change in GHC's warnings messages. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:55 AM Changeset in testsuite [d72a4dc]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Update to new missing-method-decl warning style As a side-effect, the new `{-# MINIMAL #-}` facility (see #7633) changes the existing separate warnings for each missing method declaration: {{{ No explicit method or default declaration for ‛+’ In the instance declaration for ‛Num T’ }}} to a single warning per class of the following form: {{{ No explicit implementation for ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’ In the instance declaration for ‛Num T’ }}} This commit adapts the reference output files in the testsuite to follow this change in GHC's warnings messages. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:53 AM Changeset in ghc [bd42c9d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Implement checkable "minimal complete definitions" (#7633) This commit adds a `{-# MINIMAL #-}` pragma, which defines the possible minimal complete definitions for a class. The body of the pragma is a boolean formula of names. The old warning for missing methods is replaced with this new one. Note: The interface file format is changed to store the minimal complete definition. Authored-by: Twan van Laarhoven <twanvl@gmail.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:47 AM Changeset in ghc [b6bc3263]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Limit upper versions of Alex and Happy This is temporary until new bool primops have been pushed.
6:55 AM Changeset in ghc [d80bd87]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Fix-up Docbook XML broken in f4046b508a5a7
6:09 AM Changeset in ghc [b549d68]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` to `class Eq` and `class Ord` This makes use of the new compiler checked minimal-complete-defintion `{-# MINIMAL #-}` annotation (see #7633 for more details) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
6:09 AM Changeset in ghc-prim [12a8244]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` to `class Eq` and `class Ord` This makes use of the new compiler checked minimal-complete-defintion `{-# MINIMAL #-}` annotation (see #7633 for more details) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
2:59 AM Changeset in ghc [53b2dc8d]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Suppress unused variable when OS does not support setuid. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:53 AM Ticket #8325 (Pattern guards in anonymous functions) created by mcollis
In the course of a project, I had an idea that would allow less cumbersome …
1:56 AM Ticket #8246 (Role annotations does not allow the use of parenthesis) closed by goldfire
fixed
1:55 AM Ticket #8185 (Change role annotation syntax) closed by goldfire
fixed
1:55 AM Ticket #8234 (Remove role annotations on type synonyms) closed by goldfire
fixed
1:41 AM Changeset in ghc [1e3ca733]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Update to tests due to change in syntax for role annotations.
1:41 AM Changeset in testsuite [0b5892b]wip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Update to tests due to change in syntax for role annotations.
1:41 AM Changeset in base [e5fc2e5]ghc-7.8 by Richard Eisenberg <eir@…>
Update use of role annotations to new syntax.
1:41 AM Changeset in ghc [07101847]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Richard Eisenberg <eir@…>
Update use of role annotations to new syntax.
1:37 AM Changeset in ghc [f4046b5]ghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Change role annotation syntax. This fixes bugs #8185, #8234, and #8246. The new syntax is explained in the comments to #8185, appears in the "Roles" subsection of the manual, and on the [wiki:Roles] wiki page. This change also removes the ability for a role annotation on type synonyms, as noted in #8234.
1:20 AM Changeset in ghc [98a63b91]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Richard Eisenberg <eir@…>
Support new role annotation syntax. This reverts the change to TyVarBndr (which now has only two constructors, PlainTV and KindedTV) and adds a new Dec, RoleAnnotD. There is also an updated definition for the type Role, to allow for wildcard annotations.
12:13 AM Ticket #8324 (ghci failed on startup) created by dabraham
fred:~ danielabraham$ ghci GHCi, version 7.6.3: …
Note: See TracTimeline for information about the timeline view.