Skip to content
Snippets Groups Projects
  1. Jan 04, 2019
  2. Jan 03, 2019
    • My Nguyen's avatar
      Visible kind application · 17bd1635
      My Nguyen authored
      Summary:
      This patch implements visible kind application (GHC Proposal 15/#12045), as well as #15360 and #15362.
      It also refactors unnamed wildcard handling, and requires that type equations in type families in Template Haskell be
      written with full type on lhs. PartialTypeSignatures are on and warnings are off automatically with visible kind
      application, just like in term-level.
      
      There are a few remaining issues with this patch, as documented in
      ticket #16082.
      
      Includes a submodule update for Haddock.
      
      Test Plan: Tests T12045a/b/c/TH1/TH2, T15362, T15592a
      
      Reviewers: simonpj, goldfire, bgamari, alanz, RyanGlScott, Iceland_jack
      
      Subscribers: ningning, Iceland_jack, RyanGlScott, int-index, rwbarton, mpickering, carter
      
      GHC Trac Issues: `#12045`, `#15362`, `#15592`, `#15788`, `#15793`, `#15795`, `#15797`, `#15799`, `#15801`, `#15807`, `#15816`
      
      Differential Revision: https://phabricator.haskell.org/D5229
      17bd1635
    • Ömer Sinan Ağacan's avatar
    • Takenobu Tani's avatar
      stg-spec: Modify `.lhs` to `.hs` · 05cd2319
      Takenobu Tani authored
      Modify old filename `.lhs` to `.hs` in the following file:
      
        * docs/stg-spec/StgSyn.ott
      
      Since PDF has not been registered in the past, I have not committed generated PDF(`stg-spec.pdf`).
      
      [ci skip]
      05cd2319
  3. Jan 02, 2019
  4. Jan 01, 2019
  5. Dec 30, 2018
  6. Dec 29, 2018
  7. Dec 28, 2018
  8. Dec 27, 2018
  9. Dec 26, 2018
    • Sergei Trofimovich's avatar
      aclocal.m4: drop obsolete -fno-stack-protector · 29ecb520
      Sergei Trofimovich authored and Ben Gamari's avatar Ben Gamari committed
      
      Summary:
      Initially -fno-stack-protector was added for openbsd specifically for ghc-6.5:
          changeset:f638fdfe (2006)
      and later it was extended to cover osx:
          changeset:c2cd83e7 (2009)
      
      None of the reports hint at exact breakage. I guess both happened
      in -fvia-C mode where GHC's Evil Mangler had a chance to mangle
      stack canaries generated by fstack-protector.
      
      ghc has no evil mangler anymore and the change is not needed
      at least for C codegen.
      
      validated the patch on OpenBSD-6.4. No new failures compared to
      clean master branch.
      
      Signed-off-by: default avatarSergei Trofimovich <slyfox@gentoo.org>
      
      Test Plan: validated on OpenBSD
      
      Reviewers: bgamari
      
      Subscribers: rwbarton, erikd, carter
      
      GHC Trac Issues: #16046
      
      Differential Revision: https://phabricator.haskell.org/D5465
      29ecb520
    • Ben Gamari's avatar
      gitlab-ci: Try only building Windows in the quick flavour · 942b5019
      Ben Gamari authored
      It seems no matter how many machines I throw at Windows it's constantly behind.
      Perhaps the quick build flavour will be fast enough to allow us to keep until
      while we sort out our toolchain issues (#16084).
      942b5019
  10. Dec 25, 2018
  11. Dec 24, 2018
    • Ömer Sinan Ağacan's avatar
      Simplify Core output with -dsuppress-type-signatures · 8a0fca09
      Ömer Sinan Ağacan authored
      Currently we duplicate top-level binder ids for no reason:
      
          $fEqHsExpr_$c/=
          $fEqHsExpr_$c/=
            = \ @ id_a27U $dEq_a27V eta_B2 eta1_B1 ->
                case $fEqHsExpr_$c== $dEq_a27V eta_B2 eta1_B1 of {
                  False -> True;
                  True -> False
                }
      
      with this patch we drop the first line when type signatures are not
      printed (-dsuppress-type-signatures, which is implied by -dsuppress-all)
      
      Reviewers: simonpj, bgamari
      
      Reviewed By: simonpj
      
      Subscribers: rwbarton, carter
      
      Differential Revision: https://phabricator.haskell.org/D5472
      8a0fca09
    • Ben Gamari's avatar
      testsuite: Mark th tests as broken in ext-interp way in LLVM build flavours · 5499f12f
      Ben Gamari authored
      This is due to the failures documented in #16087. The condition here could be
      improved as it matches on `BUILD_FLAVOUR` instead of looking at the compiler
      flags. However, it's better than nothing and I hope we will be able to fix these
      issues before long.
      5499f12f
  12. Dec 23, 2018
  13. Dec 22, 2018
Loading