Skip to content
Snippets Groups Projects
  1. Mar 18, 2019
  2. Mar 17, 2019
    • Ben Gamari's avatar
      ghc-heap: Introduce closureSize · cb61371e
      Ben Gamari authored and Marge Bot's avatar Marge Bot committed
      This function allows the user to compute the (non-transitive) size of a
      heap object in words. The "closure" in the name is admittedly confusing
      but we are stuck with this nomenclature at this point.
      cb61371e
  3. Mar 16, 2019
    • Ben Gamari's avatar
      gitlab-ci: Generate source tarballs · 3f2291e4
      Ben Gamari authored
      3f2291e4
    • Ben Gamari's avatar
      gitlab-ci: Generate documentation tarball · ad79ccd9
      Ben Gamari authored
      ad79ccd9
    • Ben Gamari's avatar
      6764da43
    • Ben Gamari's avatar
      compiler: Disable atomic renaming on Windows · 1c1b63d6
      Ben Gamari authored
      As discussed in #16450, this feature regresses CI on Windows, causing
      non-deterministic failures due to missing files.
      1c1b63d6
    • Simon Peyton Jones's avatar
      Add location to the extra-constraints wildcard · 600a1ac3
      Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed
      The extra-constraints wildcard had lost its location
      (issue #16431).
      
      Happily this is easy to fix.  Lots of error improvements.
      600a1ac3
    • Simon Peyton Jones's avatar
      Improve error recovery in the typechecker · 4927117c
      Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed
      Issue #16418 showed that we were carrying on too eagerly after a bogus
      type signature was identified (a bad telescope in fact), leading to a
      subsequent crash.
      
      This led me in to a maze of twisty little passages in the typechecker's
      error recovery, and I ended up doing some refactoring in TcRnMonad.
      Some specfifics
      
      * TcRnMonad.try_m is now called attemptM.
      
      * I switched the order of the result pair in tryTc,
        to make it consistent with other similar functions.
      
      * The actual exception used in the Tc monad is irrelevant so,
        to avoid polluting type signatures, I made tcTryM, a simple
        wrapper around tryM, and used it.
      
      The more important changes are in
      
      * TcSimplify.captureTopConstraints, where we should have been calling
        simplifyTop rather than reportUnsolved, so that levity defaulting
        takes place properly.
      
      * TcUnify.emitResidualTvConstraint, where we need to set the correct
        status for a new implication constraint.  (Previously we ended up
        with an Insoluble constraint wrapped in an Unsolved implication,
        which meant that insolubleWC gave the wrong answer.
      4927117c
  4. Mar 15, 2019
    • Simon Peyton Jones's avatar
      Add flavours link · 57201beb
      Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed
      57201beb
    • Peter Trommler's avatar
      PPC NCG: Use liveness information in CmmCall · 83e09d3c
      Peter Trommler authored and Marge Bot's avatar Marge Bot committed
      We make liveness information for global registers
      available on `JMP` and `BCTR`, which were the last instructions
      missing. With complete liveness information we do not need to
      reserve global registers in `freeReg` anymore. Moreover we
      assign R9 and R10 to callee saves registers.
      
      Cleanup by removing `Reg_Su`, which was unused, from `freeReg`
      and removing unused register definitions.
      
      The calculation of the number of floating point registers is too
      conservative. Just follow X86 and specify the constants directly.
      
      Overall on PowerPC this results in 0.3 % smaller code size in nofib
      while runtime is slightly better in some tests.
      83e09d3c
    • Simon Peyton Jones's avatar
      Report better suggestion for GADT data constructor · 97032ed9
      Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed
      This addresses issue #16427. An easy fix.
      97032ed9
    • Ryan Scott's avatar
      Update Trac ticket URLs to point to GitLab · 610ec224
      Ryan Scott authored and Marge Bot's avatar Marge Bot committed
      This moves all URL references to Trac tickets to their corresponding
      GitLab counterparts.
      610ec224
    • davide's avatar
      Git ignore .hadrian_ghci (generated by the ./hadrian/ghci.sh) · afc80730
      davide authored and Marge Bot's avatar Marge Bot committed
      [skip ci]
      afc80730
    • davide's avatar
      Hadrian: remove unneeded rpaths. · 4df75772
      davide authored and Marge Bot's avatar Marge Bot committed
      Issue #12770
      4df75772
    • davide's avatar
      Hadrian: remove unneeded imports. · d10e2368
      davide authored and Marge Bot's avatar Marge Bot committed
      d10e2368
    • Ryan Scott's avatar
      Remove the GHCi debugger's panicking isUnliftedType check · 8162eab2
      Ryan Scott authored and Marge Bot's avatar Marge Bot committed
      The GHCi debugger has never been that robust in the face of
      higher-rank types, or even types that are _interally_ higher-rank,
      such as the types of many class methods (e.g., `fmap`). In GHC 8.2,
      however, things became even worse, as the debugger would start to
      _panic_ when a user tries passing the name of a higher-rank thing
      to `:print`. This all ties back to a strange `isUnliftedType` check
      in `Debugger` that was mysteriously added 11 years ago
      (in commit 4d71f5ee) with no
      explanation whatsoever.
      
      After some experimentation, no one is quite sure what this
      `isUnliftedType` check is actually accomplishing. The test suite
      still passes if it's removed, and I am unable to observe any
      differences in debugger before even with data types that _do_ have
      fields of unlifted types (e.g., `data T = MkT Int#`). Given that
      this is actively causing problems (see #14828), the prudent thing
      to do seems to be just removing this `isUnliftedType` check, and
      waiting to see if anyone shouts about it. This patch accomplishes
      just that.
      
      Note that this patch fix the underlying issues behind #14828, as the
      debugger will still print unhelpful info if you try this:
      
      ```
      λ> f :: (forall a. a -> a) -> b -> b; f g x = g x
      λ> :print f
      f = (_t1::t1)
      ```
      
      But fixing this will require much more work, so let's start with the
      simple stuff for now.
      8162eab2
  5. Mar 14, 2019
  6. Mar 13, 2019
  7. Mar 12, 2019
  8. Mar 11, 2019
  9. Mar 09, 2019
Loading