1. 26 Aug, 2009 3 commits
  2. 25 Aug, 2009 1 commit
  3. 24 Aug, 2009 2 commits
  4. 20 Aug, 2009 1 commit
  5. 25 Aug, 2009 3 commits
  6. 24 Aug, 2009 3 commits
  7. 21 Aug, 2009 2 commits
  8. 24 Aug, 2009 1 commit
  9. 23 Aug, 2009 1 commit
  10. 22 Aug, 2009 1 commit
  11. 21 Aug, 2009 5 commits
  12. 20 Aug, 2009 1 commit
  13. 21 Aug, 2009 3 commits
    • simonpj@microsoft.com's avatar
      Another tiny tidy-up to RnPat · 8ec97816
      simonpj@microsoft.com authored
      8ec97816
    • simonpj@microsoft.com's avatar
      Fix Trac #3437: strictness of specialised functions · ef5376d5
      simonpj@microsoft.com authored
      'lilac' helpful pin-pointed a space leak that was due to a specialised
      function being insufficiently strict.  Here's the new comment in SpecConstr:
      
      Note [Transfer strictness]
      ~~~~~~~~~~~~~~~~~~~~~~~~~~
      We must transfer strictness information from the original function to
      the specialised one.  Suppose, for example
      
        f has strictness     SS
              and a RULE     f (a:as) b = f_spec a as b
      
      Now we want f_spec to have strictess  LLS, otherwise we'll use call-by-need
      when calling f_spec instead of call-by-value.  And that can result in 
      unbounded worsening in space (cf the classic foldl vs foldl')
      
      See Trac #3437 for a good example.
      
      The function calcSpecStrictness performs the calculation.
      
      ef5376d5
    • simonpj@microsoft.com's avatar
      Wibbles to field-label puns · f7df28a4
      simonpj@microsoft.com authored
      f7df28a4
  14. 20 Aug, 2009 13 commits
    • Ian Lynagh's avatar
      Fix library installation; fixes #3374 · 0a594fab
      Ian Lynagh authored
      When configuring packages, enable library profiling and shared libraries
      based on the ways in GhcLibWays.
      0a594fab
    • Ian Lynagh's avatar
      Escape some $s in makefiles for consistency · 7f9e7631
      Ian Lynagh authored
      7f9e7631
    • simonpj@microsoft.com's avatar
      Wibble to RnPat refactoring · 18b8ff4f
      simonpj@microsoft.com authored
      18b8ff4f
    • Simon Marlow's avatar
      Rollback: use cas() to claim the closure in copyPart(), to match copy_tag() · 0a19869b
      Simon Marlow authored
      rolling back:
      
        * use cas() to claim the closure in copyPart(), to match copy_tag()
        * rename whitehole_spin to evac_collision, and update it properly
      
      This introduced a new failure in parallel GC.  I'll rollback for now
      until I've fixed it.
      0a19869b
    • Simon Marlow's avatar
      Relax the assumption that all objects fit in a single block (#3424) · b99af863
      Simon Marlow authored
      It is possible for the program to allocate single object larger than a
      block, without going through the normal large-object mechanisms that
      we have for arrays and threads and so on.  
      
      The GC was assuming that no object was larger than a block, but #3424
      contains a program that breaks the assumption.  This patch removes the
      assumption.  The objects in question will still be copied, that is
      they don't get the normal large-object treatment, but this case is
      unlikely to occur often in practice.
      
      In the future we may improve things by generating code to allocate
      them as large objects in the first place.
      b99af863
    • Simon Marlow's avatar
      remove a bogus assertion · 0f38effb
      Simon Marlow authored
      0f38effb
    • Simon Marlow's avatar
      Restore the GHC version check · efc0f420
      Simon Marlow authored
      I'm not sure what happened here, but the ordering of tests was messed
      up, with the result that the GHC version check was being omitted.
      efc0f420
    • Simon Marlow's avatar
      fix the inplace runghc · ff29c975
      Simon Marlow authored
      It was invoking $(TOP)/inplace/bin/ghc rather than
      $(TOP)/inplace/bin/ghc-stage2
      ff29c975
    • Simon Marlow's avatar
    • simonpj@microsoft.com's avatar
      Improvements to record puns, wildcards · d64022dc
      simonpj@microsoft.com authored
      * Make C { A.a } work with punning, expanding to C { A.a = a }
      
      * Make it so that, with -fwarn-unused-matches, 
              f (C {..}) = x
        does not complain about the bindings introduced by the "..".
      
      * Make -XRecordWildCards implies -XDisambiguateRecordFields.
      
      * Overall refactoring of RnPat, which had become very crufty. 
        In particular, there is now a monad, CpsRn, private to RnPat,
        which deals with the cps-style plumbing.  This is why so many
        lines of RnPat have changed.
      
      * Refactor the treatment of renaming of record fields into two passes
      	- rnHsRecFields1, used both for patterns and expressions,
      	     which expands puns, wild-cards
        	- a local renamer in RnPat for fields in patterns
      	- a local renamer in RnExpr for fields in construction and update
        This make it all MUCH easier to understand
       
      * Improve documentation of record puns, wildcards, and disambiguation
      d64022dc
    • simonpj@microsoft.com's avatar
      Make -dppr-debug print locations in HsSyn · 4a84e214
      simonpj@microsoft.com authored
      Show SrcSpans for Located things might be overkill, but it's sometimes
      useful.
      
      I also added
        ppWhen, ppUnless :: Bool -> SDoc -> SDoc
      to Outputable
      4a84e214
    • Simon Marlow's avatar
      Make -dynamic a proper way, so we read the .dyn_hi files · 740618f2
      Simon Marlow authored
      Also, I cleaned up some of the way-related infrastructure, removing
      two global variables.  
      
      There's more that could be done here, but it's a start.  The way flags
      probably don't need to be static any more.
      740618f2
    • Simon Marlow's avatar
      fix warning · b0758d03
      Simon Marlow authored
      b0758d03