1. 19 Aug, 2014 1 commit
  2. 31 Jul, 2014 1 commit
    • Simon Peyton Jones's avatar
      Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242) · 1ae5fa45
      Simon Peyton Jones authored
      * Deprecate -XOverlappingInstances
      
      * Update test suite.  Several tests even had entirely unnecessary
        uses of -XOverlappingInstances
      
      * Update user manual with a careful description of the instance
        resolution story
      
      * Fix an outright bug in the handling of duplidate instances in GHCi,
        which are meant to silently overwrite the earlier duplicate. The
        logic was right for family instances but was both more complicated,
        and plain wrong, for class instances.  (If you are interested, the
        bug was that we were eliminating the duplicate from the InstEnv, but
        not from the [ClsInst] held in tcg_insts.)  Test is ghci044a.
      1ae5fa45
  3. 07 Jul, 2014 1 commit
  4. 07 Jun, 2014 2 commits
  5. 06 Jun, 2014 2 commits
  6. 03 Jun, 2014 1 commit
    • Simon Peyton Jones's avatar
      Do pretty-printing of TyThings via IfaceDecl (Trac #7730) · b4856f9f
      Simon Peyton Jones authored
      All the initial work on this was done fy 'archblob' (fcsernik@gmail.com);
      thank you!
      
      I reviewed the patch, started some tidying, up and then ended up in a huge
      swamp of changes, not all of which I can remember now.  But:
      
      * To suppress kind arguments when we have -fno-print-explicit-kinds,
          - IfaceTyConApp argument types are in a tagged list IfaceTcArgs
      
      * To allow overloaded types to be printed with =>, add IfaceDFunTy to IfaceType.
      
      * When printing data/type family instances for the user, I've made them
        print out an informative RHS, which is a new feature. Thus
              ghci> info T
              data family T a
              data instance T Int = T1 Int Int
              data instance T Bool = T2
      
      * In implementation terms, pprIfaceDecl has just one "context" argument,
        of type IfaceSyn.ShowSub, which says
             - How to print the binders of the decl
               see note [Printing IfaceDecl binders] in IfaceSyn
             - Which sub-comoponents (eg constructors) to print
      
      * Moved FastStringEnv from RnEnv to OccName
      
      It all took a ridiculously long time to do.  But it's done!
      b4856f9f
  7. 10 May, 2014 1 commit
    • Joachim Breitner's avatar
      Require transformers for T5979 · 3abf949b
      Joachim Breitner authored
      in order to get a reliable error message
      (although the error message could be improved anyways to mention the
      explicit package the module is imported with.)
      3abf949b
  8. 03 Apr, 2014 1 commit
  9. 23 Mar, 2014 1 commit
  10. 22 Mar, 2014 2 commits
  11. 21 Mar, 2014 1 commit
  12. 16 Mar, 2014 1 commit
  13. 14 Mar, 2014 1 commit
  14. 24 Feb, 2014 1 commit
  15. 17 Jan, 2014 1 commit
  16. 10 Jan, 2014 1 commit
  17. 03 Jan, 2014 2 commits
  18. 02 Jan, 2014 1 commit
  19. 18 Nov, 2013 1 commit
  20. 29 Oct, 2013 1 commit
  21. 23 Oct, 2013 1 commit
  22. 04 Oct, 2013 2 commits
  23. 03 Oct, 2013 1 commit
  24. 02 Oct, 2013 1 commit
  25. 03 Sep, 2013 1 commit
  26. 27 Aug, 2013 1 commit
  27. 24 Aug, 2013 1 commit
  28. 15 Aug, 2013 1 commit
  29. 14 Jun, 2013 1 commit
  30. 07 Jun, 2013 1 commit
  31. 27 May, 2013 1 commit
  32. 02 May, 2013 2 commits
  33. 22 Apr, 2013 1 commit
  34. 16 Apr, 2013 1 commit