1. 21 Oct, 2008 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      FIX #2693 · fbbd2bfa
      chak@cse.unsw.edu.au. authored
      - As long as the first reduceContext in tcSimplifyRestricted potentially
        performs improvement, we need to zonk again before the second reduceContext.
        It would be better to prevent the improvement in the first place, but given
        the current situation zonking is definitely the right thing to do.
      
        MERGE TO 6.10
      fbbd2bfa
  2. 20 Oct, 2008 1 commit
  3. 21 Oct, 2008 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      FIX #2688 · e47c481d
      chak@cse.unsw.edu.au. authored
      - Change in TcSimplify.reduceContext:
      
           We do *not* go around for new extra_eqs.  Morally, we should,
           but we can't without risking non-termination (see #2688).  By
           not going around, we miss some legal programs mixing FDs and
           TFs, but we never claimed to support such programs in the
           current implementation anyway.
      
        MERGE TO 6.10
      e47c481d
  4. 14 Oct, 2008 4 commits
  5. 20 Oct, 2008 4 commits
  6. 16 Oct, 2008 2 commits
  7. 19 Oct, 2008 1 commit
  8. 17 Oct, 2008 1 commit
  9. 15 Oct, 2008 3 commits
  10. 14 Oct, 2008 1 commit
  11. 15 Oct, 2008 3 commits
  12. 14 Oct, 2008 3 commits
  13. 13 Oct, 2008 1 commit
  14. 14 Oct, 2008 1 commit
  15. 13 Oct, 2008 2 commits
    • Thomas Schilling's avatar
      Add 'etags' makefile target. · e48d901d
      Thomas Schilling authored
      This only works with stage2 since `ghctags' is built against stage1
      but not against the bootstrapping compiler.  Also note that all of GHC
      must typecheck for this target to succeed.  Perhaps we should not
      overwrite the old TAGS file by default then.
      e48d901d
    • Thomas Schilling's avatar
      Use cabal information to get GHC's flags to `ghctags'. · 7fb94f75
      Thomas Schilling authored
      By giving the dist-directory to ghctags we can get all the GHC API
      flags we need in order to load the required modules.  The flag name
      could perhaps be improved, but apart from that it seems to work well.
      7fb94f75
  16. 14 Oct, 2008 1 commit
  17. 13 Oct, 2008 10 commits