1. 29 Jul, 2008 3 commits
  2. 28 Jul, 2008 1 commit
  3. 24 Jul, 2008 1 commit
  4. 23 Jul, 2008 2 commits
  5. 12 Jul, 2008 1 commit
  6. 09 Jan, 2008 1 commit
  7. 02 May, 2008 1 commit
  8. 14 Sep, 2007 1 commit
  9. 13 Sep, 2007 1 commit
  10. 29 Aug, 2007 1 commit
  11. 28 Aug, 2007 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Type checking for type synonym families · 5822cb8d
      chak@cse.unsw.edu.au. authored
      This patch introduces type checking for type families of which associated
      type synonyms are a special case. E.g.
      
              type family Sum n m
      
              type instance Sum Zero n = n
              type instance Sum (Succ n) m = Succ (Sum n m)
      
      where
      
              data Zero       -- empty type
              data Succ n     -- empty type
      
      In addition we support equational constraints of the form:
      
              ty1 ~ ty2
      
      (where ty1 and ty2 are arbitrary tau types) in any context where
      type class constraints are already allowed, e.g.
      
              data Equals a b where
                      Equals :: a ~ b => Equals a b
      
      The above two syntactical extensions are disabled by default. Enable
      with the -XTypeFamilies flag.
      
      For further documentation about the patch, see:
      
              * the master plan
                http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions
      
              * the user-level documentation
                http://haskell.org/haskellwiki/GHC/Indexed_types
      
      The patch is mostly backwards compatible, except for:
      
              * Some error messages have been changed slightly.
      
              * Type checking of GADTs now requires a bit more type declarations:
                not only should the type of a GADT case scrutinee be given, but also
                that of any identifiers used in the branches and the return type.
      
      Please report any unexpected behavior and incomprehensible error message 
      for existing code.
      
      Contributors (code and/or ideas):
              Tom Schrijvers
              Manuel Chakravarty
              Simon Peyton-Jones
              Martin Sulzmann 
      with special thanks to Roman Leshchinskiy
      5822cb8d
  12. 18 Jul, 2007 1 commit
  13. 20 Jun, 2007 1 commit
  14. 30 Apr, 2007 3 commits
  15. 29 Apr, 2007 2 commits
  16. 25 Apr, 2007 1 commit
    • Ian Lynagh's avatar
      Tweak darcs-all script · c6ccf379
      Ian Lynagh authored
      If you got darcs by SSH without specifying a username then the script
      would break.
      c6ccf379
  17. 11 Apr, 2007 1 commit
  18. 06 Mar, 2007 1 commit
  19. 07 Feb, 2007 1 commit
  20. 09 Dec, 2006 1 commit
  21. 03 Dec, 2006 1 commit
  22. 06 Oct, 2006 1 commit
  23. 02 Sep, 2006 1 commit
  24. 06 Sep, 2006 2 commits
  25. 02 Sep, 2006 1 commit
  26. 24 Aug, 2006 1 commit
    • Simon Marlow's avatar
      divide packages into "core" and "extra" packages · cc4e58b6
      Simon Marlow authored
      The following packages are now "core" packages:
      
        base, Cabal, haskell98, readline, regex-base, regex-compat
        regex-posix, stm, template-haskell, unix, Win32
      
      Core packages are those packages required to bootstrap GHC, or are
      closely tied to GHC (stm, template-haskell).  These are the packages
      that will be provided in a source distribution from now on.
      
      All other packages are classified as "extra" packages.  As far as
      binary distributions and nightly builds go, nothing will change -
      we'll still build and include all these packages in the distributions.
      
      NOTE: 'sh darcs-all get' will now get the core packages only.  To get
      the extra packages too, use 'sh darcs-all --extra get'.
      cc4e58b6
  27. 03 Jul, 2006 1 commit
  28. 10 Apr, 2006 1 commit
  29. 07 Apr, 2006 2 commits
  30. 27 Jan, 2006 1 commit
  31. 19 Jan, 2006 1 commit
  32. 13 Jan, 2006 1 commit