summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-3/+4
* Rename a parameter; trivial refactorSimon Peyton Jones2016-10-101-2/+2
* Remove dead code “mkHsConApp”Joachim Breitner2016-10-061-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-4/+19
* Kill varEnvElts in zonkEnvIdsBartosz Nitka2016-07-051-3/+8
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-17/+8
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-3/+3
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+1
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+2
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-2/+2
* Fix typos: alpah -> alphaBartosz Nitka2016-04-221-1/+1
* Refactor free tyvars on LHS of rulesSimon Peyton Jones2016-04-221-76/+56
* Simplify defaultKindVar and friendsSimon Peyton Jones2016-04-221-3/+3
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-2/+1
* Export zonkEvBinds from TcHsSyn.Conal Elliott2016-04-101-0/+1
* Refactor in TcMatchesSimon Peyton Jones2016-03-311-4/+3
* Check for rep poly on wildcard binders.Richard Eisenberg2016-03-261-10/+73
* Fix #11723 and #11724.Richard Eisenberg2016-03-211-11/+37
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-1/+1
* Fix #11473.Richard Eisenberg2016-03-151-7/+57
* Refactor visible type application.Richard Eisenberg2016-03-141-3/+5
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-4/+22
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-3/+2
* TcMType: Add some elementary notesBen Gamari2016-02-021-1/+8
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-112/+191
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-2/+2
* Fix #11405.Richard Eisenberg2016-01-151-0/+20
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Visible type applicationRichard Eisenberg2015-12-241-11/+17
* Expose enabled language extensions to THBen Gamari2015-12-151-1/+3
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-2/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-155/+154
* Move checking for missing signatures to RnNames.reportUnusedNamesEric Seidel2015-12-071-111/+30
* Avoid panic due to partial ieNameEric Seidel2015-12-021-1/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-4/+4