summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl
Commit message (Expand)AuthorAgeFilesLines
* hie-files: Record location of filled in default method bindingsZubin Duggal2022-07-131-5/+6
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-3/+3
* Prune L.H.S modules of GHC dependenciesromes2022-07-063-4/+4
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-202-3/+3
* TTG: Rework and improve splicesromes2022-06-011-6/+2
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-6/+3
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-161-17/+38
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-102-21/+46
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-282-7/+5
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-4/+2
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-1/+1
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-8/+8
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-142-1/+8
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-142-20/+15
* Kill derived constraintsRichard Eisenberg2022-02-232-3/+5
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-293-93/+106
* Expand type synonyms in markNominalRyan Scott2022-01-271-0/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Abstract BangOptsSylvain Henry2022-01-121-8/+5
* Increase type sharingBen Gamari2021-11-171-1/+1
* 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
View Lorry Controller Status