1. 28 Nov, 2007 1 commit
  2. 22 Nov, 2007 1 commit
  3. 27 Nov, 2007 5 commits
  4. 26 Nov, 2007 6 commits
  5. 25 Nov, 2007 5 commits
  6. 24 Nov, 2007 6 commits
  7. 21 Nov, 2007 1 commit
  8. 24 Nov, 2007 2 commits
  9. 23 Nov, 2007 4 commits
  10. 21 Nov, 2007 1 commit
  11. 22 Nov, 2007 1 commit
  12. 21 Nov, 2007 1 commit
  13. 22 Nov, 2007 1 commit
  14. 21 Nov, 2007 3 commits
    • rl@cse.unsw.edu.au's avatar
      Teach vectorisation about Double · 1c2f1ceb
      rl@cse.unsw.edu.au authored
      1c2f1ceb
    • rl@cse.unsw.edu.au's avatar
      Vectorise polyexprs with notes · 77281075
      rl@cse.unsw.edu.au authored
      77281075
    • simonpj@microsoft.com's avatar
      Make rebindable do-notation behave as advertised · 1d1c3c72
      simonpj@microsoft.com authored
      Adopt Trac #1537.  The patch ended up a bit bigger than I expected,
      so I suggest we do not merge this into the 6.8 branch.  But there
      is no funadamental reason why not.
      
      With this patch, rebindable do-notation really does type as if you
      had written the original (>>) and (>>=) operations in desguared form.
      
      I ended up refactoring some of the (rather complicated) error-context
      stuff in TcUnify, by pushing an InstOrigin into tcSubExp and its
      various calls. That means we could get rid of tcFunResTy, and the
      SubCtxt type.  This should improve error messages slightly
      in complicated situations, because we have an Origin to hand
      to instCall (in the (isSigmaTy actual_ty) case of tc_sub1).
      
      Thanks to Pepe for the first draft of the patch.
      1d1c3c72
  15. 16 Nov, 2007 1 commit
  16. 05 Nov, 2007 1 commit