1. 28 Jan, 2013 6 commits
    • Simon Peyton Jones's avatar
      Comments only · 2627e626
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
      Minor pretty printing changes only · 167dfe23
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
    • Simon Peyton Jones's avatar
      Pure refactoring · f1fa6eb2
      Simon Peyton Jones authored
      * Move tidyType and friends from TcType to TypeRep
        (It was always wrong to have it in TcType.)
      * Move mkCoAxBranch and friends from FamInst to Coercion
      * Move pprCoAxBranch and friends from FamInstEnv to Coercion
      No change in functionality, though there might be a little
      wibble in error message output, because I combined two different
      functions both called pprCoAxBranch!
    • Simon Peyton Jones's avatar
      More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524 · a98e51ec
      Simon Peyton Jones authored
      Quite a bit of tidying up here; the fix to #7524 is actually
      only a small part.
      * Be fully clear that the cab_tvs in a CoAxBranch are not
        fresh.  See Note [CoAxBranch type variables] in CoAxiom.
      * Use CoAxBranch to replace the ATDfeault type in Class.
        CoAxBranch is perfect here.  This change allowed me to
        delete quite a bit of boilerplate code, including the
        corresponding IfaceSynType.
      * Tidy up the construction of CoAxBranches, and when FamIntBranch is
        freshened.  The latter onw happens only in FamInst.newFamInst.
      * Tidy the tyvars of a CoAxBranch when we build them, done in
        FamInst.mkCoAxBranch.  See Note [Tidy axioms when we build them]
        in that module.  This is what fixes #7524.
      Much niceer now.
    • Edward Z. Yang's avatar
      Fix documentation bug: TSOs are *not* unconditionally kept on the mutable list. · 6ff3c318
      Edward Z. Yang authored
      The bug where TSOs were unconditionally kept on the mutable list was #1589
      which was fixed in 04cddd33.
      Curiously enough, the commit that changed this comment
       occurred *after* this
      change was made; I can only assume Simon Marlow accidentally forgot
      that he had fixed this bug. :-)
      Signed-off-by: Edward Z. Yang's avatarEdward Z. Yang <ezyang@mit.edu>
  2. 27 Jan, 2013 5 commits
  3. 25 Jan, 2013 9 commits
  4. 24 Jan, 2013 2 commits
  5. 23 Jan, 2013 7 commits
  6. 22 Jan, 2013 10 commits
  7. 21 Jan, 2013 1 commit