summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/HsType.hs
Commit message (Expand)AuthorAgeFilesLines
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-28/+28
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-2/+2
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-11/+11
* Implement type applications in patternsCale Gibbard2020-12-141-9/+19
* 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-011-6/+11
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-2/+2
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-2/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-310/+495
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-24/+11
* 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
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-10/+10
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-021-5/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-159/+223
* 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
* Wire in constraint tuplesRyan Scott2020-09-191-2/+2
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* 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-281-1/+1
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-2/+54
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-12/+27
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-35/+45
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-316/+515
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-9/+9
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-5/+5
* Explicit SpecificityGert-Jan Bottu2020-05-211-46/+90
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-8/+8
* Refactor hole constraints.Richard Eisenberg2020-05-061-6/+6
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Do eager instantation in termsSimon Peyton Jones2020-04-221-54/+1
* Modules (#13009)Sylvain Henry2020-04-181-6/+6
* Add a missing zonk in tcHsPartialTypeSimon Peyton Jones2020-04-181-14/+81
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-22/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+3549
View Lorry Controller Status