Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Use field names for all uses of datacon Match | Simon Peyton Jones | 2017-07-31 | 1 | -2/+3 |
* | Improve the desugaring of -XStrict | Simon Peyton Jones | 2017-07-31 | 1 | -47/+29 |
* | Fix #12369 by being more flexible with data insts | Richard Eisenberg | 2017-07-27 | 1 | -1/+1 |
* | Udate hsSyn AST to use Trees that Grow | Alan Zimmerman | 2017-06-06 | 1 | -63/+74 |
* | Re-engineer Given flatten-skolems | Simon Peyton Jones | 2017-05-26 | 1 | -1/+0 |
* | Make XNegativeLiterals treat -0.0 as negative 0 | Nolan | 2017-05-08 | 1 | -7/+5 |
* | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 1 | -4/+8 |
* | Implement HasField constraint solving and modify OverloadedLabels | Adam Gundry | 2017-02-14 | 1 | -2/+6 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -139/+44 |
* | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 1 | -2/+2 |
* | Typos in comments | Gabor Greif | 2016-11-29 | 1 | -1/+1 |
* | Zonk the free tvs of a RULE lhs to TyVars | Simon Peyton Jones | 2016-11-29 | 1 | -6/+14 |
* | Use TyVars in PatSyns | Simon Peyton Jones | 2016-11-25 | 1 | -7/+10 |
* | Get rid of TcTyVars more assiduously | Simon Peyton Jones | 2016-11-02 | 1 | -1/+16 |
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -3/+4 |
* | Rename a parameter; trivial refactor | Simon Peyton Jones | 2016-10-10 | 1 | -2/+2 |
* | Remove dead code “mkHsConApp” | Joachim Breitner | 2016-10-06 | 1 | -1/+1 |
* | Implement unboxed sum primitive type | Ömer Sinan Ağacan | 2016-07-21 | 1 | -4/+19 |
* | Kill varEnvElts in zonkEnvIds | Bartosz Nitka | 2016-07-05 | 1 | -3/+8 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -17/+8 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -3/+3 |
* | Merge MatchFixity and HsMatchContext | Alan Zimmerman | 2016-06-06 | 1 | -1/+1 |
* | Refactor some ppr functions to use pprUFM | Bartosz Nitka | 2016-05-12 | 1 | -1/+2 |
* | StaticPointers: Allow closed vars in the static form. | Facundo Domínguez | 2016-05-02 | 1 | -2/+2 |
* | Fix typos: alpah -> alpha | Bartosz Nitka | 2016-04-22 | 1 | -1/+1 |
* | Refactor free tyvars on LHS of rules | Simon Peyton Jones | 2016-04-22 | 1 | -76/+56 |
* | Simplify defaultKindVar and friends | Simon Peyton Jones | 2016-04-22 | 1 | -3/+3 |
* | Fix suggestions for unbound variables (#11680) | Jason Eisenberg | 2016-04-10 | 1 | -2/+1 |
* | Export zonkEvBinds from TcHsSyn. | Conal Elliott | 2016-04-10 | 1 | -0/+1 |
* | Refactor in TcMatches | Simon Peyton Jones | 2016-03-31 | 1 | -4/+3 |
* | Check for rep poly on wildcard binders. | Richard Eisenberg | 2016-03-26 | 1 | -10/+73 |
* | Fix #11723 and #11724. | Richard Eisenberg | 2016-03-21 | 1 | -11/+37 |
* | Track specified/invisible more carefully. | Richard Eisenberg | 2016-03-21 | 1 | -1/+1 |
* | Fix #11473. | Richard Eisenberg | 2016-03-15 | 1 | -7/+57 |
* | Refactor visible type application. | Richard Eisenberg | 2016-03-14 | 1 | -3/+5 |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -4/+22 |
* | Simplify AbsBinds wrapping | Simon Peyton Jones | 2016-02-12 | 1 | -3/+2 |
* | TcMType: Add some elementary notes | Ben Gamari | 2016-02-02 | 1 | -1/+8 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -112/+191 |
* | Work SourceText in for all integer literals | Alan Zimmerman | 2016-01-16 | 1 | -2/+2 |
* | Fix #11405. | Richard Eisenberg | 2016-01-15 | 1 | -0/+20 |
* | Drop pre-AMP compatibility CPP conditionals | Herbert Valerio Riedel | 2015-12-31 | 1 | -3/+0 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -11/+17 |
* | Expose enabled language extensions to TH | Ben Gamari | 2015-12-15 | 1 | -1/+3 |
* | Rework the Implicit CallStack solver to handle local lets. | Eric Seidel | 2015-12-12 | 1 | -2/+0 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -155/+154 |
* | Move checking for missing signatures to RnNames.reportUnusedNames | Eric Seidel | 2015-12-07 | 1 | -111/+30 |
* | Avoid panic due to partial ieName | Eric Seidel | 2015-12-02 | 1 | -1/+1 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -4/+4 |