Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement `-Wnoncanonical-monadfail-instances` warning | Herbert Valerio Riedel | 2016-01-24 | 2 | -0/+41 |
* | Remove `replaceDynFlags` from `ContainsDynFlags` | Thomas Miedema | 2016-01-24 | 5 | -19/+14 |
* | Don't add ticks around type applications (#11329) | Reid Barton | 2016-01-23 | 1 | -4/+10 |
* | Remove -Wredundant-superclasses from standard warnings | Ben Gamari | 2016-01-23 | 1 | -1/+0 |
* | Give a more verbose error message when desugaring a HsTypeOut | Reid Barton | 2016-01-23 | 1 | -1/+5 |
* | Do not count void arguments when considering a function for loopification. | Jonas Scholl | 2016-01-22 | 2 | -17/+46 |
* | Default non-canonical CallStack constraints | Eric Seidel | 2016-01-22 | 3 | -9/+10 |
* | Improve comments in CmmSwitch | Joachim Breitner | 2016-01-21 | 1 | -17/+22 |
* | TyCoRep: Restore compatibility with 7.10.1 | Ben Gamari | 2016-01-21 | 1 | -1/+9 |
* | Allow implicit parameters in constraint synonyms | Simon Peyton Jones | 2016-01-21 | 1 | -5/+27 |
* | Strip casts in checkValidInstHead | Simon Peyton Jones | 2016-01-21 | 2 | -37/+59 |
* | Remove the check_lifted check in TcValidity | Simon Peyton Jones | 2016-01-21 | 1 | -3/+14 |
* | Improve pretty-printing of UnivCo | Simon Peyton Jones | 2016-01-21 | 1 | -4/+10 |
* | Comments only | Simon Peyton Jones | 2016-01-21 | 1 | -2/+2 |
* | Re-add missing kind generalisation | Simon Peyton Jones | 2016-01-21 | 5 | -28/+31 |
* | Comments only | Simon Peyton Jones | 2016-01-21 | 1 | -0/+10 |
* | Add comments about tyCoVarsOfType | Simon Peyton Jones | 2016-01-21 | 1 | -0/+28 |
* | MkId: Update OpenKind reference | Ben Gamari | 2016-01-21 | 1 | -1/+2 |
* | substTy to substTyUnchecked to fix Travis build | Bartosz Nitka | 2016-01-20 | 4 | -9/+10 |
* | Rework derivation of type representations for wired-in things | Ben Gamari | 2016-01-20 | 10 | -160/+223 |
* | Use (&&) instead of `if` in Ix derivation | Ben Gamari | 2016-01-20 | 1 | -5/+8 |
* | Oops. Add missing close-comment | Simon Peyton Jones | 2016-01-20 | 1 | -0/+2 |
* | Fix combineIdenticalAlts | Simon Peyton Jones | 2016-01-20 | 1 | -17/+48 |
* | Fix IfaceType generation for TyCons without TyVars | Ömer Sinan Ağacan | 2016-01-19 | 1 | -1/+7 |
* | Re-export ghc-boot:GHC.Serialized as Serialized | Simon Marlow | 2016-01-19 | 1 | -0/+7 |
* | Check InScopeSet in substTy and provide substTyUnchecked | Bartosz Nitka | 2016-01-19 | 20 | -51/+128 |
* | Typos in comments | Gabor Greif | 2016-01-19 | 3 | -3/+3 |
* | Hide derived OccNames from user | Ben Gamari | 2016-01-19 | 1 | -3/+5 |
* | Switch from -this-package-key to -this-unit-id. | Edward Z. Yang | 2016-01-19 | 5 | -44/+49 |
* | Replace calls to `ptext . sLit` with `text` | Jan Stolarek | 2016-01-18 | 165 | -2930/+2887 |
* | Typo in comment | Simon Peyton Jones | 2016-01-18 | 1 | -1/+1 |
* | Implement scoped type variables in pattern synonyms | Simon Peyton Jones | 2016-01-18 | 9 | -51/+96 |
* | Add Trac #11427 to Note [Recursive superclasses] | Simon Peyton Jones | 2016-01-18 | 1 | -1/+1 |
* | Refactoring on IdInfo and system derived names | Simon Peyton Jones | 2016-01-18 | 11 | -80/+57 |
* | Improve debug printing/warnings | Simon Peyton Jones | 2016-01-18 | 3 | -3/+9 |
* | White space only | Simon Peyton Jones | 2016-01-18 | 1 | -9/+6 |
* | Fix typecheck of default associated type decls | Simon Peyton Jones | 2016-01-18 | 1 | -20/+47 |
* | Layout only | Simon Peyton Jones | 2016-01-18 | 1 | -1/+2 |
* | Simplify API to tcMatchTys | Simon Peyton Jones | 2016-01-18 | 8 | -58/+49 |
* | un-wire-in error, undefined, CallStack, and IP | Eric Seidel | 2016-01-18 | 13 | -155/+43 |
* | Fix a number of subtle solver bugs | Simon Peyton Jones | 2016-01-16 | 5 | -189/+257 |
* | Work SourceText in for all integer literals | Alan Zimmerman | 2016-01-16 | 23 | -85/+109 |
* | Fix some typos | Rik Steenkamp | 2016-01-16 | 7 | -11/+10 |
* | Fix #11405. | Richard Eisenberg | 2016-01-15 | 9 | -15/+141 |
* | Fix typo in error message (#11409) | Richard Eisenberg | 2016-01-15 | 1 | -1/+1 |
* | Tiny refactoring in TcUnify | Richard Eisenberg | 2016-01-15 | 1 | -9/+6 |
* | Fix #11404 | Richard Eisenberg | 2016-01-15 | 2 | -30/+39 |
* | Constrained types have kind * in validity check. | Richard Eisenberg | 2016-01-15 | 1 | -1/+6 |
* | Fix #11254. | Richard Eisenberg | 2016-01-15 | 1 | -51/+62 |
* | Fix #11311 | Richard Eisenberg | 2016-01-15 | 1 | -2/+3 |