summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-135-71/+108
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-103-5/+5
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+8
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-094-47/+218
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-5/+7
* GHC.Hs.Instances: Compile with -O0Ben Gamari2020-06-041-0/+7
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-5/+5
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-013-4/+4
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-247-10/+10
* Implement cstringLength# and FinalPtrAndrew Martin2020-05-231-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-214-82/+121
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-135-12/+135
* Fully remove PprDebugSylvain Henry2020-05-013-20/+21
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-302-0/+13
View Lorry Controller Status