1. 27 Oct, 2006 2 commits
  2. 26 Oct, 2006 2 commits
  3. 25 Oct, 2006 1 commit
  4. 26 Oct, 2006 1 commit
  5. 25 Oct, 2006 7 commits
  6. 24 Oct, 2006 3 commits
    • andy@galois.com's avatar
      Haskell Program Coverage · d5934bbb
      andy@galois.com authored
      This large checkin is the new ghc version of Haskell
      Program Coverage, an expression-level coverage tool for Haskell.
      
      Parts:
      
       - Hpc.[ch] - small runtime support for Hpc; reading/writing *.tix files.
       - Coverage.lhs - Annotates the HsSyn with coverage tickboxes.
        - New Note's in Core,
            - TickBox      -- ticked on entry to sub-expression
            - BinaryTickBox  -- ticked on exit to sub-expression, depending
      	       	     -- on the boolean result.
      
        - New Stg level TickBox (no BinaryTickBoxes, though) 
      
      You can run the coverage tool with -fhpc at compile time. 
      Main must be compiled with -fhpc. 
      				      
      d5934bbb
    • Simon Marlow's avatar
      fix 5.04 compile · 33b8b60e
      Simon Marlow authored
      33b8b60e
    • Simon Marlow's avatar
      9a8c922e
  7. 23 Oct, 2006 1 commit
  8. 24 Oct, 2006 2 commits
    • Simon Marlow's avatar
      Split GC.c, and move storage manager into sm/ directory · ab0e778c
      Simon Marlow authored
      In preparation for parallel GC, split up the monolithic GC.c file into
      smaller parts.  Also in this patch (and difficult to separate,
      unfortunatley):
        
        - Don't include Stable.h in Rts.h, instead just include it where
          necessary.
        
        - consistently use STATIC_INLINE in source files, and INLINE_HEADER
          in header files.  STATIC_INLINE is now turned off when DEBUG is on,
          to make debugging easier.
        
        - The GC no longer takes the get_roots function as an argument.
          We weren't making use of this generalisation.
      ab0e778c
    • Simon Marlow's avatar
      fix a printf format warning · 2246c514
      Simon Marlow authored
      2246c514
  9. 20 Oct, 2006 1 commit
  10. 19 Oct, 2006 5 commits
  11. 24 Oct, 2006 1 commit
  12. 23 Oct, 2006 2 commits
  13. 22 Oct, 2006 1 commit
  14. 19 Oct, 2006 1 commit
  15. 22 Oct, 2006 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Fix handling of family instances in the presense of this doc stuff · f39ff24b
      chak@cse.unsw.edu.au. authored
      - Not sure whether I do the right thing, because I don't understand the
        doc stuff.  However, the original code was definitely wrong and
        breaking the renaming of family instance declarations.
      - The important point is that in
      
          data instance T pats = rhs
      
        T is *not* a defining occurence of T (similarly as C is not a defining
        occurence in "instance C Int").
      f39ff24b
  16. 21 Oct, 2006 2 commits
    • chak@cse.unsw.edu.au.'s avatar
      Fix parent position in RnNames.nubAvails · 9530e792
      chak@cse.unsw.edu.au. authored
      - `RnNames.nubAvails', which amalgamates AvailInfo items that belong to the 
        same parent, needs to be careful that the parent name occurs first if it is
        in the list of subnames at all.  (Otherwise, we can get funny export items
        in ifaces.)
      - I discovered this while debugging family import/exports, but I am pretty 
        sure the bug would also have shown up without using families under the 
        right circumstances.
      9530e792
    • chak@cse.unsw.edu.au.'s avatar
      Fix export of associated families with new name parent story · a00334cc
      chak@cse.unsw.edu.au. authored
      Given
      
        module Exp (T)
        where
      
        class C a where
          data T a :: *
      
      we need the AvailInfo for the export item to be C|{T}, not just T.
      This patch achieves that under the new name parent scheme.
      a00334cc
  17. 20 Oct, 2006 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Fix processing of imports involving ATs with the new name parent code · 4f55ec2c
      chak@cse.unsw.edu.au. authored
      Associated types in import lists require special care and the new name
      parent code broke that.  What's the problem?  in the presence of ATs
      the name parent relation can have a depth of two (not just one as in H98).
      Here is an example:
      
        class GMapKey a where
          data GMap a :: * -> *
        instance GMapKey Int where
          data GMap Int v = GMapInt ...
      
      The data constructor GMapInt's parent is GMap whose parent in turn is the 
      class GMapKey; ie, GMapKey is GMapInt's grand parent.  In H98, data types 
      have no parents (which is in some places in the code represented by making 
      them their own parent).
      
      I fixed this by extending the information in filterImport's occ_env and
      taking the case of associated types explicitly in consideration when 
      processing the various forms of IE items.
      4f55ec2c
  18. 19 Oct, 2006 4 commits
  19. 18 Oct, 2006 2 commits