summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Instantiate.hs
Commit message (Expand)AuthorAgeFilesLines
* Put BufSpan into RealSrcSpanwip/az/locateda-epa-improve-2023-03-27Alan Zimmerman2023-04-261-1/+1
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-11/+46
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-6/+20
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-59/+7
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-29/+30
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-2/+2
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-36/+35
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-3/+3
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-2/+2
* Introduce ConcreteTv metavariablessheaf2022-03-021-2/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-48/+75
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-17/+53
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-24/+12
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-7/+6
* Fix a few retainer leaks of TcGblEnvMatthew Pickering2021-07-231-2/+12
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-6/+8
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-0/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-2/+3
* Don't retain reference to whole TcLclEnv in SkolemTVMatthew Pickering2021-04-081-1/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-201-2/+2
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-38/+26
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-141-1/+2
* 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-061-6/+23
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-21/+20
* Split GHC.Driver.TypesSylvain Henry2020-10-291-22/+28
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-6/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-55/+34
* Refactor UnitId pretty-printingSylvain Henry2020-08-261-3/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-8/+189
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-6/+12
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-4/+4
* Update compilerSylvain Henry2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-104/+46
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Do eager instantation in termsSimon Peyton Jones2020-04-221-2/+2
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-1/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+852
View Lorry Controller Status