1. 02 Jan, 2010 4 commits
  2. 29 Dec, 2009 2 commits
  3. 23 Nov, 2009 1 commit
  4. 03 Jan, 2010 1 commit
  5. 04 Jan, 2010 1 commit
    • simonpj@microsoft.com's avatar
      Substantial improvements to coercion optimisation · b06d623b
      simonpj@microsoft.com authored
      The main purpose of this patch is to add a bunch of new rules
      to the coercion optimiser.  They are documented in the (revised)
      Appendix of the System FC paper.  
      
      Some code has moved about:
      
      - OptCoercion is now a separate module, mainly because it
        now uses tcMatchTy, which is defined in Unify, so OptCoercion
        must live higehr up in the hierarchy
      
      - Functions that manipulate Kinds has moved from 
        Type.lhs to Coercion.lhs.  Reason: the function typeKind
        now needs to call coercionKind.  And in any case, a Kind is
        a flavour of Type, so it builds on top of Type; indeed Coercions
        and Kinds are both flavours of Type.
      
        This change required fiddling with a number of imports, hence
        the one-line changes to otherwise-unrelated modules
      
      - The representation of CoTyCons in TyCon has changed.   Instead of
        an extensional representation (a kind checker) there is now an
        intensional representation (namely TyCon.CoTyConDesc).  This was
        needed for one of the new coercion optimisations.
      b06d623b
  6. 02 Jan, 2010 1 commit
  7. 31 Dec, 2009 5 commits
  8. 18 Dec, 2009 1 commit
  9. 13 Dec, 2009 1 commit
    • Simon Marlow's avatar
      If ACTIVITY_INACTIVE is set, wait for GC before resetting it · 5308c042
      Simon Marlow authored
      I don't think this fixes any real bugs, but there's a small
      possibility that when the RTS is woken up for an idle-time GC, the IO
      manager thread might be pre-empted which would prevent the idle GC
      from happening; this change ensures that the idle GC happens anyway.
      5308c042
  10. 30 Dec, 2009 1 commit
  11. 22 Dec, 2009 2 commits
  12. 21 Dec, 2009 5 commits
  13. 18 Dec, 2009 9 commits
  14. 21 Dec, 2009 2 commits
  15. 17 Dec, 2009 3 commits
  16. 19 Dec, 2009 1 commit