summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Ensure implicit parameters are liftedsheaf2022-04-011-5/+3
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-017-124/+147
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-017-22/+34
* Minor cleanupKrzysztof Gogolewski2022-04-011-2/+2
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-298-29/+30
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-283-87/+130
* Make -ddump-rn-ast and -ddump-tc-ast work in GHCiMatthew Pickering2022-03-251-0/+6
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-245-260/+467
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-238-68/+111
* Revamp derived Eq instance code generation (#17240)nineonine2022-03-201-59/+82
* TTG: TH brackets finishing touchesromes2022-03-183-46/+41
* TTG: Make HsQuote GhcTc isomorphic to NoExtFieldromes2022-03-181-8/+2
* TTG: Refactor bracket for desugaring during tcromes2022-03-184-24/+33
* Separate constructors for typed and untyped bracketsromes2022-03-186-32/+41
* Type-checking untyped bracketsromes2022-03-181-2/+2
* TTG: Refactor HsBracketromes2022-03-184-11/+7
* Suggest FFI extensions as hints (#20116)Aaron Allen2022-03-162-5/+5
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-164-149/+374
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-153-1/+61
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-1421-265/+499
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-145-46/+36
* gitlab-ci: Use the linters image in hlint jobBen Gamari2022-03-113-3/+0
* Refactor tcDeriving to generate tyfam insts before any bindingsRyan Scott2022-03-116-309/+347
* Delete GenericKind_ in favor of GenericKind_DCRyan Scott2022-03-071-71/+66
* Fix reporting constraints in pprTcSolverReportMsgKrzysztof Gogolewski2022-03-071-17/+23
* Always generalise top-level bindingsSimon Peyton Jones2022-03-071-13/+33
* Don't allow Float#/Double# literal patternssheaf2022-03-051-5/+15
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-022-18/+75
* Improve out-of-order inferred type variablessheaf2022-03-022-5/+10
View Lorry Controller Status