summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Fix two constraint solving problemsSimon Peyton Jones2020-10-272-3/+27
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-231-5/+13
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-203-3/+4
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-1/+0
* Skip type family defaults with hs-boot and hsig filesJohn Ericson2020-10-172-5/+16
* Extend mAX_TUPLE_SIZE to 64GHC GitLab CI2020-10-151-1/+1
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-153-21/+91
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-152-2/+2
* Unification of Nat and NaturalsHaskellMouse2020-10-132-3/+3
* 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-1031-185/+190
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-095-47/+54
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-093-23/+30
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-0/+3
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-091-2/+2
* Misc cleanupKrzysztof Gogolewski2020-10-072-4/+4
* Preserve as-parsed arrow type for HsUnrestrictedArrowAlan Zimmerman2020-10-071-2/+18
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-051-1/+4
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-022-12/+29
* Fix typos in commentsKrzysztof Gogolewski2020-10-027-8/+8
* Refactor: remove rnHsDocVladislav Zavialov2020-10-011-17/+7
* Remove mAIN completelyFendor2020-10-011-2/+1
* Use HomeUnit for main module without module declarationFendor2020-10-011-1/+1
* Omit redundant kind equality check in solverRichard Eisenberg2020-09-301-13/+21
* Linear types: fix kind inference when checking dataconsKrzysztof Gogolewski2020-09-291-1/+3
* 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
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-1/+1
* 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-2414-528/+673
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2420-1719/+2672
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-0/+2
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-40/+75
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-213-12/+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
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-2/+7
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-158-23/+24
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-123-75/+10
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-122-39/+49
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-123-108/+16
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-3/+3
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-1/+1
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-091-1/+1
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-092-2/+4
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-092-95/+149
* Remove "Ord FastString" instanceSylvain Henry2020-09-012-6/+6
View Lorry Controller Status