Skip to content

GitLab

Switch branch/tag
  1. 14 Feb, 2012 1 commit
  3. 10 Feb, 2012 1 commit
  5. 09 Feb, 2012 2 commits
  7. 12 Jan, 2012 1 commit
  9. 23 Dec, 2011 1 commit
  11. 20 Dec, 2011 1 commit
  13. 17 Nov, 2011 1 commit
  15. 16 Nov, 2011 1 commit
  17. 11 Nov, 2011 1 commit
    • dreixel's avatar
      New kind-polymorphic core · 5e1333af
      dreixel authored 
      This big patch implements a kind-polymorphic core for GHC. The current
implementation focuses on making sure that all kind-monomorphic programs still
work in the new core; it is not yet guaranteed that kind-polymorphic programs
(using the new -XPolyKinds flag) will work.

For more information, see http://haskell.org/haskellwiki/GHC/Kinds
      5e1333af
  19. 10 Nov, 2011 1 commit
  21. 09 Nov, 2011 2 commits
  23. 25 Oct, 2011 4 commits
  25. 18 Oct, 2011 2 commits
  27. 01 Oct, 2011 1 commit
    • Ian Lynagh's avatar
      Accept type error message changes · a40f26b2
      Ian Lynagh authored 
      I think ideally we should give the info from both the old and new
messages; i.e. "You wrote X, which I reduced to Y, which isn't valid".
That way if Y is an abstract newtype then it will be clearer why
the type wasn't valid. We used to only give X, and now we only give Y.
Finding X is now a little messier, especially in cases like ccfail005.
      a40f26b2
  29. 06 Sep, 2011 2 commits
  31. 05 Sep, 2011 1 commit
  33. 02 Sep, 2011 1 commit
  35. 01 Sep, 2011 2 commits
  37. 09 Aug, 2011 1 commit
  39. 08 Aug, 2011 2 commits
  41. 21 Jul, 2011 2 commits
  43. 20 Jul, 2011 1 commit