1. 28 Nov, 2007 2 commits
    • simonpj@microsoft.com's avatar
      Improve pretty-printing for Insts · 12d8935e
      simonpj@microsoft.com authored
      12d8935e
    • simonpj@microsoft.com's avatar
      Reorganise TcSimplify (again); FIX Trac #1919 · 06f6f35d
      simonpj@microsoft.com authored
      This was a bit tricky.  We had a "given" dict like (d7:Eq a); then it got
      supplied to reduceImplication, which did some zonking, and emerged with
      a "needed given" (d7:Eq Int). That got everything confused.
      
      I found a way to simplify matters significantly.  Now reduceContext
      	- first deals with methods/literals/dictionaries
      	- then deals with implications
      Separating things in this way not only made the bug go away, but
      eliminated the need for the recently-added "needed-givens" results returned
      by checkLoop.  Hurrah.
      
      It's still a swamp.  But it's a bit better.
      06f6f35d
  2. 30 Nov, 2007 2 commits
  3. 28 Nov, 2007 4 commits
  4. 22 Nov, 2007 1 commit
  5. 27 Nov, 2007 5 commits
  6. 26 Nov, 2007 6 commits
  7. 25 Nov, 2007 5 commits
  8. 24 Nov, 2007 6 commits
  9. 21 Nov, 2007 1 commit
  10. 24 Nov, 2007 2 commits
  11. 23 Nov, 2007 4 commits
  12. 21 Nov, 2007 1 commit
  13. 22 Nov, 2007 1 commit