summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPat.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-6/+6
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-6/+16
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-2/+2
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-1/+2
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-22/+19
* Fix typosBrian Wignall2019-11-231-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-031-0/+2
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-3/+3
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+1
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-19/+26
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-2/+2
* tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnvAlanas Plascinskas2018-06-021-3/+3
* vectorise: Put it out of its miseryBen Gamari2018-06-021-8/+0
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-4/+5
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-38/+43
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+4
* Revert "trees that grow" workBen Gamari2017-11-211-43/+38
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-1/+1
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-38/+43
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-42/+36
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-36/+42
* Identify fields by selector when type-checking (fixes #13644)Adam Gundry2017-09-211-4/+5
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Use a well-kinded substitution to instantiateSimon Peyton Jones2017-08-291-2/+7
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-3/+3
* Fix #13983 by creating a TyConFlavour type, and using itRyan Scott2017-07-191-2/+2
* Fix lexically-scoped type variablesSimon Peyton Jones2017-06-291-2/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-26/+27
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Use the correct origin in SectionL and Section RSimon Peyton Jones2017-02-161-1/+1
* Typos and grammar in manual/commentsGabor Greif2017-01-231-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-21/+3
* Add infix flag for class and data declarationsAlan Zimmerman2016-12-121-2/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+2
* Kill Type pretty-printerBen Gamari2016-11-131-3/+4
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-16/+6
* Refactor typechecking of pattern bindingsSimon Peyton Jones2016-10-211-89/+104
* Fix wrapping order in matchExpectedConTySimon Peyton Jones2016-10-171-10/+14
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+13
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+9
View Lorry Controller Status