1. 26 Mar, 2017 8 commits
  2. 24 Mar, 2017 11 commits
  3. 22 Mar, 2017 3 commits
  4. 21 Mar, 2017 2 commits
  5. 20 Mar, 2017 5 commits
  6. 19 Mar, 2017 4 commits
  7. 18 Mar, 2017 2 commits
  8. 17 Mar, 2017 5 commits
    • Simon Peyton Jones's avatar
      No join-point from an INLINE function with wrong arity · a7dbafe9
      Simon Peyton Jones authored
      The main payload of this patch is NOT to make a join-point
      from a function with an INLINE pragma and the wrong arity;
      see Note [Join points and INLINE pragmas] in CoreOpt.
      This is what caused Trac #13413.
      But we must do the exact same thing in simpleOptExpr,
      which drove me to the following refactoring:
      * Move simpleOptExpr and simpleOptPgm from CoreSubst to a new
        module CoreOpt along with a few others (exprIsConApp_maybe,
        pushCoArg, etc)
        This eliminates a module loop altogether (delete
        CoreArity.hs-boot), and stops CoreSubst getting too huge.
      * Rename Simplify.matchOrConvertToJoinPoint
           to joinPointBinding_maybe
        Move it to the new CoreOpt
        Use it in simpleOptExpr as well as in Simplify
      * Define CoreArity.joinRhsArity and use it
    • Simon Peyton Jones's avatar
      Improve Lint a little · 567bc6bd
      Simon Peyton Jones authored
      Better location info if the error is in an unfolding
    • Richard Eisenberg's avatar
    • Richard Eisenberg's avatar
      Remove solveSomeEqualities · 3cfee57a
      Richard Eisenberg authored
      I had thought that it was necessary to solve kind-level equalities
      before validity-checking a type, but I was wrong. This patch simply
      deletes code. Hooray!
    • Richard Eisenberg's avatar
      Fix #13343 by not defaulting SigTvs · 02cc8f0c
      Richard Eisenberg authored
      test case: typecheck/should_compile/T13343