summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1921/+0
* Minor cleanupKrzysztof Gogolewski2020-03-291-2/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-9/+9
* DynFlags refactoring IIISylvain Henry2020-03-251-7/+6
* Implement mapTyCo like foldTyCoSimon Peyton Jones2020-03-171-7/+4
* Modules: Core (#13009)Sylvain Henry2020-03-161-7/+7
* Remove unused field var_inline (#17915)Krzysztof Gogolewski2020-03-141-3/+2
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-101-1/+1
* Modules: Core (#13009)Sylvain Henry2020-02-261-2/+2
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-201-1/+1
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-2/+2
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-26/+16
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-34/+16
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-5/+5
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-5/+11
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-65/+59
* Factor out HsSCC/HsCoreAnn/HsTickPragma into HsPragEwip/hs-pragVladislav Zavialov2019-11-281-11/+2
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Separate `LPat` from `Pat` on the type-levelSebastian Graf2019-11-021-6/+8
* Fix #15344: use fail when desugaring applicative-doJosef Svenningsson2019-10-281-6/+8
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Much simpler language for PmCheckSebastian Graf2019-10-111-8/+8
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-1/+2
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-031-1/+2
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-1/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-34/+34
* 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
View Lorry Controller Status