summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Fix TH + defer-type-errors interaction (#21920)Krzysztof Gogolewski2022-08-041-6/+0
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-0418-121/+113
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-257-87/+109
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-252-8/+40
* Implement DeepSubsumptionSimon Peyton Jones2022-07-2510-173/+595
* Make withDict opaque to the specialisersheaf2022-07-211-34/+60
* hie-files: Record location of filled in default method bindingsZubin Duggal2022-07-131-5/+6
* Remove many GHC dependencies from L.H.Sromes2022-07-062-2/+2
* TTG for ForeignImport/Exportromes2022-07-064-31/+30
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-063-17/+16
* Prune L.H.S modules of GHC dependenciesromes2022-07-067-10/+10
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-2/+2
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-034-23/+19
* TTG: Move HsModule to L.H.Sromes2022-07-033-4/+7
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-1/+1
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-208-29/+32
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-204-80/+122
* Fix TcRnPragmaWarning meaninguhbif192022-06-092-20/+20
* Remove TcRnUnknownMessage usage from GHC.Rename.Env #20115uhbif192022-06-092-0/+102
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-094-361/+454
* Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lintJohn Ericson2022-06-071-1/+3
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-065-71/+217
* TTG: Rework and improve splicesromes2022-06-0111-384/+608
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-272-2/+180
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-266-71/+102
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-264-17/+14
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-255-404/+571
* Use UnionListsOrd instead of UnionLists in most places.Andreas Klebinger2022-05-241-3/+3
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-223-21/+100
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-214-48/+32
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-164-12/+19
* Misc cleanupKrzysztof Gogolewski2022-05-162-4/+3
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-162-34/+77
* Comments only around HsWrapperSimon Peyton Jones2022-05-131-4/+11
* Fix printing of brackets in multiplicities (#20315)jackohughes2022-05-131-1/+3
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-104-38/+64
* Comments only: Note [AppCtxt]Simon Peyton Jones2022-05-061-2/+36
* Fix several note references, part 2Krzysztof Gogolewski2022-05-0513-28/+19
* Ensure Any is not levity-polymorphic in FFIsheaf2022-05-041-2/+2
* Improve error reporting in generated codeSimon Peyton Jones2022-05-045-60/+89
* Fix several note referencesKrzysztof Gogolewski2022-05-027-12/+12
* Convert More Diagnostics (#20116)Ben Gamari2022-04-306-173/+482
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-2829-852/+1457
* Ensure that Any is Boxed in FFI imports/exportssheaf2022-04-272-9/+44
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-222-3/+5
* Relax "suppressing errors" assert in reportWantedssheaf2022-04-221-4/+9
* Remove LevityInfoKrzysztof Gogolewski2022-04-202-6/+3
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-083-31/+87
* Correctly report SrcLoc of redundant constraintssheaf2022-04-083-9/+21
* Fix the free-var test in validDerivPredSimon Peyton Jones2022-04-071-57/+42
View Lorry Controller Status