1. 14 Nov, 2009 5 commits
  2. 11 Nov, 2009 1 commit
  3. 10 Nov, 2009 1 commit
  4. 06 Nov, 2009 1 commit
    • Ben.Lippmeier@anu.edu.au's avatar
      Break recursive imports between the RTS and base library on Windows. · 02d8f553
      Ben.Lippmeier@anu.edu.au authored
      The file rts/win32/libHSbase.def contains a list of all the 
      symbols from the base library that the RTS needs. 
      When building the RTS into a DLL on Windows, we want to link the DLL
      for the RTS before we link the DLL for the base library. We use 
      libHSbase.def to make the "import library" libHSbase.so.a, which 
      contains stubs for each of the symbols from the base library that
      the RTS needs.
  5. 18 Nov, 2009 4 commits
  6. 17 Nov, 2009 3 commits
  7. 16 Nov, 2009 2 commits
  8. 13 Nov, 2009 1 commit
  9. 17 Nov, 2009 4 commits
  10. 15 Nov, 2009 1 commit
  11. 13 Nov, 2009 2 commits
  12. 12 Nov, 2009 1 commit
  13. 13 Nov, 2009 2 commits
  14. 12 Nov, 2009 5 commits
  15. 11 Nov, 2009 1 commit
    • Simon Marlow's avatar
      Second attempt to fix #1185 (forkProcess and -threaded) · 2d5e052d
      Simon Marlow authored
      Patch 1/2: second part of the patch is to libraries/base
      This time without dynamic linker hacks, instead I've expanded the
      existing rts/Globals.c to cache more CAFs, specifically those in
      GHC.Conc.  We were already using this trick for signal handlers, I
      should have realised before.
      It's still quite unsavoury, but we can do away with rts/Globals.c in
      the future when we switch to a dynamically-linked GHCi.
  16. 12 Nov, 2009 3 commits
    • simonpj@microsoft.com's avatar
      A radical overhaul of the coercion infrastucture · cd0e2c0c
      simonpj@microsoft.com authored
      * Core Lint now does full checking of kinds and coercion terms
        which picks up kind errors in coercions that were previously
        simply not checked for
      * Coercion.lhs now provides optCoercion which optimises coercion
        terms.  It implements all of Dimitrios's rules
      * The constructors for coercion terms now make no attempt to be
        "smart"; instead we rely solely on the coercion optimiser
      * CoercionTyCons in TyCon.lhs always had a "custom" kinding rule
        (the coKindFun field of CoercionTyCon) but its type was not 
        clever enough to do both 
           (a) *figure out the result kind*, assuming the whole thing
               is well-kinded in the first place
           (b) *check* the kinds of everything, failing gracefully if
               they aren't right. 
        We need (b) for the new CoreLint stuff. The field now has type
        which does the job nicely.
    • simonpj@microsoft.com's avatar
      Improve warning message · 74bc2267
      simonpj@microsoft.com authored
    • simonpj@microsoft.com's avatar
  17. 05 Nov, 2009 1 commit
    • dias@cs.tufts.edu's avatar
      Loop problems in native back ends, update to T3286 fix · c55eee3a
      dias@cs.tufts.edu authored
      The native back ends had difficulties with loops;
      in particular the code for branch-chain elimination
      could run in infinite loops or drop basic blocks.
      The old codeGen didn't expose these problems.
      Also, my fix for T3286 in the new codegen was getting
      applied to too many (some wrong) cases; a better pattern
      match fixed that.
  18. 18 Sep, 2009 2 commits