1. 27 Jul, 2011 4 commits
  2. 25 Jul, 2011 6 commits
  3. 24 Jul, 2011 1 commit
  4. 23 Jul, 2011 9 commits
    • Ian Lynagh's avatar
      Remove prototype to mut_user_time_during_GC · 5c6e293d
      Ian Lynagh authored
      The function no longer exists.
      5c6e293d
    • Ian Lynagh's avatar
      Fix heap profiling times · 4f8cfaf9
      Ian Lynagh authored
      Now that the heap census runs in the middle of garbage collections,
      the "CPU time" it was calculating included any CPU time used so far
      in the current GC. This could cause CPU time to appear to go down,
      which means hp2ps complained about "samples out of sequence".
      
      I'm not sure if this is the nicest way to solve this (maybe resurrecting
      mut_user_time_during_GC would be better?) but it gets things working again.
      4f8cfaf9
    • Ian Lynagh's avatar
      Add rules for Integer constant folding · 2b42de78
      Ian Lynagh authored
      2b42de78
    • Simon Peyton Jones's avatar
      A nice tidy-up for CvSubst and liftCoSubst · 525aca2c
      Simon Peyton Jones authored
      A "lifting substitition" takes a *type* to a *coercion*, using a
      substitution that takes a *type variable* to a *coercion*.  We were
      using a CvSubst for this purpose, which was an awkward exception: in
      every other use of CvSubst, type variables map only to types.
      
      Turned out that Coercion.liftCoSubst is quite a small function, so I
      rewrote it with a special substitution type Coercion.LiftCoSubst, just
      for that purpose.  In doing so I found that the function itself was
      bizarrely over-complicated ... a direct result of mis-using CvSubst.
      
      So this patch makes it all simpler, faster, and easier to understand.
      No bugs fixed though!
      525aca2c
    • Simon Peyton Jones's avatar
      Reject bad 'deriving' directives (fixes Trac #5287) · 49861e71
      Simon Peyton Jones authored
      The 'deriving' mechanism that infers the context for
      an instance declarations was going into a loop, as a
      result of an instance like
             instance C a b => D [a]
      where the 'b' isn't mentioned in the head.
      
      This patch identifies those cases.  I also needed to make
      TcErrors generate a suitable error message.  On the way
      I improved the reporting of "ambiguous" variables;
      for example arrowfail001 now generates a better message.
      49861e71
    • Ian Lynagh's avatar
      Fix build · 12f0c84a
      Ian Lynagh authored
      12f0c84a
    • Ian Lynagh's avatar
      Whitespace only in prelude/PrelNames.lhs · d4931356
      Ian Lynagh authored
      d4931356
    • Ian Lynagh's avatar
      Remove some more dead code · 6d44d58e
      Ian Lynagh authored
      6d44d58e
    • Ian Lynagh's avatar
      Remove some unused IdKeys · 46906192
      Ian Lynagh authored
      46906192
  5. 22 Jul, 2011 9 commits
  6. 21 Jul, 2011 11 commits