Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Store IfExtNames for PatSyn matchers and wrappers in interface file. | Dr. ERDI Gergo | 2014-05-27 | 1 | -0/+1 |
* | Add LANGUAGE pragmas to compiler/ source files | Herbert Valerio Riedel | 2014-05-15 | 11 | -17/+20 |
* | Wibble to 4cfc1fae | Simon Peyton Jones | 2014-05-14 | 1 | -1/+1 |
* | Lint should check that TyConAppCo doesn't have a synonym in the tycon position | Simon Peyton Jones | 2014-05-13 | 1 | -0/+3 |
* | Preserve evaluated-ness in CoreTidy | Simon Peyton Jones | 2014-05-08 | 1 | -45/+70 |
* | Mark evaluated arguments in dataConInstPat | Simon Peyton Jones | 2014-05-08 | 1 | -8/+27 |
* | Remove external core | Austin Seipp | 2014-05-03 | 3 | -738/+0 |
* | Don't eta-expand PAPs (fixes Trac #9020) | Simon Peyton Jones | 2014-04-24 | 1 | -1/+2 |
* | Allow a longer demand signature than arity | Simon Peyton Jones | 2014-04-08 | 1 | -6/+9 |
* | Comments only | Simon Peyton Jones | 2014-03-25 | 1 | -7/+5 |
* | Comments only | Simon Peyton Jones | 2014-03-24 | 1 | -1/+1 |
* | Catch a bunch of typos in comments | Gabor Greif | 2014-03-23 | 1 | -6/+6 |
* | Make sure we occurrence-analyse unfoldings (fixes Trac #8892) | Simon Peyton Jones | 2014-03-18 | 1 | -2/+25 |
* | Make SetLevels do substitution properly (fixes Trac #8714) | Simon Peyton Jones | 2014-03-11 | 2 | -2/+21 |
* | Comments only | Simon Peyton Jones | 2014-03-11 | 1 | -6/+6 |
* | Typos in comments | Gabor Greif | 2014-03-05 | 1 | -1/+1 |
* | More liberally eta-expand a case-expression | Joachim Breitner | 2014-02-17 | 1 | -28/+9 |
* | Remove space after ASSERT. | Julian K. Arni | 2014-02-13 | 1 | -1/+1 |
* | Fix some typos in comments | Gabor Greif | 2014-02-13 | 1 | -3/+3 |
* | Use exprIsLambda_maybe in match | Joachim Breitner | 2014-02-11 | 1 | -2/+76 |
* | In simpleOptExpr, unfold compulsary unfoldings | Joachim Breitner | 2014-02-11 | 1 | -0/+11 |
* | In CoreSubst, optimize Coercible values aggressively | Joachim Breitner | 2014-02-11 | 1 | -2/+2 |
* | Implement CallArity analysis | Joachim Breitner | 2014-02-10 | 2 | -6/+9 |
* | Squash some spelling issues | Gabor Greif | 2014-01-26 | 3 | -4/+4 |
* | Remove unused eqExprX | Joachim Breitner | 2013-12-17 | 1 | -39/+5 |
* | Improve the handling of used-once stuff | Simon Peyton Jones | 2013-12-12 | 2 | -45/+43 |
* | Some refactoring of Demand and DmdAnal | Simon Peyton Jones | 2013-12-12 | 1 | -7/+4 |
* | Replace mkTopDmdType by mkClosedStrictSig | Joachim Breitner | 2013-12-09 | 2 | -3/+3 |
* | Rename topDmdType to nopDmdType | Joachim Breitner | 2013-12-09 | 1 | -1/+1 |
* | Remove whitespace between macro identifiers and `(` | Herbert Valerio Riedel | 2013-11-29 | 1 | -2/+2 |
* | Roleify TcCoercion | Joachim Breitner | 2013-11-27 | 1 | -11/+8 |
* | Add role-checking ASSERT to mkCast | Joachim Breitner | 2013-11-27 | 1 | -1/+3 |
* | Untabify and trailing white space | Simon Peyton Jones | 2013-11-22 | 1 | -238/+237 |
* | Add a missing case to Lint's understanding of empty cases | Simon Peyton Jones | 2013-11-22 | 1 | -2/+11 |
* | 80 columns | Simon Marlow | 2013-11-21 | 1 | -8/+8 |
* | tickishCanSplit should be False for HpcTick | Simon Marlow | 2013-11-21 | 1 | -0/+1 |
* | mkNoScope: expand the default case | Simon Marlow | 2013-11-21 | 1 | -1/+1 |
* | Rename mkNoTick to mkNoCount | Simon Marlow | 2013-11-21 | 2 | -11/+12 |
* | Make Coercible higher-kinded | Joachim Breitner | 2013-11-20 | 1 | -1/+1 |
* | Make exprType work correctly in the presnce of type bindings (Trac #8522) | Simon Peyton Jones | 2013-11-12 | 1 | -1/+13 |
* | Improve eta expansion (again) | Simon Peyton Jones | 2013-11-12 | 2 | -43/+142 |
* | Refactor the topNormaliseNewType story, fixing Trac #8467 | Simon Peyton Jones | 2013-10-24 | 1 | -1/+1 |
* | Typos | Krzysztof Gogolewski | 2013-10-12 | 1 | -1/+1 |
* | Catch some popular typos in comments | Gabor Greif | 2013-10-08 | 2 | -3/+3 |
* | Globally replace "hackage.haskell.org" with "ghc.haskell.org" | Simon Marlow | 2013-10-01 | 8 | -8/+8 |
* | Typos | Krzysztof Gogolewski | 2013-09-23 | 2 | -4/+4 |
* | A little refactoring | Simon Peyton Jones | 2013-09-18 | 1 | -1/+7 |
* | Introduce coerce :: Coercible a b -> a -> bcoercible | Joachim Breitner | 2013-09-13 | 1 | -0/+8 |
* | Add support for evaluation of type-level natural numbers. | Iavor S. Diatchki | 2013-09-12 | 3 | -5/+84 |
* | Fix AMP warnings. | Austin Seipp | 2013-09-11 | 2 | -0/+16 |