Permalink
Commits on Sep 25, 2007
  1. fix to previous fix to THUNK_SELECTOR machinery

    Simon Marlow committed Sep 25, 2007
    It turns out I didn't get it quite right in the case of compacting
    collection.  This should make it work again.
Commits on Sep 24, 2007
  1. Be more specific about file-header pragmas

    simonpj@microsoft.com committed Sep 24, 2007
    Document the rules for pragmas that must occur at the top of a file.
    
    Please merge this patch
  2. comments only: point to relevant bug reports

    Simon Marlow committed Sep 24, 2007
Commits on Sep 23, 2007
  1. Notice when C modules have changed when deciding whether or not to link

    igfoo committed Sep 23, 2007
    Based on a patch from Lemmih
  2. Whitespace changes only

    igfoo committed Sep 23, 2007
  3. Fix bug #1725 (Haddock links between packages)

    sven.panne@aedion.de committed Sep 23, 2007
    Resolving this bug is a bit tricky, it boils down to the question: Should the
    Haddock links between packages include the package version or not?
    
    Pro: We can differentiate between various versions of the same package,
    installed all at once. (How often does this really happen in practice?)
    
    Cons: When package A refers to a package B, and B is later upgraded, links
    in A's documentation will break. Furthermore, if an *additional* version of
    B is installed, which version should A refer to?
    
    Because IMHO it is not clear what to do when version numbers are included,
    let's leave them out. If somebody has a better idea, feel free to submit a
    better patch.
    
    MERGE TO STABLE
  4. Unbreak "dist" target for fresh trees

    sven.panne@aedion.de committed Sep 23, 2007
    The previous hack to include Parser.hs in source distros broke the possibility
    of doing a "make dist" in a fresh tree, i.e. one which has just been checked
    out and configured, but *not* built. Of course you will need Happy for such a
    source distro later, but at least the freedom to do this is important.
    
    The ultimate goal should be that something like "make dist" will work in a
    freshly checked out tree, with no prerequisite steps (this is very common in
    most projects). We should move towards that goal, not away from it...
    
    
    MERGE TO STABLE
Commits on Sep 21, 2007
  1. Move OPTIONS pragmas above comments

    igfoo committed Sep 21, 2007
    Fixes building with -Werror (i.e. validate) and GHC < 6.6
  2. massive convulsion in ZipDataflow

    Norman Ramsey committed Sep 21, 2007
    After my talk, I got the idea of 'shallow rewriting' for the
    dataflow framework.  Here it is implemented, along with
    some related ideas late making Graph and not LGraph primary.
    
    The only bad thing is that the whole bit is stitched together
    out of ill-fitting pieces, kind of like Frankenstein's monster.
    A new ZipDataflow will rise out of the ashes.
  3. incomplete start on set of intervals for stack model

    Norman Ramsey committed Sep 21, 2007
Commits on Sep 20, 2007
  1. make stamp.inplace-gcc-lib copy $(LD) instead of $(GccDir)ld.exe to a…

    shelarcy committed Sep 20, 2007
    …void building problem
  2. Removed duplicate entry for derbugging flag -ddump-tc from the user g…

    v.dijk.bas@gmail.com committed Sep 20, 2007
    …uide
  3. Fix Trac #1718: interaction of error, unlifted tuples, and casts

    simonpj@microsoft.com committed Sep 20, 2007
    See Note [Float coercions (unlifted)] in Simplify
    
    Test is simpl018
Commits on Sep 19, 2007
  1. Small changes to mk-ing flow graphs

    simonpj@microsoft.com committed Sep 19, 2007
    - ZipCfg: add mkBlockId :: Unique -> BlockId
    - MkZipCfg: change sequence --> catAGrpahs
    - MkZipCfgCmm: add mkCmmIfThen
    
    Not fully validated, but I don't think anything will break
  2. Mostly comments, following NR/SPJ meeting

    simonpj@microsoft.com committed Sep 19, 2007
  3. Fix exponential-time behaviour with type synonyms; rename -XPartially…

    simonpj@microsoft.com committed Sep 19, 2007
    …AppliedTypeSynonyms to -XLiberalTypeSynonyms
    
    Fixes exponential behaviour present in GHC 6.6!
    
    I renamed the flag because the old (not very old) name wasn't
    describing what it does.
  4. FIX #1688: Givens in checkLoop are not that rigid after all

    mchakravarty committed Sep 19, 2007
    - This patch re-instates the policy of 6.6.1 to zonk the given constraints
      in the simplifier loop.
    
    MERGE TO STABLE
  5. Make the error message mentioning -XPatternSignatures spell the flag …

    simonpj@microsoft.com committed Sep 19, 2007
    …correctly
Commits on Sep 18, 2007
  1. Install extra-gcc-opts in bindists

    igfoo committed Sep 18, 2007
  2. Add validate.mk to .darcs-boring

    igfoo committed Sep 18, 2007
Commits on Sep 17, 2007
  1. FIX #1038: failure of selector-thunk machinery to do its job

    Simon Marlow committed Sep 17, 2007
    After a couple of abortive attempts, I think I've got this right.
    When the GC sees a chain of the form 
    
       snd (_, snd (_, snd (_, ...)))
    
    it can now deal with an arbitrary nesting depth, whereas previously it
    had a depth limit which was necessitated by the use of recursion.  Now
    we chain all the selector thunks together in the heap, and go back and
    update them all when we find the value at the end of the chain.
    
    While I was here I removed some old cruft in eval_thunk_selector()
    which was carefully manintaing invariants that aren't necessary any
    more, the main one being that evacuate() can safely be passed a
    to-space pointer now.
    
    In addition to validate I've tested building a stage3 compiler with
    and without +RTS -c, so I'm reasonably sure this is safe.
Commits on Sep 16, 2007
Commits on Sep 14, 2007
  1. attempt to fix #1391, hold locks across fork() and initialize them in…

    Simon Marlow committed Sep 14, 2007
    … the child