1. 28 Jul, 2003 8 commits
    • moran's avatar
      [project @ 2003-07-28 16:16:07 by moran] · 09a17f7a
      moran authored
      Fix multi-slurp protection (#define was missing).  (No I don't go around
      looking at header files for minor problems like this; I was actually trying to
      remind myself how to do it, and this was the first place I looked :-)
      09a17f7a
    • simonmar's avatar
      [project @ 2003-07-28 16:05:30 by simonmar] · 387a411e
      simonmar authored
      Disable update-in-place.  In its current form, it has a serious bug:
      if the thunk being updated happens to have turned into a BLACKHOLE_BQ,
      then the mutable list will be corrupted by the update.
      
      Disabling update-in-place has some performance implications: many
      programs are not affected, but one program in nofib (nucleic2) goes
      about 20% slower.  However, I can get it to go 300% faster by adding a
      few strictness annotations and compiling with -funbox-strict-fields.
      387a411e
    • simonmar's avatar
      [project @ 2003-07-28 15:59:09 by simonmar] · cc19a5c8
      simonmar authored
      Comments only: the TICK_UPD_*_IN_PLACE aren't relevant any more.
      cc19a5c8
    • simonmar's avatar
      [project @ 2003-07-28 15:57:40 by simonmar] · 8480d768
      simonmar authored
      TICK_UPD_CON_IN_NEW() in the update code is wrong now, because it
      could be a PAP, not just a CON.
      8480d768
    • simonpj's avatar
      [project @ 2003-07-28 13:31:37 by simonpj] · ce136f8b
      simonpj authored
      Reorganise the type-system-extension part of GlaExts docs
      ce136f8b
    • simonpj's avatar
      [project @ 2003-07-28 12:04:27 by simonpj] · ea067762
      simonpj authored
      --------------------------
        Fix an obscure but long-standing bug in Type.applyTys
      	   --------------------------
      
      The interesting case, which previously killed GHC 6.0, is this
      	applyTys (forall a.a) [forall b.b, Int]
      This really can happen, via dressing up polymorphic types with newtype
      clothing.  Here's an example:
      	newtype R = R (forall a. a->a)
      	foo = case undefined :: R of
      
      Test simplCore/should_compile/simpl0009 uses this as a test case.
      ea067762
    • simonpj's avatar
      [project @ 2003-07-28 10:22:58 by simonpj] · eef96a79
      simonpj authored
      Comments only
      eef96a79
    • simonmar's avatar
      [project @ 2003-07-28 09:01:58 by simonmar] · b3e58b41
      simonmar authored
      Fix previous patch (backslashes required in multi-line macro defns).
      b3e58b41
  2. 25 Jul, 2003 3 commits
  3. 24 Jul, 2003 18 commits
  4. 23 Jul, 2003 11 commits