1. 14 Feb, 2016 1 commit
  2. 12 Feb, 2016 10 commits
  3. 11 Feb, 2016 7 commits
  4. 10 Feb, 2016 7 commits
    • niteria's avatar
      Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a b · d27da536
      niteria authored
      It's just a small cleanup. There should be no change in
      behaviour.
      
      Test Plan: ./validate --slow
      
      Reviewers: austin, bgamari, simonpj
      
      Reviewed By: simonpj
      
      Subscribers: thomie, simonmar
      
      Differential Revision: https://phabricator.haskell.org/D1901
      d27da536
    • Simon Peyton Jones's avatar
      Wrap solveEqualities in checkNoErrs · b565830d
      Simon Peyton Jones authored
      This simple change fixes Trac #11563, #11520, #11516, #11399.
      See esp the comments in #11520.
      
      See Note [Fail fast on kind errors] in TcSimplify
      
      Merge to 8.0 branch
      b565830d
    • Sergei Trofimovich's avatar
      mkUserGuide: fix option wrapping in a table · a8249726
      Sergei Trofimovich authored
      
      
      Noticed as a sphinx warning:
          docs/users_guide/flags-warnings.gen.rst:97:
              WARNING: Inline interpreted text or phrase
              reference start-string without end-string.
      
      Which pointed to broken table.
      
      Before the patch table looked like:
      
          | :ghc-flag:`-Wno-unticked-promoted-constructors |
          | `                                              |
      
      After the patch long link is on a single line:
      
          | :ghc-flag:`-Wno-unticked-promoted-constructors`    |
      Signed-off-by: default avatarSergei Trofimovich <siarheit@google.com>
      a8249726
    • Sergei Trofimovich's avatar
      docs: add newline after '.. ghc-flag::' · c57d019c
      Sergei Trofimovich authored
      
      
      Noticed when looked through sphinx warnings:
          docs/users_guide/safe_haskell.rst:4:
              SEVERE: Duplicate ID: "ghc-flag-Issue"
      Signed-off-by: default avatarSergei Trofimovich <siarheit@google.com>
      c57d019c
    • Edward Z. Yang's avatar
      Error early when you register with too old a version of Cabal. · d80caca1
      Edward Z. Yang authored
      
      
      On the GHC 8.0 RCs, multiple users reported a very strange error
      whereby GHC would complain that the symbols names recorded in interface
      files did not match the expected name.  The reason for this is
      that they were using an old version of Cabal which chose symbol
      names differently from the installed package ID ('id' field) which
      the package was to be installed with; GHC 8.0 now mandates that
      these coincides.
      
      This change adds a test to ghc-pkg to make sure that 'id' and 'key'
      (which is how Cabal previously reported what the symbol name
      was supposed to be) match; if they don't match or key is missing,
      we assume that the Cabal was too old.
      
      Bikeshed points:
      
          - Should we offer more information about how to upgrade
            Cabal correctly (i.e. specify a version?)
      
          - Should we allow for a missing 'key'?  If we allow for
            'key' to be missing, we lose the ability to detect
            Cabal from GHC 7.8 or earlier being used.  If we
            require it to be specified, then it will not be possible
            for Cabal to deprecate the (unused) field and remove it
            without having BC for 8.0.
      Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
      
      Test Plan: validate
      
      Reviewers: austin, bgamari, hvr
      
      Reviewed By: hvr
      
      Subscribers: bergmark, thomie
      
      Differential Revision: https://phabricator.haskell.org/D1892
      
      GHC Trac Issues: #11558
      d80caca1
    • owst's avatar
      Expand users' guide TH declaration groups section (#9813) · 93e2c8ff
      owst authored
      Reviewers: austin, bgamari
      
      Reviewed By: bgamari
      
      Subscribers: thomie
      
      Differential Revision: https://phabricator.haskell.org/D1899
      93e2c8ff
    • bollmann's avatar
      add Template Haskell regression test for #9022. · 2f9931e3
      bollmann authored
      The bug itself has already been fixed in #10734, so this
      only adds another regression test (as given in the ticket).
      
      Test Plan: ./validate
      
      Reviewers: goldfire, austin, thomie, bgamari
      
      Reviewed By: bgamari
      
      Differential Revision: https://phabricator.haskell.org/D1898
      
      GHC Trac Issues: #9022
      2f9931e3
  5. 09 Feb, 2016 9 commits
  6. 08 Feb, 2016 6 commits
    • Ömer Sinan Ağacan's avatar
      Remove unused LiveVars and SRT fields of StgCase · 023fc92f
      Ömer Sinan Ağacan authored
      We also need to update `stgBindHasCafRefs` assertion with this change,
      as we no longer have the pre-computed SRT, LiveVars etc. We rename it to
      `topStgBindHasCafRefs` and implement it like this:
      
      A non-updatable top-level binding may refer to a CAF by referring to a
      top-level definition with CAFs. A top-level definition may have CAFs if
      it's updatable. At this point (because this is done after TidyPgm)
      top-level Ids (whether imported or defined in this module) are
      GlobalIds, so the top-levelness test is easy. (see also comments in the
      code)
      
      Reviewers: bgamari, simonpj, austin
      
      Reviewed By: simonpj
      
      Subscribers: thomie
      
      Differential Revision: https://phabricator.haskell.org/D1889
      
      GHC Trac Issues: #11550
      023fc92f
    • Simon Peyton Jones's avatar
      Define tyConRolesRepresentational and use it · 489a9a3b
      Simon Peyton Jones authored
      tyConRolesRepresentational is just a version of tyConRolesX, but
      specialised for a Representational argument. Saves a bit of extra
      argument passing and pattern matching, and tyConRolesX was often
      called when we knew the argument role was Representational.
      
      Rather to my surprise this made the compiler allocate 5% less
      for tests T9872{b,c,d}.  At least I think it's this commit.
      Good thing, regardless.
      489a9a3b
    • Simon Peyton Jones's avatar
      Test Trac #11552 · c9ac9de7
      Simon Peyton Jones authored
      c9ac9de7
    • Simon Peyton Jones's avatar
      Define mkTvSubst, and use it · fac0efc3
      Simon Peyton Jones authored
         mkTvSubst :: InScopeSet -> TvSubstEnv -> TCvSubst
      produces a TCvSubst with an empty CvSubstEnv
      fac0efc3
    • Simon Peyton Jones's avatar
      Some tiding up in TcGenDeriv · 96d45145
      Simon Peyton Jones authored
      ..around newtype deriving instances.
      
      See esp the new Note [Newtype-deriving instances]
      
      No change in behaviour
      96d45145
    • Ben Gamari's avatar
      release notes: Note new two-step allocator · 5a58634e
      Ben Gamari authored
      5a58634e