1. 14 May, 2012 2 commits
    • pcapriotti's avatar
      Use pprInfixName in pprInfo (#6091) · 6406cd29
      pcapriotti authored
      Surround a name in backticks when printing an infix declaration in GHCi.
      6406cd29
    • Simon Peyton Jones's avatar
      Fix the the pure unifier so that it unifies kinds · 6c3045b9
      Simon Peyton Jones authored
      When unifying two type variables we must unify their kinds.
      The pure *matcher* was doing so, but the pure *unifier* was not.
      This patch fixes Trac #6015, where an instance lookup was failing
      when it should have succeeded.
      
      I removed a bunch of code aimed at support sub-kinding. It's
      tricky, ad-hoc, and I don't think its necessary any more.
      Anything we can do to simplify the sub-kinding story is welcome!
      6c3045b9
  2. 11 May, 2012 4 commits
  3. 10 May, 2012 2 commits
  4. 09 May, 2012 10 commits
  5. 08 May, 2012 3 commits
  6. 07 May, 2012 8 commits
  7. 06 May, 2012 5 commits
  8. 05 May, 2012 2 commits
  9. 04 May, 2012 4 commits