1. 13 Jan, 2008 6 commits
  2. 12 Jan, 2008 7 commits
  3. 10 Jan, 2008 1 commit
  4. 09 Jan, 2008 1 commit
  5. 10 Jan, 2008 1 commit
    • simonpj@microsoft.com's avatar
      Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec · 493fd9df
      simonpj@microsoft.com authored
      The type checker doesn't support lexically scoped type variables 
      unless we are using the RelaxedPolyRec option.  Reasons: see
      Note [Scoped tyvars] in TcBinds.
      
      So I've changed DynFlags to add this implication, improved the 
      documentation, and simplified the code in TcBinds somewhat.
      (It's longer but only because of comments!)
       
      493fd9df
  6. 09 Jan, 2008 4 commits
  7. 07 Jan, 2008 4 commits
  8. 04 Jan, 2008 1 commit
  9. 06 Jan, 2008 2 commits
  10. 04 Jan, 2008 3 commits
  11. 26 Dec, 2007 3 commits
  12. 04 Jan, 2008 4 commits
  13. 03 Jan, 2008 3 commits