summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
View Lorry Controller Status