1. 13 Dec, 2007 2 commits
  2. 12 Dec, 2007 2 commits
  3. 13 Dec, 2007 1 commit
  4. 14 Dec, 2007 2 commits
  5. 04 Dec, 2007 1 commit
  6. 13 Dec, 2007 6 commits
  7. 12 Dec, 2007 1 commit
  8. 06 Dec, 2007 3 commits
  9. 05 Dec, 2007 6 commits
  10. 10 Dec, 2007 1 commit
  11. 08 Dec, 2007 6 commits
  12. 07 Dec, 2007 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Properly keep track of whether normalising given or wanted dicts · b6d08641
      chak@cse.unsw.edu.au. authored
      - The information of whether given or wanted class dictionaries where
        normalised by rewriting wasn't always correctly propagated in TcTyFuns,
        which lead to malformed dictionary bindings.
      - Also fixes a bug in TcPat.tcConPat where GADT equalities where emitted in
        the wrong position in case bindings (which led to CoreLint failures).
      b6d08641
  13. 20 Nov, 2007 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      TcPat.tcConPat uses equalities instead of GADT refinement · a003ad80
      chak@cse.unsw.edu.au. authored
      * This patch implements the use of equality constraints instead of GADT
        refinements that we have been discussing for a while.
      * It just changes TcPat.tcConPat.  It doesn't have any of the simplification
        and dead code removal that is possible due to this change.
      * At the moment, this patch breaks a fair number of GADT regression tests.
      a003ad80
  14. 07 Dec, 2007 1 commit
  15. 05 Dec, 2007 3 commits
  16. 07 Dec, 2007 1 commit
  17. 05 Dec, 2007 1 commit
  18. 03 Dec, 2007 1 commit