summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl
Commit message (Expand)AuthorAgeFilesLines
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-3/+3
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-1/+2
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-092-1/+4
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-1/+1
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-2/+3
* Don't default type variables in type familiessheaf2021-10-261-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-9/+14
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-291-3/+3
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-293-12/+20
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-1/+2
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-271-1/+1
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-291-3/+7
* Fix a few retainer leaks of TcGblEnvMatthew Pickering2021-07-231-1/+2
* Use HsExpansion for overloaded list patternssheaf2021-06-291-19/+40
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-284-36/+58
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-3/+2
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* Changes to HsRecField'Shayne Fletcher2021-05-192-6/+6
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-124-4/+4
* Fully remove HsVersions.hSylvain Henry2021-05-125-10/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-125-18/+21
* Fix newtype eta-reductionSimon Peyton Jones2021-05-072-6/+64
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-072-3/+3
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-302-13/+31
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-292-3/+2
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-122-9/+8
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-292-10/+10
* GHC Exactprint main commitAlan Zimmerman2021-03-204-93/+111
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-6/+9
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-1/+1
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-1/+1
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-162-6/+31
* Refactor LoggerSylvain Henry2021-02-131-1/+3
* Fix typosBrian Wignall2021-02-062-2/+2
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-012-7/+6
* Make PatSyn immutableSimon Peyton Jones2021-01-293-50/+52
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-291-1/+3
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+2
* 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
View Lorry Controller Status