summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* 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
* Simplify XRec definitionZubin Duggal2020-07-251-4/+8
* Replace HscTarget with BackendSylvain Henry2020-07-222-20/+22
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-5/+5
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-182-18/+15
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-184-76/+34
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-15/+25
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-2/+4
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-22/+55
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-283-4/+4
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-2/+54
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-12/+7
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-8/+8
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-252-3/+3
* Expunge GhcTcIdSimon Peyton Jones2020-06-2511-91/+91
* Various performance improvementsKrzysztof Gogolewski2020-06-172-2/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-1711-345/+549
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-133-56/+64
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-105-7/+7
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
View Lorry Controller Status