summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Refactor renamer datastructuresAdam Gundry2020-12-243-118/+101
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-28/+28
* Kill floatEqualities completelySimon Peyton Jones2020-12-202-3/+3
* Quick Look: zonk result typeSimon Peyton Jones2020-12-191-19/+67
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-182-12/+12
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-141-1/+3
* Implement type applications in patternsCale Gibbard2020-12-144-31/+129
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-111-12/+16
* Delete outdated Note [Kind-checking tyvar binders for associated types]Ryan Scott2020-12-111-18/+0
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-3/+3
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-0/+2
* Remove flattening variablesRichard Eisenberg2020-12-013-8/+14
* Move Plugins into HscEnv (#17957)Sylvain Henry2020-11-211-1/+1
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-2/+2
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-154-9/+9
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-065-373/+567
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-012-5/+4
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-292-2/+2
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-293-25/+17
* Split GHC.Driver.TypesSylvain Henry2020-10-296-77/+103
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-1/+2
* Extend mAX_TUPLE_SIZE to 64GHC GitLab CI2020-10-151-1/+1
* Unification of Nat and NaturalsHaskellMouse2020-10-131-2/+2
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-111-1/+23
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-1011-90/+91
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-0/+1
* Misc cleanupKrzysztof Gogolewski2020-10-071-3/+3
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-051-1/+4
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-021-5/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-023-4/+4
* Refactor: remove rnHsDocVladislav Zavialov2020-10-011-17/+7
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-261-10/+19
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-261-2/+7
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-251-0/+2
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-251-1/+8
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-218/+269
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-247-1350/+2306
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-0/+2
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-211-1/+0
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-191-18/+25
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* Wire in constraint tuplesRyan Scott2020-09-191-2/+2
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-1/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-101/+10
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-5/+4
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-193-31/+110
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-1211-0/+12
* typecheck: Drop SPECIALISE pragmas when there is no unfoldingBen Gamari2020-08-111-3/+7
View Lorry Controller Status