Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Get evaluated-ness right in the back end | Simon Peyton Jones | 2018-01-03 | 5 | -70/+129 |
* | Fix OptCoercion | Simon Peyton Jones | 2018-01-03 | 1 | -1/+3 |
* | White space only | Simon Peyton Jones | 2018-01-03 | 1 | -1/+1 |
* | Small refactoring in Coercion | Simon Peyton Jones | 2018-01-03 | 1 | -16/+13 |
* | Tiny refactor around fillInferResult | Simon Peyton Jones | 2018-01-03 | 1 | -10/+16 |
* | Comments about join point types | Simon Peyton Jones | 2018-01-03 | 2 | -38/+37 |
* | More informative pretty-printing for phantom coercions | Simon Peyton Jones | 2018-01-03 | 1 | -2/+15 |
* | Comments only | Simon Peyton Jones | 2018-01-03 | 1 | -0/+5 |
* | Rename HEq_sc and Coercible_sc to heq_sel and coercible_sel | Matthew Pickering | 2018-01-02 | 1 | -2/+2 |
* | Fix #14608 by restoring an unboxed tuple check | Ryan Scott | 2018-01-02 | 1 | -0/+5 |
* | Rewrite Note [The polymorphism rule of join points] | Joachim Breitner | 2018-01-02 | 1 | -19/+50 |
* | Typos in comments [ci skip] | Gabor Greif | 2017-12-28 | 3 | -3/+3 |
* | Fix #14618 by applying a subst in deeplyInstantiate | Richard Eisenberg | 2017-12-26 | 1 | -3/+4 |
* | Compute InScopeSet in substInteractiveContext | Bartosz Nitka | 2017-12-26 | 1 | -2/+7 |
* | MkIface: Ensure syntactic compatibility with ghc 8.0.1 | Ben Gamari | 2017-12-22 | 1 | -6/+6 |
* | Comments only [skip ci] | Richard Eisenberg | 2017-12-21 | 2 | -2/+3 |
* | Typos in comments | Gabor Greif | 2017-12-21 | 3 | -4/+4 |
* | Fix floating of equalities | Simon Peyton Jones | 2017-12-21 | 3 | -106/+214 |
* | Refactor coercion holes | Simon Peyton Jones | 2017-12-21 | 25 | -208/+234 |
* | Check for bogus quantified tyvars in partial type sigs | Simon Peyton Jones | 2017-12-21 | 2 | -47/+76 |
* | Simplify HsPatSynDetails | Simon Peyton Jones | 2017-12-21 | 10 | -87/+52 |
* | Improve treatment of sectioned holes | Ryan Scott | 2017-12-20 | 2 | -3/+11 |
* | Remove hack put in place for #12512 | Ryan Scott | 2017-12-20 | 1 | -11/+1 |
* | Fix #14588 by checking for more bang patterns | Ryan Scott | 2017-12-20 | 2 | -8/+14 |
* | Fix #14578 by checking isCompoundHsType in more places | Ryan Scott | 2017-12-20 | 2 | -6/+14 |
* | Rmove a call to mkStatePrimTy | Simon Peyton Jones | 2017-12-19 | 1 | -3/+3 |
* | Stop runRW# being magic | Simon Peyton Jones | 2017-12-19 | 3 | -66/+48 |
* | Get rid of some stuttering in comments and docs | Gabor Greif | 2017-12-19 | 39 | -47/+47 |
* | Typos in comments | Gabor Greif | 2017-12-18 | 3 | -3/+3 |
* | Fix scoping of pattern-synonym existentials | Simon Peyton Jones | 2017-12-18 | 5 | -48/+109 |
* | Tiny refactor: use mkTyVarNamePairs | Simon Peyton Jones | 2017-12-18 | 1 | -1/+1 |
* | Add missing case to HsExpr.isMonadFailStmtContext | Simon Peyton Jones | 2017-12-18 | 1 | -13/+10 |
* | Add some commentary re: fix to #11203 | Richard Eisenberg | 2017-12-15 | 1 | -0/+7 |
* | Fix tcDataKindSig | Simon Peyton Jones | 2017-12-15 | 4 | -83/+101 |
* | Fix #14135 by validity checking matches | Carlos Tomé | 2017-12-14 | 1 | -9/+17 |
* | typos in local var | Gabor Greif | 2017-12-14 | 1 | -1/+1 |
* | Better tc-trace messages | Simon Peyton Jones | 2017-12-14 | 2 | -11/+13 |
* | Fix an outright bug in the unflattener | Simon Peyton Jones | 2017-12-14 | 1 | -21/+24 |
* | Typofix in comment | Gabor Greif | 2017-12-13 | 1 | -1/+1 |
* | Further improvements to well-kinded types | Simon Peyton Jones | 2017-12-13 | 3 | -102/+134 |
* | Tidy up of wired-in names | Simon Peyton Jones | 2017-12-13 | 2 | -76/+67 |
* | Detect levity-polymorphic uses of unsafeCoerce# | Simon Peyton Jones | 2017-12-13 | 2 | -4/+25 |
* | Minor refactor of TcExpr.tcApp | Simon Peyton Jones | 2017-12-13 | 1 | -54/+70 |
* | Allow users to ignore optimization changes | David Feuer | 2017-12-11 | 5 | -19/+183 |
* | Fix SigTvs at the kind level | Simon Peyton Jones | 2017-12-11 | 7 | -103/+179 |
* | Build only well-kinded types in type checker | Simon Peyton Jones | 2017-12-11 | 1 | -6/+34 |
* | Improved panic message for zonkTcTyVarToTyVar | Simon Peyton Jones | 2017-12-11 | 1 | -2/+6 |
* | Occurrrence analysis improvements for NOINLINE functions | Simon Peyton Jones | 2017-12-08 | 5 | -36/+47 |
* | Improve LiberateCase | Simon Peyton Jones | 2017-12-08 | 1 | -36/+54 |
* | Refactor kcHsTyVarBndrs | Simon Peyton Jones | 2017-12-08 | 2 | -71/+83 |