1. 08 Jun, 2017 9 commits
    • Douglas Wilson's avatar
      Refactor temp files cleanup · 3ee3822c
      Douglas Wilson authored
      Remove filesToNotIntermediateClean from DynFlags, create a data type
      FilesToClean, and change filesToClean in DynFlags to be a FilesToClean.
      Modify SysTools.newTempName and the Temporary constructor of
      PipelineMonad.PipelineOutput to take a TempFileLifetime, which specifies
      whether a temp file should live until the end of GhcMonad.withSession,
      or until the next time cleanIntermediateTempFiles is called.
      These changes allow the cleaning of intermediate files in GhcMake to be
      much more efficient.
      HscTypes.hptObjs is removed as it is no longer used.
      A new performance test T13701 is added, which passes both with and
      without -keep-tmp-files.  The test fails by 25% without the patch, and
      passes when -keep-tmp-files is added.
      Note that there are still at two hotspots caused by
      algorithms quadratic in the number of modules, however neither of them
      allocate. They are:
      * DriverPipeline.compileOne'.needsLinker
      * GhcMake.getModLoop
      DriverPipeline.compileOne'.needsLinker is changed slightly to improve
      the situation.
      I don't like adding these Types to DynFlags, but they need to be seen by
      Dynflags, SysTools and PipelineMonad. The alternative seems to be to
      create a new module.
      Reviewers: austin, hvr, bgamari, dfeuer, niteria, simonmar, erikd
      Reviewed By: simonmar
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #13701
      Differential Revision: https://phabricator.haskell.org/D3620
    • Moritz Angermann's avatar
      Check target libtool · cd8f4b99
      Moritz Angermann authored
      This will qualify the libtool with the target, e.g.
      arch-vendor-os-libtool, instead of simply using libtool.
      Reviewers: austin, hvr, bgamari
      Reviewed By: bgamari
      Subscribers: Ericson2314, ryantrinkle, rwbarton, thomie, erikd
      Differential Revision: https://phabricator.haskell.org/D3617
    • Moritz Angermann's avatar
      [linker] fix armv7 & add aarch64 · 1c83fd81
      Moritz Angermann authored
      This adds Global Offset Table logic, as well as PLT like logic for armv7
      and aarch64; which replaces the preexisting symbolExtras logic, by
      placing the PLT tables next to the separtely loaded sections. This is
      needed to ensure that the symbol stubs are in range.
      Reviewers: bgamari, austin, erikd, simonmar
      Reviewed By: bgamari
      Subscribers: Ericson2314, ryantrinkle, rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3448
    • Ben Gamari's avatar
      testsuite: Add performance test, Naperian · 7bb2aa00
      Ben Gamari authored
      This is a module contributed by Austin Seipp which is fairly minimal
      (albeit requiring vector) but is still representative of contemporary
      Reviewers: austin
      Subscribers: dfeuer, rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3596
    • Ben Gamari's avatar
      Bump nofib submodule · ffd948e2
      Ben Gamari authored
    • Ben Gamari's avatar
      Revert "Make LLVM output robust to -dead_strip on mach-o platforms" · 1c76dd85
      Ben Gamari authored
      This reverts commit 667abf17.
    • Ben Gamari's avatar
      Linker: Fix whitespace · 3e8ab7c6
      Ben Gamari authored
      [skip ci]
    • Simon Marlow's avatar
      Fix a lost-wakeup bug in BLACKHOLE handling (#13751) · 59847290
      Simon Marlow authored
      The problem occurred when
      * Threads A & B evaluate the same thunk
      * Thread A context-switches, so the thunk gets blackholed
      * Thread C enters the blackhole, creates a BLOCKING_QUEUE attached to
        the blackhole and thread A's `tso->bq` queue
      * Thread B updates the blackhole with a value, overwriting the BLOCKING_QUEUE
      * We GC, replacing A's update frame with stg_enter_checkbh
      * Throw an exception in A, which ignores the stg_enter_checkbh frame
      Now we have C blocked on A's tso->bq queue, but we forgot to check the
      queue because the stg_enter_checkbh frame has been thrown away by the
      The solution and alternative designs are discussed in Note [upd-black-hole].
      This also exposed a bug in the interpreter, whereby we were sometimes
      context-switching without calling `threadPaused()`.  I've fixed this
      and added some Notes.
      Test Plan:
      * `cd testsuite/tests/concurrent && make slow`
      * validate
      Reviewers: niteria, bgamari, austin, erikd
      Reviewed By: erikd
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #13751
      Differential Revision: https://phabricator.haskell.org/D3630
    • Tamar Christina's avatar
      Fix slash escaping in cwrapper.c · bca56bd0
      Tamar Christina authored
      Summary: Escape `\` in paths on Windows in `cwapper.c` when we re-output the paths.
      Test Plan: ./validate
      Reviewers: austin, bgamari
      Reviewed By: bgamari
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #13666
      Differential Revision: https://phabricator.haskell.org/D3628
  2. 07 Jun, 2017 3 commits
    • Simon Peyton Jones's avatar
      Test Trac #13750 · ef07010c
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
      Stop the specialiser generating loopy code · 2b74bd9d
      Simon Peyton Jones authored
      This patch fixes a bad bug in the specialiser, which showed up as
      Trac #13429.  When specialising an imported DFun, the specialiser could
      generate a recusive loop where none existed in the original program.
      It's all rather tricky, and I've documented it at some length in
         Note [Avoiding loops]
      We'd encoutered exactly this before (Trac #3591) but I had failed
      to realise that the very same thing could happen for /imported/
      I did quite a bit of refactoring.
      The compiler seems to get a tiny bit faster on
      but almost all the gain had occurred before now; this
      patch just pushed it over the line.
    • Simon Peyton Jones's avatar
      Spelling typos · 92a4f908
      Simon Peyton Jones authored
  3. 06 Jun, 2017 1 commit
    • Gabor Greif's avatar
      Typo in output of remote slave startup [merge cand] · e77b9a20
      Gabor Greif authored
      The output is not being checked in the test suite.
      However other tools may check it for obtaining the status
      of the remote slave.
      So I'd suggest to merge this to 8.2 branch, in order to not
      fragment the tooling's checks.
  4. 05 Jun, 2017 4 commits
    • Alan Zimmerman's avatar
      Udate hsSyn AST to use Trees that Grow · 8e6ec0fa
      Alan Zimmerman authored
      See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
      This commit prepares the ground for a full extensible AST, by replacing the type
      parameter for the hsSyn data types with a set of indices into type families,
          data GhcPs -- ^ Index for GHC parser output
          data GhcRn -- ^ Index for GHC renamer output
          data GhcTc -- ^ Index for GHC typechecker output
      These are now used instead of `RdrName`, `Name` and `Id`/`TcId`/`Var`
      Where the original name type is required in a polymorphic context, this is
      accessible via the IdP type family, defined as
          type family IdP p
          type instance IdP GhcPs = RdrName
          type instance IdP GhcRn = Name
          type instance IdP GhcTc = Id
      These types are declared in the new 'hsSyn/HsExtension.hs' module.
      To gain a better understanding of the extension mechanism, it has been applied
      to `HsLit` only, also replacing the `SourceText` fields in them with extension
      To preserve extension generality, a type class is introduced to capture the
      `SourceText` interface, which must be honoured by all of the extension points
      which originally had a `SourceText`.  The class is defined as
          class HasSourceText a where
            -- Provide setters to mimic existing constructors
            noSourceText  :: a
            sourceText    :: String -> a
            setSourceText :: SourceText -> a
            getSourceText :: a -> SourceText
      And the constraint is captured in `SourceTextX`, which is a constraint type
      listing all the extension points that make use of the class.
      Updating Haddock submodule to match.
      Test Plan: ./validate
      Reviewers: simonpj, shayan-najd, goldfire, austin, bgamari
      Subscribers: rwbarton, thomie, mpickering
      Differential Revision: https://phabricator.haskell.org/D3609
    • Douglas Wilson's avatar
      Desugar modules compiled with -fno-code · c9eb4385
      Douglas Wilson authored
      Previously modules with hscTarget == HscNothing were not desugared.
      This patch changes behavior so that all modules HsSrcFile Modules except GHC.Prim
      are desugared. Modules with hscTarget == HscNothing are not simplified.
      Warnings and errors produced by the desugarer will now be produced when
      compiling with -fno-code.
      HscMain.finishTypecheckingOnly is removed, HscMain.hscIncrementalCompile is
      simplified a bit, and HscMain.finish takes in the removed logic. I think this
      is easier to follow.
      Updates haddock submodule.
      Tests T8101, T8101b, T10600 are no longer expect_broken.
      Reviewers: ezyang, austin, bgamari
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #10600
      Differential Revision: https://phabricator.haskell.org/D3542
    • Simon Peyton Jones's avatar
      Make the MR warning more accurage · a65dfea5
      Simon Peyton Jones authored
      Trac #13785 showed that we were emitting monomorphism warnings
      when we shouldn't.  The fix turned out to be simple.
      In fact test T10935 then turned out to be another example of
      the over-noisy warning so I changed the test slightly.
    • Simon Peyton Jones's avatar
      Test Trac #13784 · 6597f084
      Simon Peyton Jones authored
  5. 02 Jun, 2017 10 commits
    • Ben Gamari's avatar
      ghc.mk: Ensure that ghc-pkg path is quoted · ff363bd7
      Ben Gamari authored
      Otherwise this will fail if the prefix path contains spaces. Thanks to
      marinelli for pointing this out.
      Test Plan: Validate
      Reviewers: austin
      Subscribers: rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3604
    • Ryan Scott's avatar
      Use lengthIs and friends in more places · a786b136
      Ryan Scott authored
      While investigating #12545, I discovered several places in the code
      that performed length-checks like so:
      length ts == 4
      This is not ideal, since the length of `ts` could be much longer than 4,
      and we'd be doing way more work than necessary! There are already a slew
      of helper functions in `Util` such as `lengthIs` that are designed to do
      this efficiently, so I found every place where they ought to be used and
      did just that. I also defined a couple more utility functions for list
      length that were common patterns (e.g., `ltLength`).
      Test Plan: ./validate
      Reviewers: austin, hvr, goldfire, bgamari, simonmar
      Reviewed By: bgamari, simonmar
      Subscribers: goldfire, rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3622
    • Ryan Scott's avatar
      GHC.Stats cleanup · 811a2986
      Ryan Scott authored
      This does two things:
      * The `RtsTime` type wasn't exported, but it is used as the type of
        several record fields. Let's export it and give it some documentation.
      * Neither `RTSStats` nor `GCDetails` have `Read` or `Show` instances,
        but `GCStats` does! Let's fix this discrepancy.
      Reviewers: austin, hvr, bgamari
      Reviewed By: bgamari
      Subscribers: goldfire, rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3625
    • Ryan Scott's avatar
      Make GHCi work when RebindableSyntax is enabled · 2abe54e1
      Ryan Scott authored
      Previously, we were running some blocks of code at the start of every
      GHCi sessions which use do-notation, something which doesn't work well
      if you start GHCi with the `-XRebindableSyntax` flag on. This tweaks the
      code to avoid the use of do-notation so that `-XRebindableSyntax` won't
      reject it.
      Test Plan: make test TEST=T13385
      Reviewers: austin, bgamari
      Reviewed By: bgamari
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #13385
      Differential Revision: https://phabricator.haskell.org/D3621
    • Ryan Scott's avatar
      Remove references to static flags in flag reference · bf775e9d
      Ryan Scott authored
      A follow-up to #8440 (Ditch static flags). There are still some
      lingering references to static flags in the flag reference, so let's
      modify those references accordingly.
      Test Plan: Build the documentation
      Reviewers: bgamari, austin
      Reviewed By: bgamari
      Subscribers: rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3615
    • Ryan Scott's avatar
      Add a flag reference entry for -XTypeInType · d0fb0df3
      Ryan Scott authored
      Test Plan: Read it
      Reviewers: bgamari, austin
      Reviewed By: bgamari
      Subscribers: rwbarton, thomie
      GHC Trac Issues: #13762
      Differential Revision: https://phabricator.haskell.org/D3614
    • Tamar Christina's avatar
      Better import library support for Windows · 93489cd3
      Tamar Christina authored
      The import library support added for 7.10.3 was only a partial one.
      This support was predicated on using file extensions to determine
      whether or not a library was an import library. It also couldn't handle
      libraries with multiple dll pointers.
      This is a rewrite of that patch and fully integrating it into the normal
      archive parsing and loading routines. This solves a host of issues,
      among others allowing us to finally use `-lgcc_s`.
      This also fixes a problem with our previous implementation, where we
      just loaded the DLL and moved on. Doing this had the potential of using
      the wrong symbol at resolve time. Say a DLL already loaded (A.dll) has
      symbol a exported (dependency of another dll perhaps).
      We find an import library `B.lib` explicitly defining an export of `a`.
      we load `B.dll` but this gets put after `A.dll`, at resolve time we
      would use the value from `A` instead of `B` which is what we wanted.
      Test Plan: ./valide and make test TEST=13606
      Reviewers: austin, bgamari, erikd, simonmar
      Reviewed By: bgamari
      Subscribers: rwbarton, RyanGlScott, thomie, #ghc_windows_task_force
      GHC Trac Issues: #13606, #12499, #12498
      Differential Revision: https://phabricator.haskell.org/D3513
    • Ben Gamari's avatar
      aclocal: Fix regression in linker detection · 5164cce2
      Ben Gamari authored
      5ddb307e regressed autoconf's ability to
      find the linker due to a silly variable interpolation issue, causing
      segmentation faults on AArch64.
    • Moritz Angermann's avatar
      [iserv] move forkIO · 35c7ea8b
      Moritz Angermann authored
      This moves the forkIO into the `startSlave` function from the
      `startSlave'` function, such that this allows consumers to call
      `forkSlave'` if they want the blocking behaviour.
      Reviewers: bgamari, austin
      Reviewed By: bgamari
      Subscribers: Ericson2314, ryantrinkle, rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3601
    • Gabor Greif's avatar
      A few typos [ci skip] · 750a25f4
      Gabor Greif authored
  6. 01 Jun, 2017 1 commit
  7. 31 May, 2017 1 commit
  8. 30 May, 2017 1 commit
    • niteria's avatar
      Efficient checks for stable modules · 8bfab438
      niteria authored
      With a large number of modules in a home package
      (in my case 5000) the costs of linear lookups becomes significant.
      This changes them to efficient IntMap lookups.
      It reduces the cost of `:reload` on unchanged source
      from 5.77s to 1.62s on my test case.
      I could go further and make `Linker.unload` also take a set,
      but I prefer to concentrate on one thing at a time.
      Test Plan: harbormaster
      Reviewers: simonmar, austin, bgamari
      Reviewed By: bgamari
      Subscribers: rwbarton, thomie
      Differential Revision: https://phabricator.haskell.org/D3611
  9. 29 May, 2017 1 commit
  10. 28 May, 2017 1 commit
  11. 27 May, 2017 5 commits
  12. 26 May, 2017 3 commits