1. 18 Sep, 2008 9 commits
  2. 17 Sep, 2008 7 commits
  3. 16 Sep, 2008 1 commit
  4. 18 Sep, 2008 4 commits
  5. 17 Sep, 2008 5 commits
  6. 16 Sep, 2008 3 commits
  7. 15 Sep, 2008 2 commits
  8. 14 Sep, 2008 2 commits
  9. 13 Sep, 2008 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Type families: completed the new equality solver · e8917205
      chak@cse.unsw.edu.au. authored
      - Implements normalisation of class constraints containing synonym family
        applications or skolems refined by local equalities.
      - Clean up of TcSimplify.reduceContext by using the new equality solver.
      - Removed all the now unused code of the old algorithm.
      - This completes the implementation of the new algorithm, but it is largely
        untested => many regressions.
      e8917205
  10. 16 Sep, 2008 1 commit
  11. 15 Sep, 2008 1 commit
  12. 14 Sep, 2008 2 commits
  13. 16 Sep, 2008 2 commits