1. 28 Jun, 2017 6 commits
  2. 27 Jun, 2017 9 commits
  3. 26 Jun, 2017 3 commits
    • Ben Gamari's avatar
      users-guide/debug-info: Fix incorrect DWARF tags · 86abe0e0
      Ben Gamari authored
      Reviewers: austin
      
      Subscribers: rwbarton, thomie, niteria
      
      Differential Revision: https://phabricator.haskell.org/D3675
      86abe0e0
    • Ben Gamari's avatar
      rts: Always collect stats · 4bd4f561
      Ben Gamari authored
      It seems that 12ad4d41 enabled
      collection by default as its needs stats.allocated_bytes to determine
      whether the program has exceeded its grace limit.
      
      However, enabling stats also enables some potentially expensive times
      checks.  In general GC statistics should be cheap to compute (relative
      to the GC itself), so now we always compute them. This allows us to once
      again disable giveStats by default.
      
      Fixes #13864.
      
      Reviewers: simonmar, austin, erikd
      
      Reviewed By: simonmar
      
      Subscribers: rwbarton, thomie
      
      GHC Trac Issues: #13864
      
      Differential Revision: https://phabricator.haskell.org/D3669
      4bd4f561
    • Ben Gamari's avatar
      DWARF: Use .short to render half-machine-words · 904255eb
      Ben Gamari authored
      The binutils documentation states that .short is a synonym for .word,
      which I assumed to mean "machine word", leading me to believe that we
      needed to use .hword to render half-machine-words. However, Darwin's
      toolchain doesn't understand .hword, so there we instead used .short.
      
      However, as it turns out the binutils documentation confusingly uses
      "word" to refer to a 16-bit word, so .short should work fine. Moreover,
      LLVM's internal assembler also doesn't understand .hword, so using
      .short consistently simplies things remarkably.
      
      Test Plan: Validate using binutils and LLVM internal assembler,
      validate on Darwin
      
      Reviewers: niteria, austin
      
      Reviewed By: niteria
      
      Subscribers: rwbarton, thomie
      
      GHC Trac Issues: #13866
      
      Differential Revision: https://phabricator.haskell.org/D3667
      904255eb
  4. 23 Jun, 2017 8 commits
    • Ben Gamari's avatar
      users guide: Rephrasing · a48464a7
      Ben Gamari authored
      a48464a7
    • erdeszt's avatar
      documentation: fix trac issue #12978 · faefa7e5
      erdeszt authored
      Add reference to TypeApplications to the AllowAmbiguousType section of
      the user docs
      
      Reviewers: austin, bgamari
      
      Reviewed By: bgamari
      
      Subscribers: rwbarton, thomie
      
      GHC Trac Issues: #12978
      
      Differential Revision: https://phabricator.haskell.org/D3668
      faefa7e5
    • Michal Terepeta's avatar
      Hoopl: remove dependency on Hoopl package · 42eee6ea
      Michal Terepeta authored
      This copies the subset of Hoopl's functionality needed by GHC to
      `cmm/Hoopl` and removes the dependency on the Hoopl package.
      
      The main motivation for this change is the confusing/noisy interface
      between GHC and Hoopl:
      - Hoopl has `Label` which is GHC's `BlockId` but different than
        GHC's `CLabel`
      - Hoopl has `Unique` which is different than GHC's `Unique`
      - Hoopl has `Unique{Map,Set}` which are different than GHC's
        `Uniq{FM,Set}`
      - GHC has its own specialized copy of `Dataflow`, so `cmm/Hoopl` is
        needed just to filter the exposed functions (filter out some of the
        Hoopl's and add the GHC ones)
      With this change, we'll be able to simplify this significantly.
      It'll also be much easier to do invasive changes (Hoopl is a public
      package on Hackage with users that depend on the current behavior)
      
      This should introduce no changes in functionality - it merely
      copies the relevant code.
      Signed-off-by: Michal Terepeta's avatarMichal Terepeta <michal.terepeta@gmail.com>
      
      Test Plan: ./validate
      
      Reviewers: austin, bgamari, simonmar
      
      Reviewed By: bgamari, simonmar
      
      Subscribers: simonpj, kavon, rwbarton, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3616
      42eee6ea
    • Matthew Pickering's avatar
      Use actual universal tvs in check for naughty record selectors · 90771209
      Matthew Pickering authored
      The naughty record selector check means to limit selectors which would
      lead to existential tyvars escaping their scope. With record pattern
      synonyms, there are situations where universal tyvars don't appear in
      the result type, for example:
      
      ```
      pattern ReadP :: Read a => a -> String
      pattern ReadP{readp} <- (read -> readp)
      ```
      
      This is a similar issue to #11224 where we assumed that we can decide
      which variables are universal and which are existential by the syntactic
      check of seeing which appear in the result type. The fix is to use
      `univ_tvs` from `conLikeFullSig` rather than the previous approximation.
      But we must also remember to apply `EqSpec`s so we use the free
      variables from `inst_tys` which is precisely `univ_tvs` with `EqSpecs`
      applied.
      
      Reviewers: austin, bgamari
      
      Reviewed By: bgamari
      
      Subscribers: rwbarton, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3649
      90771209
    • Ryan Scott's avatar
      Fix pretty-printing of zero-argument lambda expressions · 3c4537ea
      Ryan Scott authored
      Using Template Haskell, one can construct lambda expressions with no
      arguments. The pretty-printer isn't aware of this fact, however. This
      changes that.
      
      Test Plan: make test TEST=T13856
      
      Reviewers: bgamari, austin, goldfire
      
      Reviewed By: bgamari
      
      Subscribers: rwbarton, thomie
      
      GHC Trac Issues: #13856
      
      Differential Revision: https://phabricator.haskell.org/D3664
      3c4537ea
    • Ryan Scott's avatar
      Add fixity declaration for Data.List.NonEmpty.!! · 398a444b
      Ryan Scott authored
      We have `infixl 9 !!` for `Data.List.!!`, but not for
      `Data.List.NonEmpty.!!`. We ought to.
      
      Test Plan: Read it
      
      Reviewers: bgamari, austin, hvr
      
      Reviewed By: bgamari
      
      Subscribers: rwbarton, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3666
      398a444b
    • Ben Gamari's avatar
      testsuite: Fix cabal01 test · e13edee3
      Ben Gamari authored
      The other-modules field listed things that weren't in fact modules,
      causing this test to fail. See Cabal #4567.
      
      Test Plan: Validate
      
      Reviewers: hvr, austin
      
      Subscribers: rwbarton, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3665
      e13edee3
    • Ben Gamari's avatar
      compiler: Eliminate pprTrace in SPT entry addition codepath · 84cf095d
      Ben Gamari authored
      Test Plan: Load program with StaticPointers into GHCi, ensure no
      tracing output makes it in.
      
      Reviewers: austin
      
      Subscribers: rwbarton, thomie, RyanGlScott
      
      GHC Trac Issues: #12356
      
      Differential Revision: https://phabricator.haskell.org/D3663
      84cf095d
  5. 22 Jun, 2017 2 commits
  6. 21 Jun, 2017 7 commits
  7. 20 Jun, 2017 1 commit
  8. 19 Jun, 2017 4 commits