summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-024-90/+52
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-0/+6
* Simplify XRec definitionZubin Duggal2020-07-2511-240/+288
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-213-2/+58
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-11/+0
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-143-32/+205
* Remove unused function pprHsForAllExtra (#18423)Krzysztof Gogolewski2020-07-071-27/+4
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-48/+169
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-282-162/+40
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-262-26/+49
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-258-321/+321
* Expunge GhcTcIdSimon Peyton Jones2020-06-252-5/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-175-23/+128
View Lorry Controller Status