summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsType.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3549/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-11/+11
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-12/+24
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-25/+18
* Modules: Core (#13009)Sylvain Henry2020-03-161-11/+11
* Remove second tcLookupTcTyCon in tcDataDefnVladislav Zavialov2020-03-141-2/+2
* Misc cleanupKrzysztof Gogolewski2020-03-101-12/+2
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Notes only: telescopesSimon Peyton Jones2020-02-111-31/+6
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-107/+162
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-271-1/+1
* Comments in TcHsTypeSimon Peyton Jones2020-01-121-2/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-7/+7
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-1/+1
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-4/+4
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-2/+2
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-111-1/+2
* Ignore unary constraint tuples during typechecking (#17511)Ryan Scott2019-12-101-22/+66
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-2/+2
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-2/+2
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Tiny fixes to comments around flattening.Richard Eisenberg2019-10-171-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+4
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-77/+529
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-7/+7
* Use level numbers for generalisationRichard Eisenberg2019-09-191-12/+10
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-160/+157
* Rip out 9-year-old pattern variable hack (#17007)Ryan Scott2019-08-021-28/+0
* Don't typecheck too much (or too little) in DerivingVia (#16923)Ryan Scott2019-07-111-37/+23
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-15/+15
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-041-0/+2
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-8/+97
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-70/+91
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-2/+0
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-21/+40
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-2/+2
* Replace nOfThem by replicateKrzysztof Gogolewski2019-03-191-3/+3
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-161-3/+4
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-13/+13
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-59/+57
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-52/+51
* Visible dependent quantificationRyan Scott2019-03-011-2/+6
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-116/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-36/+21
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-221-4/+4
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-2/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-0/+4
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-335/+518
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-4/+5
View Lorry Controller Status