summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-1420-15051/+0
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-97/+100
* Module hierarchy: ByteCode and Runtime (cf #13009)Sylvain Henry2020-02-121-2/+2
* Fix long distance info for record updatesSebastian Graf2020-02-101-1/+19
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-089-53/+54
* slightly better named cost-centres for simple pattern bindings #17006Adam Sandberg Eriksson2020-02-081-9/+21
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-3/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-2712-0/+26
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-271-12/+20
* Module hierarchy: Cmm (cf #13009)Sylvain Henry2020-01-252-3/+3
* Handle local fixity declarations in DsMeta properlyRyan Scott2020-01-251-5/+8
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-126-7/+7
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-122-437/+628
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-2/+2
* Use non-empty lists to remove partiality in matching codeJohn Ericson2020-01-074-103/+100
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-063-3/+3
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-042-2/+2
* Module hierarchy (#13009): StgSylvain Henry2019-12-311-1/+1
* Replace panic/notHandled with noExtCon in DsMetaRyan Scott2019-12-261-35/+42
* Deduplicate copied monad failure handler codeJohn Ericson2019-12-203-26/+12
* Add GHC-API logging hooksSylvain Henry2019-12-182-2/+3
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-4/+4
* Split up coercionKindSimon Peyton Jones2019-12-061-6/+5
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-3014-359/+345
* Factor out HsSCC/HsCoreAnn/HsTickPragma into HsPragEwip/hs-pragVladislav Zavialov2019-11-283-34/+28
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-283-5/+5
* Give seq a more precise type and remove magicBen Gamari2019-11-191-68/+74
* desugar: Drop stale Note [Matching seqId]Ben Gamari2019-11-191-6/+0
* Fix random typos [skip ci]nineonine2019-11-171-2/+2
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Separate `LPat` from `Pat` on the type-levelSebastian Graf2019-11-023-6/+6
* Remove unused DynFlags arg of lookupIfaceByModuleÖmer Sinan Ağacan2019-10-291-1/+1
* Fix #15344: use fail when desugaring applicative-doJosef Svenningsson2019-10-282-14/+15
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-1/+1
* Make Coverage.TM a newtypeRyan Scott2019-10-161-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Much simpler language for PmCheckSebastian Graf2019-10-115-7/+13
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-1/+1
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-032-4/+2
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-3010-3781/+5
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-301-4/+4
* PmCheck: No ConLike instantiation in pmcheckSebastian Graf2019-09-282-302/+211
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-16/+35
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+10
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-254-246/+182
* Some leftovers from !1732. Comments only [skip ci]Sebastian Graf2019-09-242-3/+4
* Get rid of PmFakewip/pmcheck-nofakeSebastian Graf2019-09-211-229/+48
* PredType for type constraints in the pattern match checker instead of EvVarSebastian Graf2019-09-213-96/+115
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-2/+1
* Fix PmOracle.addVarCoreCt in-scope setSimon Peyton Jones2019-09-201-3/+9
View Lorry Controller Status