1. 19 Feb, 2019 1 commit
  2. 16 Feb, 2019 1 commit
    • Alec Theriault's avatar
      Remove `parallel` as a submodule · 3cb063c8
      Alec Theriault authored
      `parallel` is used in exactly one place in the GHC tree: the T2317 test.
      It seems almost by accident that it is a submodule; libraries needed
      only for tests should net be included as submodules (see `QuickCheck`,
      `async`, `haskell98`, `regex-compat`, `utf8-string`, `vector` and more
      for examples).
      
      T2317 will now get run only when `parallel` is installed instead of
      `parallel` being required for the testsuite to run.
      3cb063c8
  3. 31 Jan, 2019 1 commit
  4. 23 Oct, 2018 1 commit
  5. 27 Aug, 2018 1 commit
  6. 14 Jun, 2018 2 commits
    • Ben Gamari's avatar
      Revert inadvertant changes to .gitmodules · 0c5aac8a
      Ben Gamari authored
      0c5aac8a
    • Vladislav Zavialov's avatar
      Embrace -XTypeInType, add -XStarIsType · d650729f
      Vladislav Zavialov authored
      Summary:
      Implement the "Embrace Type :: Type" GHC proposal,
      .../ghc-proposals/blob/master/proposals/0020-no-type-in-type.rst
      
      GHC 8.0 included a major change to GHC's type system: the Type :: Type
      axiom. Though casual users were protected from this by hiding its
      features behind the -XTypeInType extension, all programs written in GHC
      8+ have the axiom behind the scenes. In order to preserve backward
      compatibility, various legacy features were left unchanged. For example,
      with -XDataKinds but not -XTypeInType, GADTs could not be used in types.
      Now these restrictions are lifted and -XTypeInType becomes a redundant
      flag that will be eventually deprecated.
      
      * Incorporate the features currently in -XTypeInType into the
        -XPolyKinds and -XDataKinds extensions.
      * Introduce a new extension -XStarIsType to control how to parse * in
        code and whether to print it in error messages.
      
      Test Plan: Validate
      
      Reviewers: goldfire, hvr, bgamari, alanz, simonpj
      
      Reviewed By: goldfire, simonpj
      
      Subscribers: rwbarton, thomie, mpickering, carter
      
      GHC Trac Issues: #15195
      
      Differential Revision: https://phabricator.haskell.org/D4748
      d650729f
  7. 08 Dec, 2017 1 commit
  8. 15 Sep, 2017 1 commit
  9. 01 Aug, 2017 1 commit
  10. 28 Jul, 2017 1 commit
  11. 11 May, 2017 2 commits
  12. 30 Jan, 2017 1 commit
    • rwbarton's avatar
      Turn libraries/integer-gmp/gmp/tarball into a submodule · 32729d35
      rwbarton authored
      The submodule repository contains the latest version of the GMP source
      distribution (6.1.2) with the doc/ subdirectory removed, as described
      in gmp/ghc.mk. Rather than applying the old patch from gmp/tarball/patch
      I moved its contents into gmp/gmpsrc.patch, canceling a patch related to
      memory management there. Experimentally, the PIC-related patch for OS X
      is still necessary.
      
      The upgrade to GMP 6.1.2 fixes #7655.
      
      Test Plan:
      Built on OS X with in-tree gmp and tested that the command
      `ghc -e 'length (show (2^(5*10^6) :: Integer))'` no longer segfaults.
      
      Reviewers: mpickering, hvr, austin, bgamari
      
      Reviewed By: bgamari
      
      Subscribers: mpickering, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3044
      
      GHC Trac Issues: #7655
      32729d35
  13. 11 Feb, 2016 1 commit
  14. 11 Dec, 2015 2 commits
    • Austin Seipp's avatar
      b5d5d831
    • eir@cis.upenn.edu's avatar
      Add kind equalities to GHC. · 67465497
      eir@cis.upenn.edu authored
      This implements the ideas originally put forward in
      "System FC with Explicit Kind Equality" (ICFP'13).
      
      There are several noteworthy changes with this patch:
       * We now have casts in types. These change the kind
         of a type. See new constructor `CastTy`.
      
       * All types and all constructors can be promoted.
         This includes GADT constructors. GADT pattern matches
         take place in type family equations. In Core,
         types can now be applied to coercions via the
         `CoercionTy` constructor.
      
       * Coercions can now be heterogeneous, relating types
         of different kinds. A coercion proving `t1 :: k1 ~ t2 :: k2`
         proves both that `t1` and `t2` are the same and also that
         `k1` and `k2` are the same.
      
       * The `Coercion` type has been significantly enhanced.
         The documentation in `docs/core-spec/core-spec.pdf` reflects
         the new reality.
      
       * The type of `*` is now `*`. No more `BOX`.
      
       * Users can write explicit kind variables in their code,
         anywhere they can write type variables. For backward compatibility,
         automatic inference of kind-variable binding is still permitted.
      
       * The new extension `TypeInType` turns on the new user-facing
         features.
      
       * Type families and synonyms are now promoted to kinds. This causes
         trouble with parsing `*`, leading to the somewhat awkward new
         `HsAppsTy` constructor for `HsType`. This is dispatched with in
         the renamer, where the kind `*` can be told apart from a
         type-level multiplication operator. Without `-XTypeInType` the
         old behavior persists. With `-XTypeInType`, you need to import
         `Data.Kind` to get `*`, also known as `Type`.
      
       * The kind-checking algorithms in TcHsType have been significantly
         rewritten to allow for enhanced kinds.
      
       * The new features are still quite experimental and may be in flux.
      
       * TODO: Several open tickets: #11195, #11196, #11197, #11198, #11203.
      
       * TODO: Update user manual.
      
      Tickets addressed: #9017, #9173, #7961, #10524, #8566, #11142.
      Updates Haddock submodule.
      67465497
  15. 05 Dec, 2015 1 commit
  16. 04 Dec, 2015 1 commit
  17. 19 Aug, 2015 1 commit
  18. 24 Dec, 2014 1 commit
  19. 21 Nov, 2014 1 commit
  20. 14 Aug, 2014 1 commit
  21. 26 Jun, 2014 1 commit
  22. 25 Jun, 2014 1 commit
    • Herbert Valerio Riedel's avatar
      Convert loose sub-repos into proper submodules (re #8545) · db19c665
      Herbert Valerio Riedel authored
      Specifically, the following sub-repos/modules are converted:
      
       - libffi-tarballs
       - libraries/array
       - libraries/deepseq
       - libraries/directory
       - libraries/dph
       - libraries/filepath
       - libraries/haskell2010
       - libraries/haskell98
       - libraries/hoopl
       - libraries/hpc
       - libraries/old-locale
       - libraries/old-time
       - libraries/parallel
       - libraries/process
       - libraries/stm
       - libraries/unix
       - nofib
       - utils/hsc2hs
      
      N.B. ghc-tarballs is not converted as it will probably be handled
           differently in the future.
      Signed-off-by: Herbert Valerio Riedel's avatarHerbert Valerio Riedel <hvr@gnu.org>
      db19c665
  23. 23 Mar, 2014 1 commit
  24. 06 Feb, 2014 1 commit
  25. 22 Nov, 2013 1 commit
    • Joachim Breitner's avatar
      Ignore untracked contents in submodules · 3fdad857
      Joachim Breitner authored
      The GHC build creates files there that are not part of the project’s
      .gitignore, and clutter up "git status" in ghc/. With this patch, these
      changes are ignored; modifications to existing files in the submodule
      repositories are still reported.
      3fdad857
  26. 19 Aug, 2013 1 commit
  27. 09 Aug, 2013 1 commit
  28. 03 Feb, 2013 1 commit
  29. 02 Dec, 2012 1 commit
  30. 25 Nov, 2012 1 commit