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

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

    Document the rules for pragmas that must occur at the top of a file.
    
    Please merge this patch
    simonpj@microsoft.com committed Sep 24, 2007
  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

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

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

    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
    sven.panne@aedion.de committed Sep 23, 2007
  4. Unbreak "dist" target for fresh trees

    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
    sven.panne@aedion.de committed Sep 23, 2007
Commits on Sep 21, 2007
  1. Move OPTIONS pragmas above comments

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

    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.
    Norman Ramsey committed Sep 21, 2007
  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…

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

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

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

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

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

    …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.
    simonpj@microsoft.com committed Sep 19, 2007
  4. FIX #1688: Givens in checkLoop are not that rigid after all

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

    …correctly
    simonpj@microsoft.com committed Sep 19, 2007
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

    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.
    Simon Marlow committed Sep 17, 2007
Commits on Sep 16, 2007
Commits on Sep 14, 2007
  1. attempt to fix #1391, hold locks across fork() and initialize them in…

    … the child
    Simon Marlow committed Sep 14, 2007