summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-092-2/+2
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-2/+63
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-1/+1
* Don't use FastString to convert string to UTF8Matthew Pickering2021-03-031-10/+1
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-012-38/+32
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-14/+178
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+4
* Make PatSyn immutableSimon Peyton Jones2021-01-293-10/+11
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-292-2/+2
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-291-4/+42
* Track the dependencies of `GHC.Hs.Expr.Types`John Ericson2021-01-232-2/+2
* Separate AST from GhcPass (#18936)John Ericson2021-01-2311-6189/+89
* Factorize and document binder collect functionsSylvain Henry2021-01-221-112/+218
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+0
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-4/+9
* Refactor renamer datastructuresAdam Gundry2020-12-245-56/+75
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-2/+0
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-19/+10
* Implement type applications in patternsCale Gibbard2020-12-145-35/+52
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-3/+3
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-065-229/+450
* Restrict Linear arrow %1 to exactly literal 1 onlyAlan Zimmerman2020-11-031-2/+2
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-304-36/+68
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-8/+5
* Split GHC.Driver.TypesSylvain Henry2020-10-299-21/+32
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-202-23/+25
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-1/+2
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-1010-121/+103
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-2/+3
* ApiAnnotations : preserve parens in GADTsAlan Zimmerman2020-10-091-7/+11
* Misc cleanupKrzysztof Gogolewski2020-10-071-3/+0
* Minor TTG clean-up: comments, unused families, bottomVladislav Zavialov2020-10-022-52/+54
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-292-3/+3
* Comments: change outdated reference to mergeOpswip/docs-no-merge-opsVladislav Zavialov2020-09-271-1/+1
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-1/+1
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-243-17/+22
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-0/+2
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-153-17/+52
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-18/+0
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-4/+7
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+1
* Make {hsExpr,hsType,pat}NeedsParens aware of boxed 1-tuplesRyan Scott2020-08-273-1/+25
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-257-68/+57
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-6/+1
* Implement -Wredundant-bang-patterns (#17340)nineonine2020-08-191-2/+2
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-132-0/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-128-4/+15