1. 22 Jan, 2016 6 commits
  2. 21 Jan, 2016 19 commits
  3. 20 Jan, 2016 7 commits
    • niteria's avatar
      substTy to substTyUnchecked to fix Travis build · 48d4bc53
      niteria authored
      This fixes the immediate problem from
      Test Plan: ./validate
      Reviewers: bgamari, austin, thomie
      Differential Revision: https://phabricator.haskell.org/D1802
      GHC Trac Issues: #11371
    • thomie's avatar
      Update submodule stm + random · 6ddc9911
      thomie authored
      Skip random tests when random is not built.
      Skip stm tests when stm is not built.
    • Rik Steenkamp's avatar
      Add test T9407 (Windows) · 225afc4a
      Rik Steenkamp authored
      Add test for #9407. The test is only run on Windows 64bit, as this is
      where the problem occurred.
      Reviewed by: thomie
      Differential Revision: https://phabricator.haskell.org/D1806
    • Ben Gamari's avatar
      Rework derivation of type representations for wired-in things · 84b0ebed
      Ben Gamari authored
      Previously types defined by `GHC.Types` and `GHC.Prim` had their
      `Typeable` representations manually defined in `GHC.Typeable.Internals`.
      This was terrible, resulting in a great deal of boilerplate and a number
      of bugs due to missing or inconsistent representations (see #11120).
      Here we take a different tack, initially proposed by Richard Eisenberg:
      We wire-in the `Module`, `TrName`, and `TyCon` types, allowing them to
      be used in `GHC.Types`. We then allow the usual type representation
      generation logic to handle this module.
      `GHC.Prim`, on the other hand, is a bit tricky as it has no object code
      of its own.  To handle this we instead place the type representations
      for the types defined here in `GHC.Types`.
      On the whole this eliminates several special-cases as well as a fair
      amount of boilerplate from hand-written representations. Moreover, we
      get full coverage of primitive types for free.
      Test Plan: Validate
      Reviewers: goldfire, simonpj, austin, hvr
      Subscribers: goldfire, simonpj, thomie
      Differential Revision: https://phabricator.haskell.org/D1774
      GHC Trac Issues: #11120
    • Ben Gamari's avatar
      Use (&&) instead of `if` in Ix derivation · 5cce0954
      Ben Gamari authored
      We were previously using `if` in the derivation of `Ix` instances. This
      interacts badly with RebindableSyntax as the typechecker doesn't infer
      the type of the argument we give to `tagToEnum#`.
      Previously we produced, `if (ch >= ah) then (ch <= bh) else False`.
      We now produce `(ch >= ah) && (ch <= bh)`
      Fixes #11396.
      Test Plan: Validate
      Reviewers: austin, simonpj
      Reviewed By: simonpj
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1797
      GHC Trac Issues: #11396
    • Simon Peyton Jones's avatar
      Oops. Add missing close-comment · 0373a845
      Simon Peyton Jones authored
      This fixes 514bac26 for Trac #11172.  Sorry!
    • Simon Peyton Jones's avatar
      Fix combineIdenticalAlts · 514bac26
      Simon Peyton Jones authored
      This long-standing bug in CoreUtils.combineIdenticalAlts
      was shown up by Trac #11172. The effect was that it returned
      a correct set of alternatives, but a bogus set of "impossible
      default constructors".  That meant that we subsequently
      removed all the alternatives from a case, and hence ended
      up with a bogusly empty case that should not have been empty.
      See Note [Care with impossible-constructors when
      combining alternatives] in CoreUtils.
  4. 19 Jan, 2016 5 commits
  5. 18 Jan, 2016 3 commits