1. 30 Oct, 2006 1 commit
  2. 11 Oct, 2006 1 commit
  3. 12 Oct, 2006 2 commits
  4. 11 Oct, 2006 1 commit
  5. 10 Oct, 2006 2 commits
  6. 06 Oct, 2006 1 commit
  7. 03 Oct, 2006 6 commits
  8. 19 Sep, 2006 1 commit
  9. 03 Oct, 2006 1 commit
    • simonpj@microsoft.com's avatar
      Fix scoped type variables for expression type signatures · 9da46390
      simonpj@microsoft.com authored
      I had forgotten to bring scoped type variables into scope at an expression
      type signature, such as
      	e :: forall s. <type>
      where 's' should scope over the expression e.
      
      Like everything to do with scoped type variables, fixing this took an 
      unreasonable amount of work.  I'm sure there must be a better way to 
      achitect this!
      
      I updated the user manual too.
      
      A test is tc213.
      
      It would be good to push this into 6.6.1
      9da46390
  10. 01 Oct, 2006 1 commit
  11. 29 Sep, 2006 3 commits
  12. 28 Sep, 2006 1 commit
  13. 27 Sep, 2006 2 commits
  14. 25 Sep, 2006 3 commits
  15. 23 Sep, 2006 2 commits
  16. 15 Sep, 2006 1 commit
  17. 12 Sep, 2006 1 commit
  18. 11 Sep, 2006 1 commit
  19. 08 Sep, 2006 2 commits
  20. 07 Sep, 2006 4 commits
  21. 06 Sep, 2006 1 commit
  22. 05 Sep, 2006 2 commits