1. 04 Jul, 2017 1 commit
  2. 03 Jul, 2017 9 commits
  3. 30 Jun, 2017 5 commits
    • Ben Gamari's avatar
      Bump haddock submodule · 8c7ec7ea
      Ben Gamari authored
      Fixes a rather bad regression between 2.16 and 2.17 where it didn't show
      per argument documentation on class methods
      8c7ec7ea
    • Simon Marlow's avatar
      Prevent ApplicativeDo from applying to strict pattern matches (#13875) · 97aa533f
      Simon Marlow authored
      Test Plan:
      * New unit tests
      * validate
      
      Reviewers: dfeuer, simonpj, niteria, bgamari, austin, erikd
      
      Reviewed By: dfeuer
      
      Subscribers: rwbarton, thomie
      
      GHC Trac Issues: #13875
      
      Differential Revision: https://phabricator.haskell.org/D3681
      
      (cherry picked from commit 1ef4156e)
      97aa533f
    • Ben Gamari's avatar
      rts/RetainerProfile: Const-correctness fixes · 94af73ba
      Ben Gamari authored
      These were found while using Hadrian, which apparently uses slightly
      stricter warning flags than the make-based build system.
      
      Test Plan: Validate
      
      Reviewers: austin, erikd, simonmar
      
      Reviewed By: erikd
      
      Subscribers: rwbarton, thomie
      
      Differential Revision: https://phabricator.haskell.org/D3679
      
      (cherry picked from commit 9b514ded)
      94af73ba
    • Ben Gamari's avatar
      configure: Coerce gcc to use $LD instead of system default · 2785ef0e
      Ben Gamari authored
      The configure script will now try to coerce gcc to use the linker
      pointed to by $LD instead of the system default (typically bfd ld).
      Moreover, we now check for `ld.gold` and `ld.lld` before trying `ld`.
      
      The previous behavior can be reverted to by using the new
      --disable-ld-override flag.
      
      On my machine gold seems to trigger an apparent infelicity in
      constructor behavior, causing T5435_asm to fail. I've opened #13883 to
      record this issue and have accepted the questionable constructor
      ordering for the time being.
      
      Test Plan: Validate with `config_args='--enable-ld-override'`
      
      Reviewers: austin, hvr, simonmar
      
      Subscribers: duog, nh2, rwbarton, thomie, erikd, snowleopard
      
      GHC Trac Issues: #13541, #13810, #13883
      
      Differential Revision: https://phabricator.haskell.org/D3449
      
      (cherry picked from commit 625143f4)
      2785ef0e
    • Ben Gamari's avatar
      configure: Check for binutils #17166 · 21cd7720
      Ben Gamari authored
      This bug affects bfd ld on ARMv7, causing ld to incorrectly emit
      R_REL_COPY relocations, breaking tables-next-to-code. We've known about
      it for several years now and there is not yet a fix upstream. Previously
      we would simply force use of ld.gold on ARM. However, given the rework
      of linking configuration, I thought a more principled solution was in
      order.
      
      Test Plan: Validate on armv7
      
      Reviewers: austin, hvr
      
      Subscribers: angerman, rwbarton, thomie, erikd
      
      GHC Trac Issues: #4210
      
      Differential Revision: https://phabricator.haskell.org/D3676
      
      (cherry picked from commit 6171b0b3)
      21cd7720
  4. 29 Jun, 2017 5 commits
    • Simon Peyton Jones's avatar
      Fix lexically-scoped type variables · 2755f239
      Simon Peyton Jones authored
      Trac #13881 showed that our handling of lexically scoped type
      variables was way off when we bring into scope a name 'y' for
      a pre-existing type variable 'a', perhaps with an entirely
      different name.
      
      This patch fixes it; see TcHsType
        Note [Pattern signature binders]
      
      (cherry picked from commit 3b0e7555)
      2755f239
    • Simon Peyton Jones's avatar
      Fix constraint solving for forall-types · 7d9ca50e
      Simon Peyton Jones authored
      Trac #13879 showed that when we were trying to solve
      
        (forall z1 (y1::z1). ty1)  ~  (forall z2 (y2:z2). ty2)
      
      we'd end up spitting out z1~z2 with no binding site for them.
      Those kind equalities need to be inside the implication.
      
      I ended up re-factoring the code for solving forall-equalities.
      It's quite nice now.
      
      (cherry picked from commit fae672f6)
      7d9ca50e
    • Simon Peyton Jones's avatar
      Do zonking in tcLHsKindSig · 3fedc0fb
      Simon Peyton Jones authored
      Trac #13879 showed that there was a missing zonk in tcLHsKind.
      
      I also renamed it to tcLHsKindSig, for consistency with type signatures
      There's a commment to explain why the zonk is needed.
      
      (cherry picked from commit c80920d2)
      3fedc0fb
    • Simon Peyton Jones's avatar
      Fix the in-scope set in TcHsType.instantiateTyN · c1de0758
      Simon Peyton Jones authored
      See Trac #13879
      
      (cherry picked from commit 4bdac331)
      c1de0758
    • Ben Gamari's avatar
      Treat banged bindings as FunBinds · c7ed911f
      Ben Gamari authored
      This is another attempt at resolving #13594 by treating strict variable
      binds as FunBinds instead of PatBinds (as suggested in comment:1).
      
      Test Plan: Validate
      
      Reviewers: austin, alanz
      
      Subscribers: rwbarton, thomie, mpickering
      
      GHC Trac Issues: #13594
      
      Differential Revision: https://phabricator.haskell.org/D3670
      
      (cherry picked from commit 37299536)
      (cherry picked from commit 3032ae81)
      (cherry picked from commit 6567c815)
      c7ed911f
  5. 27 Jun, 2017 3 commits
  6. 26 Jun, 2017 3 commits
    • Ben Gamari's avatar
      users-guide/debug-info: Fix incorrect DWARF tags · 09f55822
      Ben Gamari authored
      Reviewers: austin
      
      Subscribers: rwbarton, thomie, niteria
      
      Differential Revision: https://phabricator.haskell.org/D3675
      
      (cherry picked from commit 86abe0e0)
      09f55822
    • Ben Gamari's avatar
      rts: Always collect stats · f19ab07b
      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
      
      (cherry picked from commit 4bd4f561)
      f19ab07b
    • Ben Gamari's avatar
      DWARF: Use .short to render half-machine-words · bed2ff7f
      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
      
      (cherry picked from commit 904255eb)
      bed2ff7f
  7. 23 Jun, 2017 7 commits
  8. 22 Jun, 2017 7 commits