1. 08 Sep, 2013 3 commits
  2. 07 Sep, 2013 2 commits
  3. 06 Sep, 2013 4 commits
  4. 05 Sep, 2013 2 commits
  5. 04 Sep, 2013 19 commits
  6. 03 Sep, 2013 6 commits
    • eir@cis.upenn.edu's avatar
      Allow non-Nominal covars (bugfix) · 62d3fdeb
      eir@cis.upenn.edu authored
    • Edsko de Vries's avatar
      Fix #7918 · be7f10bb
      Edsko de Vries authored
    • Jan Stolarek's avatar
      Comments and type synonym in CmmSink · 1957fddb
      Jan Stolarek authored
    • Simon Peyton Jones's avatar
      Comment only · 32862bff
      Simon Peyton Jones authored
    • Simon Peyton Jones's avatar
      Improve Linting in GHCi (fixes Trac #8215) · dfa8ef03
      Simon Peyton Jones authored
      The original problem was that we weren't bringing varaibles bound in the
      interactive context into scope before Linting the result of a top-level
      declaration in GHCi.  (We were doing this for expressions.)
      Moreover I found that we weren't Linting the result of desugaring
      a GHCi expression, which we really should be doing.
      It took me a bit of time to unravel all this, and I did some refactoring
      to make it easier next time.
        * CoreMonad contains the Lint wrappers that get the right
          environments into place.  It always had endPass and lintPassResult
          (which Lints bindings), but now it has lintInteractiveExpr.
        * Both use a common function CoreMonad.interactiveInScope to find
          those in-scope variables.
      Quite a bit of knock-on effects from this, but nothing exciting.
    • Gabor Greif's avatar
      Patch by lukexi. · e5255476
      Gabor Greif authored
      Fixing #8217 for the unix(-like) case.
  7. 02 Sep, 2013 4 commits
    • Herbert Valerio Riedel's avatar
      Extend `packages` by 4th column for upstream repo · a137827a
      Herbert Valerio Riedel authored
      By keeping the repository url in the `packages` file scripts such as
      source:ghc/sync-all can pick it up. Moreover, it's easier to
      automatically validate for correctness than the
      wiki:Repositories/Upstream page.
    • Jan Stolarek's avatar
      Comments only · 9e2e84e0
      Jan Stolarek authored
    • Simon Peyton Jones's avatar
      Improve documentation for the 7.8 release · d5b81cb3
      Simon Peyton Jones authored
      * Document ExplicitNamespaces
      * Improve documentation of ambiguity, and AllowAmbiguousTypes
      * Improve documentation of overlapping/incoherent instance rules
      * List language extensions in alphabetical order
    • Simon Peyton Jones's avatar
      Make Specialise close over kind variables (fixes Trac #8196) · 8d7dd547
      Simon Peyton Jones authored
      This is a lingering bug from the introduction of polymorphic kinds.
      In the specialiser we were specialising over a type, but failing
      to specialise over the kinds it mentions.
      The fix is simple: add a call to closeOverKinds.
      Most of the patch is to add closeOverKinds, and to use it in a few
      other places where we are doing essentially the same thing.