1. 02 Dec, 2010 3 commits
  2. 15 Nov, 2010 1 commit
  3. 12 Nov, 2010 1 commit
    • simonpj@microsoft.com's avatar
      A (final) re-engineering of the new typechecker · c80364f8
      simonpj@microsoft.com authored
      Regression testing and user feedback for GHC 7.0 taught
      us a lot.  This patch fixes numerous small bugs, and some
      major ones (eg Trac #4484, #4492), and improves type
      error messages.
      
      The main changes are:
      
      * Entirely remove the "skolem equivalance class" stuff;
        a very useful simplification
      
      * Instead, when flattening "wanted" constraints we generate
        unification variables (not flatten-skolems) for the
        flattened type function application
      
      * We then need a fixup pass at the end, TcSimplify.solveCTyFunEqs,
        which resolves any residual equalities of form
            F xi ~ alpha
      
      * When we come across a definite failure (e.g. Int ~ [a]),
        we now defer reporting the error until the end, in case we
        learn more about 'a'.  That is particularly important for
        occurs-check errors.  These are called "frozen" type errors.
      
      * Other improvements in error message generation.
      
      * Better tracing messages
      c80364f8
  4. 22 Oct, 2010 1 commit
  5. 20 Oct, 2010 2 commits
  6. 19 Oct, 2010 3 commits
  7. 18 Oct, 2010 1 commit
  8. 15 Oct, 2010 1 commit
  9. 14 Oct, 2010 1 commit
  10. 11 Oct, 2010 1 commit
  11. 08 Oct, 2010 1 commit
  12. 15 Oct, 2010 1 commit
  13. 13 Oct, 2010 1 commit
  14. 08 Oct, 2010 2 commits
  15. 07 Oct, 2010 1 commit
  16. 06 Oct, 2010 1 commit
  17. 04 Oct, 2010 1 commit
  18. 17 Sep, 2010 2 commits
  19. 13 Sep, 2010 2 commits