summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-4/+4
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-15/+41
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-5/+4
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-0/+1
* Run typed splices in the zonkerMatthew Pickering2019-01-111-0/+5
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-12/+23
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-64/+80
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+0
* Fix #15787 by squashing a coercion hole.Richard Eisenberg2018-10-281-1/+3
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-13/+17
* Coercion Quantificationningning2018-09-151-9/+9
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-91/+186
* Clean up TcHsSyn.zonkEnvSimon Peyton Jones2018-08-241-113/+134
* Remove the type-checking knot.Richard Eisenberg2018-08-011-16/+29
* Fix and document cloneWCSimon Peyton Jones2018-07-251-1/+1
* TTG for IPBind had wrong extension nameAlan Zimmerman2018-06-221-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-12/+27
* vectorise: Put it out of its miseryBen Gamari2018-06-021-43/+4
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-65/+85
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-22/+42
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-160/+175
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+1
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-33/+67
* Refactor coercion holesSimon Peyton Jones2017-12-211-17/+13
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-211-5/+13
* Revert "trees that grow" workBen Gamari2017-11-211-175/+160
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-28/+33
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-71/+75
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-62/+68
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-65/+59
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-59/+65
* ApplicativeDo: handle BodyStmt (#12143)Simon Marlow2017-10-271-5/+5
* Remove m_type from Match (#14313)Joachim Breitner2017-10-041-2/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-311-2/+3
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-47/+29
* Fix #12369 by being more flexible with data instsRichard Eisenberg2017-07-271-1/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-63/+74
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-1/+0
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-7/+5
* Type-indexed TypeableBen Gamari2017-02-181-4/+8
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-2/+6
* Update levity polymorphismRichard Eisenberg2017-01-191-139/+44
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-2/+2
* Typos in commentsGabor Greif2016-11-291-1/+1
* Zonk the free tvs of a RULE lhs to TyVarsSimon Peyton Jones2016-11-291-6/+14
* Use TyVars in PatSynsSimon Peyton Jones2016-11-251-7/+10
* Get rid of TcTyVars more assiduouslySimon Peyton Jones2016-11-021-1/+16
View Lorry Controller Status