1. 04 Dec, 2007 1 commit
  2. 13 Dec, 2007 6 commits
  3. 12 Dec, 2007 1 commit
  4. 06 Dec, 2007 3 commits
  5. 05 Dec, 2007 6 commits
  6. 10 Dec, 2007 1 commit
  7. 08 Dec, 2007 6 commits
  8. 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
  9. 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
  10. 07 Dec, 2007 1 commit
  11. 05 Dec, 2007 3 commits
  12. 07 Dec, 2007 1 commit
  13. 05 Dec, 2007 1 commit
  14. 03 Dec, 2007 2 commits
  15. 07 Dec, 2007 1 commit
  16. 02 Dec, 2007 2 commits
  17. 07 Dec, 2007 1 commit
  18. 06 Dec, 2007 2 commits