summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl
Commit message (Expand)AuthorAgeFilesLines
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-7/+9
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+3
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-312-16/+53
* Refactor renamer datastructuresAdam Gundry2020-12-241-25/+12
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-1/+1
* Implement type applications in patternsCale Gibbard2020-12-141-8/+9
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-9/+89
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-1/+1
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-2/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-50/+103
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-012-4/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-294-17/+29
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-231-5/+13
* Skip type family defaults with hs-boot and hsig filesJohn Ericson2020-10-172-5/+16
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-102-14/+12
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-22/+27
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-091-2/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-13/+14
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-243-23/+6
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-1/+2
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-091-1/+1
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-2/+3
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-1/+1
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-124-0/+5
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-222-7/+6
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-1/+2
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-18/+23
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-3/+5
* Expunge GhcTcIdSimon Peyton Jones2020-06-253-8/+7
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-175-32/+40
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-18/+28
* Explicit SpecificityGert-Jan Bottu2020-05-214-31/+31
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-2/+1
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-3/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-266-34/+34
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-232-6/+5
* Create di_scoped_tvs for associated data family instances properlyRyan Scott2020-04-231-7/+57
* Do eager instantation in termsSimon Peyton Jones2020-04-221-5/+4
* Fix a buglet in redundant-constraint warningsSimon Peyton Jones2020-04-201-3/+10
* Modules (#13009)Sylvain Henry2020-04-183-5/+5
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-15/+54
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-072-13/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-077-0/+5396
View Lorry Controller Status