This project is mirrored from Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update .
  1. 13 Mar, 2017 5 commits
  2. 12 Mar, 2017 2 commits
  3. 11 Mar, 2017 3 commits
  4. 10 Mar, 2017 13 commits
    • Edward Z. Yang's avatar
      Fix bkpcabal03 test. · 3ca252b1
      Edward Z. Yang authored
      Signed-off-by: default avatarEdward Z. Yang <>
    • Ben Gamari's avatar
      Bump time submodule · 8db79493
      Ben Gamari authored
      Fixes 32-bit validation
    • Ben Gamari's avatar
      testsuite: Bump T10359 allocations · 18d94e9c
      Ben Gamari authored
    • Simon Peyton Jones's avatar
      Comments only · 2209d5e6
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
      Drop redundant import · 4eeb3273
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
      Define TcSimplify.simplifyTopImplic and use it · 2d3cb34a
      Simon Peyton Jones authored
      A very small refactoring
    • Simon Peyton Jones's avatar
      Fix constraint simplification in rules · af6ed4a6
      Simon Peyton Jones authored
      Trac #13381 showed that we were losing track of a wanted constraint
      when simplifying the LHS constraints for a RULE.
      This patch fixes it, makes the code a bit simpler, and better
    • Simon Peyton Jones's avatar
      Improve error messages for skolems · 48d1866e
      Simon Peyton Jones authored
      In error messages like this
          • Couldn't match type ‘c’ with ‘f0 (a -> b)’
            ‘c’ is a rigid type variable bound by
              the type signature for:
                f :: ((a -> b) -> b) -> forall c. c -> a
      we need to take case both to actually show that 'forall c',
      and to make sure that its name lines with the 'c' in the
      error message.
      This has been shaky for some time, and this commit puts it on solid
      ground.  See TcRnTypes: Note [SigSkol SkolemInfo]
      The main changes are
      * SigSkol gets an extra field that records the way in which the
        type signature was skolemised.
      * The type in SigSkol is now the /un/-skolemised version
      * pprSkolemInfo uses the info to make the tidy type line up
      Lots of error message wibbles!
    • Simon Peyton Jones's avatar
      Fix TcSimplify.decideQuantification for kind variables · 7e96526a
      Simon Peyton Jones authored
      TcSimplify.decideQuantification was doing the Wrong Thing when
      "growing" the type variables to quantify over. We were trying to do
      this on a tyvar set where we'd split off the dependent type varaibles;
      and we just got it wrong.  A kind variable wasn't being generalised
      properly, with confusing knock on consequences.
      All this led to Trac #13371 and Trac #13393.
      This commit tidies it all up:
      * The type TcDepVars is renamed as CandidateQTvs;
        and splitDepVarsOfType to candidateQTyVarsOfType
      * The code in TcSimplify.decideQuantification is simpler.
        It no longer does the tricky "grow" stuff over TcDepVars.
        Instead it use ordinary VarSets (thereby eliminating the
        nasty growThetaTyVarsDSet) and uses that to filter the
        result of candidateQTyVarsOfType.
      * I documented that candidateQTyVarsOfType returns the type
        variables in a good order in which to quantify, and rewrote
        it to use an accumulator pattern, so that we would predicatably
        get left-to-right ordering.
      In doing all this I also made UniqDFM behave a little more nicely:
      * When inserting an element that is there already, keep the old tag,
        while still overwriting with the new value.
      * This means that when doing udfmToList we get back elements in the
        order they were originally inserted, rather than in reverse order.
      It's not a big deal, but in a subsequent commit I use it to improve
      the order of type variables in inferred types.
      All this led to a lot of error message wibbles:
       - changing the order of quantified variables
       - changing the order in which instances are listed in GHCi
       - changing the tidying of variables in typechecker erors
      There's a submodule update for 'array' because one of its tests
      has an error-message change.
      I may not have associated all of them with the correct commit.
    • Simon Peyton Jones's avatar
      Deal with JoinIds before void types · bc0f3abd
      Simon Peyton Jones authored
      Trac #13394, comment:4 showed up another place where we were testing
      for the representation of of a type; and it turned out to be a JoinId
      which can be rep-polymorphic.
      Just putting the test in the right places solves this easily.
    • Simon Peyton Jones's avatar
      Do not generate a data-con wrapper for !Int# · 900cfdc2
      Simon Peyton Jones authored
      See Note [Data con wrappers and unlifted types] in MkId.
      We were being totally stupid!
      See Trac #1600 comment:66
    • Sergei Trofimovich's avatar
      implement missing Fabs{32,64} on i386 NCG and UNREG · 46246a6d
      Sergei Trofimovich authored
      Noticed breakage as build failure on i386 freebsd build bot:
        ghc-stage1: panic! (the 'impossible' happened)
          (GHC version 8.1.20170310 for i386-portbld-freebsd):
            outOfLineCmmOp: MO_F64_Fabs not supported here
      Signed-off-by: default avatarSergei Trofimovich <>
    • Ben Gamari's avatar Bump version to 8.3 · a6e06c7b
      Ben Gamari authored
      Bumps haddock submodule
  5. 09 Mar, 2017 17 commits