1. 02 Feb, 2021 2 commits
    • Matthew Pickering's avatar
      Add missing instances to ghc-heap types · ddbdec41
      Matthew Pickering authored
      These instances are useful so that a `GenClosure` form `ghc-heap` can be
      used as a key in a `Map`. Therefore the order itself is not important
      but just the fact that there is one.
      ddbdec41
    • Ben Gamari's avatar
      typecheck: Eliminate allocations in tc_eq_type · 7d910fd8
      Ben Gamari authored
      Previously tc_eq_type would allocate a number of closures due to the two
      boolean "mode" flags, despite the fact that these were always statically
      known.
      
      To avoid this we force tc_eq_type to inline into its call sites,
      allowing the simplifier to eliminate both some runtime branches and the
      closure allocations.
      7d910fd8
  2. 01 Feb, 2021 5 commits
    • Alfredo Di Napoli's avatar
      Introduce the DecoratedSDoc type · c0709c1d
      Alfredo Di Napoli authored
      This commit introduces a DecoratedSDoc type which replaces the old
      ErrDoc, and hopefully better reflects the intent.
      c0709c1d
    • Alfredo Di Napoli's avatar
      Rename ErrMsg into MsgEnvelope · b1a17507
      Alfredo Di Napoli authored
      Updates Haddock submodule
      b1a17507
    • Alfredo Di Napoli's avatar
      Remove ErrDoc and MsgDoc · ddc2a759
      Alfredo Di Napoli authored
      This commit boldly removes the ErrDoc and the MsgDoc from the codebase.
      The former was introduced with the only purpose of classifying errors
      according to their importance, but a similar result can be obtained just
      by having a simple [SDoc], and placing bullets after each of them.
      
      On top of that I have taken the perhaps controversial decision to also
      banish MsgDoc, as it was merely a type alias over an SDoc and as such it wasn't
      offering any extra type safety. Granted, it was perhaps making type
      signatures slightly more "focused", but at the expense of cognitive
      burden: if it's really just an SDoc, let's call it with its proper name.
      ddc2a759
    • Ryan Scott's avatar
      Add driver/ghci/ghci-wrapper.cabal to .gitignore · 5464845a
      Ryan Scott authored
      After commit 55ef3bdc, running `./configure`
      now generates a `driver/ghci/ghci-wrapper.cabal` file from
      `driver/ghci/ghci-wrapper.cabal.in`, which pollutes the `git` tree:
      
      ```
      $ git status
      On branch master
      Your branch is up to date with 'origin/master'.
      
      Untracked files:
        (use "git add <file>..." to include in what will be committed)
              driver/ghci/ghci-wrapper.cabal
      
      nothing added to commit but untracked files present (use "git add" to track)
      ```
      
      Since `driver/ghci/ghci-wrapper.cabal` is autogenerated, the sensible thing to
      do is to add it to `.gitignore`. While I was in town, I also added the standard
      `*.in` file disclaimer to `driver/ghci/ghci-wrapper.cabal.in`.
      
      [ci skip]
      5464845a
    • Ryan Scott's avatar
      Fix accidental unsoundness in Data.Typeable.Internal.mkTypeLitFromString · d4bcd37f
      Ryan Scott authored
      An accidental use of `tcSymbol` instead of `tcNat` in the `TypeLitNat` case of
      `mkTypeLitFromString` meant that it was possible to unsafely equate `Nat` with
      `Symbol`. A consequence of this is that you could write `unsafeCoerce`, as
      observed in #19288. This is fixed easily enough, thankfully.
      
      Fixes #19288.
      d4bcd37f
  3. 30 Jan, 2021 10 commits
  4. 29 Jan, 2021 7 commits
  5. 28 Jan, 2021 7 commits
    • Sylvain Henry's avatar
      Fix strictness in TyCo.Tidy (#14738) · 0249974e
      Sylvain Henry authored
      Metric Decrease:
          T12545
          T14683
          T16577
          T5321Fun
          T5642
      0249974e
    • Denis Frezzato's avatar
      20fbb7c6
    • Joachim Breitner's avatar
      Bump haddock submodule · 38adba6b
      Joachim Breitner authored
      to get this commit:
      
          commit 0952d94a2e30a3e7cddbede811b15fa70f7b9462 (HEAD)
          Author: Joachim Breitner <mail@joachim-breitner.de>
          Date:   Tue Jan 19 11:39:38 2021 +0100
      
              Make haddock more robust to changes to the `Language` data type
      
              With the introduction of GHC2021, the `Languages` data type in GHC will
              grow. In preparation of that (and to avoid changing haddock with each
              new language), this change makes the code handle extensions to that data
              type gracefully.
      
              (cherry picked from commit c341dd7c9c3fc5ebc83a2d577c5a726f3eb152a5)
      
      This can go in as preparation for !4853
      38adba6b
    • Matthew Pickering's avatar
      Reduce default test verbosity · 2e44165f
      Matthew Pickering authored
      2e44165f
    • Andreas Klebinger's avatar
      b3b4d3c1
    • Andreas Klebinger's avatar
      Use validate flavour for all CI builds. · b5d0a136
      Andreas Klebinger authored
      This also means we compile GHC with -O1 instead of -O2 for some
      platforms for CI. As a result a lot of test metrics
      got worse which we now have to accept.
      
      -------------------------
      Metric Increase:
          ManyAlternatives
          ManyConstructors
          MultiLayerModules
          Naperian
          T10421
          T12150
          T12227
          T12234
          T12425
          T12545
          T12707
          T13035
          T13253
          T13253-spj
          T13701
          T13379
          T13719
          T14697
          T16577
          T18282
          T18698a
          T18698b
          T1969
          T3064
          T3294
          T4801
          T5205
          T5321FD
          T5321Fun
          T5631
          T6048
          T783
          T9020
          T9203
          T9233
          T9630
          T9872a
          T9872b
          T9872c
          T9872d
          T9961
          haddock.Cabal
          haddock.base
          haddock.compiler
          parsing001
          T5642
          WWRec
          T14683
          T15164
          T18304
          T18923
      -------------------------
      b5d0a136
    • Andreas Klebinger's avatar
      rts: sm/GC.c: make num_idle unsigned · 644e80fe
      Andreas Klebinger authored
      We compare it to n_gc_idle_threads which is unsigned as well.
      So make both signed to avoid a warning.
      644e80fe
  6. 27 Jan, 2021 9 commits