| Commit message (Expand) | Author | Age | Files | Lines |
* | Make `UniqDSet` a newtype | Sebastian Graf | 2018-11-13 | 1 | -12/+11 |
* | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -1/+1 |
* | plugins: search for .a files if necessary | sheaf | 2018-10-28 | 1 | -40/+38 |
* | More explicit foralls (GHC Proposal 0007) | Matthew Yacavone | 2018-10-27 | 8 | -86/+138 |
* | Refactor the treatment of predicate types | Simon Peyton Jones | 2018-10-24 | 1 | -3/+3 |
* | Normalise EmptyCase types using the constraint solver | Ryan Scott | 2018-09-28 | 1 | -29/+60 |
* | Add a recursivity check in nonVoid | Ryan Scott | 2018-09-23 | 1 | -49/+142 |
* | Coercion Quantification | ningning | 2018-09-15 | 2 | -3/+6 |
* | Add support for ImplicitParams and RecursiveDo in TH | Michael Sloan | 2018-09-14 | 1 | -3/+60 |
* | A few typos [ci skip] | Gabor Greif | 2018-08-30 | 1 | -1/+1 |
* | Take strict fields into account in coverage checking | Ryan Scott | 2018-08-27 | 1 | -60/+257 |
* | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 5 | -6/+6 |
* | Fix redundant imports of Class | Ben Gamari | 2018-08-21 | 1 | -1/+0 |
* | Add a solveEqualities to tcClassDecl1 | Simon Peyton Jones | 2018-08-21 | 1 | -2/+2 |
* | Be mindful of GADT tyvar order when desugaring record updates | Ryan Scott | 2018-08-17 | 1 | -8/+17 |
* | Rename SigTv to TyVarTv (#15480) | Joachim Breitner | 2018-08-16 | 1 | -6/+6 |
* | Filter plugin dylib locations | Christiaan Baaij | 2018-08-11 | 1 | -7/+28 |
* | Turn on MonadFail desugaring by default | Herbert Valerio Riedel | 2018-08-07 | 1 | -2/+6 |
* | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -5/+5 |
* | Fix #15450 by refactoring checkEmptyCase' | Ryan Scott | 2018-08-01 | 1 | -40/+97 |
* | Plugin dependency information is stored separately | Christiaan Baaij | 2018-08-01 | 2 | -6/+102 |
* | Fix #15385 by using addDictsDs in matchGuards | Ryan Scott | 2018-07-30 | 4 | -39/+48 |
* | Small refactor in desugar of pattern matching | Simon Peyton Jones | 2018-07-27 | 5 | -20/+54 |
* | Comments only | Simon Peyton Jones | 2018-07-25 | 1 | -2/+3 |
* | Add comments on Typeable (n :: Nat) | Simon Peyton Jones | 2018-07-04 | 1 | -1/+2 |
* | TTG for IPBind had wrong extension name | Alan Zimmerman | 2018-06-22 | 2 | -2/+2 |
* | Remove HsEqTy and XEqTy | Ryan Scott | 2018-06-20 | 1 | -5/+0 |
* | Fix API Annotations for GADT constructors | Alan Zimmerman | 2018-06-19 | 1 | -2/+2 |
* | Built-in Natural literals in Core | Sylvain Henry | 2018-06-15 | 1 | -38/+48 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -4/+3 |
* | desugar: Rip out unsafeGlobalDynFlags usage in decomposeRuleLhs | Ben Gamari | 2018-06-14 | 2 | -9/+10 |
* | Don't use unsafeGlobalDynFlags in optCoercion | Ben Gamari | 2018-06-07 | 2 | -5/+5 |
* | Introduce DerivingVia | Ryan Scott | 2018-06-04 | 1 | -8/+23 |
* | Serialize docstrings to ifaces, display them with new GHCi :doc command | Simon Jakobi | 2018-06-04 | 2 | -1/+351 |
* | Implement QuantifiedConstraints | Simon Peyton Jones | 2018-06-04 | 1 | -5/+37 |
* | Fix broken test T14547. | HE, Tao | 2018-06-04 | 1 | -12/+26 |
* | Improve exhaustiveness checking for literal values and patterns, fix #14546 | HE, Tao | 2018-06-03 | 4 | -72/+141 |
* | Fix a bad interaction between GADTs and COMPLETE sets | Ryan Scott | 2018-06-02 | 1 | -5/+62 |
* | vectorise: Put it out of its misery | Ben Gamari | 2018-06-02 | 12 | -560/+15 |
* | Implement "An API for deciding whether plugins should cause recompilation" | Matthew Pickering | 2018-05-30 | 2 | -7/+20 |
* | Remove TcType.toTcType | Simon Peyton Jones | 2018-05-21 | 3 | -7/+6 |
* | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-08 | 1 | -13/+27 |
* | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 1 | -4/+1 |
* | Normalize the element type of ListPat, fix #14547 | Ben Gamari | 2018-05-08 | 1 | -1/+4 |
* | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 1 | -4/+1 |
* | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-05 | 1 | -1/+4 |
* | TTG : complete for balance of hsSyn AST | Alan Zimmerman | 2018-04-27 | 10 | -185/+278 |
* | TTG for HsBinds and Data instances Plan B | Alan Zimmerman | 2018-04-13 | 4 | -38/+57 |
* | Restore Trees That Grow reverted commits | Alan Zimmerman | 2018-04-09 | 11 | -455/+497 |
* | Remove HasSourceText and SourceTextX classes | Alan Zimmerman | 2018-04-07 | 2 | -5/+5 |