1. 11 Jun, 2013 1 commit
  2. 10 May, 2013 1 commit
  3. 26 Apr, 2013 4 commits
  4. 25 Apr, 2013 1 commit
  5. 16 Mar, 2013 1 commit
  6. 15 Mar, 2013 1 commit
  7. 13 Mar, 2013 1 commit
  8. 11 Mar, 2013 1 commit
  9. 10 Mar, 2013 1 commit
  10. 05 Mar, 2013 1 commit
  11. 24 Feb, 2013 3 commits
  12. 23 Feb, 2013 1 commit
  13. 14 Feb, 2013 1 commit
  14. 12 Feb, 2013 1 commit
    • jpm@cs.ox.ac.uk's avatar
      Implement poly-kinded Typeable · 94d8b995
      jpm@cs.ox.ac.uk authored
      This patch makes the Data.Typeable.Typeable class work with arguments of any
      kind. In particular, this removes the Typeable1..7 class hierarchy, greatly
      simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable
      language extension, which will automatically derive Typeable for all types and
      classes declared in that module. Since there is now no good reason to give
      handwritten instances of the Typeable class, those are ignored (for backwards
      compatibility), and a warning is emitted.
      
      The old, kind-* Typeable class is now called OldTypeable, and lives in the
      Data.OldTypeable module. It is deprecated, and should be removed in some future
      version of GHC.
      94d8b995
  15. 11 Feb, 2013 4 commits
  16. 05 Feb, 2013 1 commit
  17. 03 Feb, 2013 1 commit
  18. 25 Jan, 2013 1 commit
  19. 12 Jan, 2013 1 commit
  20. 08 Jan, 2013 2 commits
  21. 04 Jan, 2013 1 commit
  22. 14 Dec, 2012 2 commits
  23. 02 Nov, 2012 1 commit
  24. 25 Oct, 2012 2 commits
  25. 28 Sep, 2012 1 commit
  26. 21 Sep, 2012 1 commit
  27. 05 Sep, 2012 1 commit
  28. 23 Aug, 2012 1 commit
  29. 13 Aug, 2012 1 commit