summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcSigs.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-836/+0
* Minor cleanupKrzysztof Gogolewski2020-03-291-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Modules: Core (#13009)Sylvain Henry2020-03-161-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Improve SPECIALIZE pragma error messages (Fixes #12126)Alina Banerjee2019-11-101-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-1/+1
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-2/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-4/+4
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-16/+5
* Fix assertion failures reported in #16533Krzysztof Gogolewski2019-04-141-1/+1
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-6/+17
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-6/+6
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-1/+1
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-2/+2
* Visible dependent quantificationRyan Scott2019-03-011-2/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-2/+3
* Visible kind applicationmynguyen2019-01-031-1/+45
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-38/+31
* Finish fix for #14880.Tobias Dammers2018-10-281-3/+3
* Solve equalities in a pattern signatureSimon Peyton Jones2018-10-241-2/+23
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-5/+5
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-5/+4
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-2/+4
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-11/+14
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-38/+57
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-091-3/+21
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-181-42/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-1/+1
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-2/+2
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-111-1/+1
* Fix the treatment of 'closed' definitionsSimon Peyton Jones2017-06-161-8/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-16/+18
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Typos and grammar in manual/commentsGabor Greif2017-01-231-2/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-2/+1
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-171-6/+22
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-1/+2
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-011-3/+4
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-1/+1
* Typos in commentsGabor Greif2016-06-211-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
View Lorry Controller Status