Permalink
Switch branches/tags
Commits on Sep 4, 2012
  1. Fix build

    igfoo committed Sep 4, 2012
  2. MERGED: Fix fencepost and byte/word bugs in cloneArray/copyArray (#7185)

    igfoo committed Sep 4, 2012
    From:
        commit 8aabe8d
        Author: Simon Marlow <marlowsd@gmail.com>
        Date:   Tue Aug 28 15:52:38 2012 +0100
Commits on Sep 3, 2012
  1. Revert "Reduce the likelihood of x64/x86-64 changes breaking the buil…

    igfoo committed Sep 3, 2012
    …d on other arches (#7083)."
    
    This reverts commit a2e589a.
    
    Looks like it broke the build on x86/Windows.
  2. Reduce the likelihood of x64/x86-64 changes breaking the build on oth…

    erikd committed with pcapriotti Aug 7, 2012
    …er arches (#7083).
    
    Code that needs to differentiate between i386 and x86-64 should now
    be written as if x86-64 is the default and i386 is the special case.
    Eg:
    
        # if i386_TARGET_ARCH
        someFuncion = .....
        # else
        someFuncion = .....
        # endif
    
    MERGED from commit 2f7c578
Commits on Sep 2, 2012
  1. Update ANNOUNCE for 7.6.1

    igfoo committed Sep 2, 2012
Commits on Aug 31, 2012
  1. Fix Trac #7196 by adding a case to the desugarer

    simonpj committed with pcapriotti Aug 29, 2012
    Pls merge to 7.6
    
    MERGED from commit f27c631
  2. Emit a warning for -rtsopts -shared, as well as -rtsopts -no-hs-main

    simonmar committed with pcapriotti Aug 23, 2012
    -rtsopts has no effect with -shared, so we should emit a warning.  See
     #5373 and #7177.
    
    MERGED from commit 9a3c8bd
  3. Fail earlier if there's an error in a type declaration

    simonpj committed with pcapriotti Aug 29, 2012
    This change means that we don't recover from erroneous type
    declarations, thereby reporting fewer errors.  But trying to
    recover confused GHC (leading to a pattern match failure in
    the compiler Trac #7175), and it turned out to be tricky
    to fix that.
    
    So this patch takes the more conservative path of failing
    earlier, perhaps reporting fewer real errors.
    
    MERGED from commit d0ddde5
  4. Refactor the way we infer types for functions in a mutually recursive…

    simonpj committed with pcapriotti Aug 21, 2012
    … group
    
    See Note [Impedence matching] in TcBinds.
    Fixes Trac #7173
    
    MERGED from commit 1a591a0
  5. Two small fixes to SpecConstr for functions with equality-proof args

    simonpj committed with pcapriotti Aug 23, 2012
    First, make Rules.match_co able to deal wit some modest coercions
    Second, make SpecConstr use wild-card for coercion arguments
    
    This is the rest of the fix for Trac #7165
    
    MERGED from commit b04ff2f
  6. Re-jig the reporting of names bound multiple times

    simonpj committed with pcapriotti Aug 21, 2012
    Fixes Trac #7164
    
    MERGED from commit 2c6d11f
  7. Profiling: open .prof when -hr<cc> is specified

    Takano Akio committed with pcapriotti Aug 15, 2012
    The code for retainer profiling is used with e.g. +RTS -hc -hrfoo -RTS,
    as well as with +RTS -hr -RTS.
    
    MERGED from commit 4e0a957
  8. Don't specialise on implicit-parameter arguments in Specalise

    simonpj committed with pcapriotti Aug 23, 2012
    This is a fix for Trac #7101
    
    MERGED from commit 2f08f70
  9. Fix Trac #7092, involving Template Hsakell and name shadowing

    simonpj committed with pcapriotti Aug 28, 2012
    All the mechanism was there, but it wasn't being use for the
    name-shadowing test.
    
    MERGED from commit b2e8bed
  10. Don't assume that coercion variables have (~) types

    simonpj committed with pcapriotti Aug 23, 2012
    The constraint solver doesn't zonk the types of coercion variables
    so we can't assume that a coercion variable will have a (~) type.
    
    Fixes Trac #7090.
    
    MERGED from commit d6918e9
  11. Retain ordering of finalizers during GC (#7160)

    simonmar committed with pcapriotti Aug 20, 2012
    This came up since the addition of C finalizers, since Haskell
    finalizers are already stored in an explicit list.  C finalizers on
    the other hand get a WEAK object each, so in order to run them in the
    right order we have to make sure that list stays in the correct
    order.  I hate adding new invariants, but this is the quickest way to
    fix the bug for now.  A better way to fix it would be to have a single
    WEAK object with a list of finaliers attached to it, and a primop
    for adding finalizers to the list.
    
    MERGED from commit cec899d
  12. Fix for optimizer bug on linux-powerpc (#6156).

    erikd committed with pcapriotti Aug 23, 2012
    MERGED from commit b4b7863
  13. Fix missing case in coVarsOfTcCo

    simonpj committed with pcapriotti Aug 22, 2012
    Reported by Ganesh, Trac #7178.  Fix is easy.
    
    MERGED from commit a0788a8
  14. Fix :issafe command (#7172).

    David Terei committed with pcapriotti Aug 23, 2012
    MERGED from commit 93e8ae2
  15. Improve Safe Haskell warn/error output.

    David Terei committed with pcapriotti Aug 23, 2012
    MERGED from commit 2b5b178
  16. Make badImportItem into a warning (#7167)

    pcapriotti committed Aug 23, 2012
    Also fix a bug where a dodgy import warning was emitted for data
    families with a single constructor.
    
    MERGED from commit 3d7c81a
Commits on Aug 22, 2012
  1. Numerous small changes to the constraint solver

    simonpj committed Aug 22, 2012
        The main thing is that we now keep unsolved Derived constraints in the
        wc_flats of a WantedConstraints, rather than discarding them each time.
        This actually fixes a poential (admittedly obscure) bug, when we currently
        discard a superclass constraint, and may never re-generate it, and may
        thereby miss a functional dependency.
    
        Instead, reportErrors filters out Derived constraints that we don't want
        to report.
    
        The other changes are all small refactorings following our walk-through.
    
    MERGED from commit 9c0a6bb on HEAD
  2. Allocate a fresh META unique in newMetaKindVar

    simonpj committed Aug 22, 2012
    Fixes Trac #7176 on the branch.  HEAD has a better fix
    (the big patch to untouchable handling)
Commits on Aug 20, 2012
  1. Use TcMType.growThetaTyVars (which works) rather than TcSimplify.grow…

    simonpj committed with pcapriotti Aug 15, 2012
    …Preds (which doesn't)
    
    I think this got left behind when we simplified and improved TcSimplify.  The effect
    was that we had a function like
       class P a b | a -> b
       class Q b c | b -> c
    
       f :: (P a b, Q b c) => a -> a
    
    and were were failing to quanitfy over 'c', even though it is (indirectly) determined
    by 'a'.
    
    This make Programatica fail to compile: Trac #7147
    
    MERGED from commit de07bf2
  2. Allow a vew pattern or bang pattern in a record pattern.

    Takano Akio committed with pcapriotti Aug 16, 2012
    e.g.
            data T = MkT { x,y :: Int }
    
            f (MkT { x = !v, y = negate -> w }) = v + w
    
    MERGED from commit 41c7342
  3. Fix environment update for type instance declarations in GHCi (#7117)

    pcapriotti committed Aug 13, 2012
    Patch by Patrick Palka <patrick@parcs.ath.cx>
    
    MERGED from commit 700d287
Commits on Aug 15, 2012
  1. Require DataKinds for promoted list/tuple syntax in types

    simonpj committed with pcapriotti Aug 15, 2012
    Fixes Trac #7151
    
    MERGED from commit 72e7f57
  2. Fix Trac #7145, by recording uses of constructor "children" in export…

    simonpj committed with pcapriotti Aug 15, 2012
    … lists
    
    MERGED from commit 10377bb
  3. Test FlexibleInstance not UndecidableInstances in the ambiguity check

    simonpj committed with pcapriotti Aug 15, 2012
    Fixes Trac #7131
    
    MERGED from commit f7b096e
  4. Fix Trac #7128, by zonking kind varaibles more assiduously when typec…

    simonpj committed with pcapriotti Aug 14, 2012
    …hecking a class declaration
    
    MERGED from commit e949162
  5. TH: Pragmas refactoring.

    mvv committed with pcapriotti Jul 10, 2012
    Also adds RULES and 'SPECIALIZE instance' support.
    
    MERGED from commit 1993ee4