1. 23 Sep, 2005 1 commit
  2. 21 Sep, 2005 2 commits
  3. 20 Sep, 2005 2 commits
  4. 18 Sep, 2005 5 commits
  5. 16 Sep, 2005 6 commits
  6. 15 Sep, 2005 2 commits
  7. 14 Sep, 2005 2 commits
  8. 13 Sep, 2005 3 commits
  9. 12 Sep, 2005 5 commits
  10. 11 Sep, 2005 2 commits
  11. 05 Sep, 2005 2 commits
    • simonpj's avatar
      [project @ 2005-09-05 15:28:07 by simonpj] · 6ac7eb25
      simonpj authored
      GHC claims to lift the H98 restriction that a class method must not
      add a constraint on the class type variable (manual 7.4.2.1 "Class
      method types").  But the validity check was incorrect in the case
      where the class method had a forall.  E.g.
      	class C a where
      	  op :: forall b. (Show b, Show a) => ...
      
      This commit fixes the bug.
      
      tcrun037, and tcfail149, test with and without -fglasgow-exts.
      
      	MERGE TO STABLE
      6ac7eb25
    • ross's avatar
      [project @ 2005-09-05 08:22:23 by ross] · 478f7aa5
      ross authored
      add a newline after error messages
      
      MERGE to STABLE
      478f7aa5
  12. 02 Sep, 2005 1 commit
  13. 24 Aug, 2005 1 commit
  14. 22 Aug, 2005 1 commit
  15. 19 Aug, 2005 1 commit
  16. 18 Aug, 2005 3 commits
    • krasimir's avatar
      [project @ 2005-08-18 20:32:46 by krasimir] · e0963b10
      krasimir authored
      add pprInstanceHdr function. It is analogous to pprTyThingHdr and prints the
      instance but without the "-- Defined at ...." comment. The function is used in
      VStudio to populate the ClassView tree.
      e0963b10
    • simonpj's avatar
      [project @ 2005-08-18 10:25:46 by simonpj] · 70a2631a
      simonpj authored
      1. Remove redundant coerces.  Something that started life as
      	coerce a b <expr>
         might change to
      	coerct Int Int <expr>
         after the types a,b are instantiated.
      
      2. Get rid of the "bad eta expand" message. It can happen entirely legitimately.
         See comments in CoreUtils with eta_expand.
      
      	MERGE TO STABLE
      70a2631a
    • simonpj's avatar
      [project @ 2005-08-18 10:02:54 by simonpj] · 67e7de3d
      simonpj authored
      Make the forkM failure fail more tidily.  Interface-file inconsistencies
      give rise to failures in the IfM monad.  An error message is printed, but
      up to now we've also said "The impossible happened, must be a GHC bug".
      That's not true, though, it could just be messed up interface files.
      
      So this commit still makes the compiler halt, but in a tidier, less
      self-accusatory way.
      
      Still to come: when original names in interface files mention the
      package Id too, the error will become clearer still.
      
      	MERGE to STABLE
      67e7de3d
  17. 12 Aug, 2005 1 commit