summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Introduce ConcreteTv metavariablessheaf2022-03-0222-732/+642
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-262-12/+10
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-265-6/+227
* Make typechecking unfoldings from interfaces lazierMatthew Pickering2022-02-261-20/+10
* GHCi: don't normalise partially instantiated typessheaf2022-02-251-7/+30
* Suggestions due to hlintMatthew Pickering2022-02-243-7/+2
* Kill derived constraintsRichard Eisenberg2022-02-2336-3001/+2883
* Remove -Wunticked-promoted-constructors from -WallKrzysztof Gogolewski2022-02-221-1/+1
* Forbid standalone instances for built-in classessheaf2022-02-221-14/+23
* Use diagnostics for "missing signature" errorssheaf2022-02-204-149/+284
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-203-10/+23
* Tag inference work.Andreas Klebinger2022-02-124-3/+15
* Refine tcSemigroupWarnings to work in ghc-primMatthew Pickering2022-02-101-4/+7
* Look through untyped TH splices in tcInferAppHead_maybeRyan Scott2022-02-092-13/+26
* Fix some notesMatthew Pickering2022-02-0812-16/+16
* Relax TyEq:N: allow out-of-scope newtype DataConsheaf2022-02-081-8/+20
* Allow HasField in quantified constraintssheaf2022-02-081-0/+4
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-2/+2
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-043-11/+3
* Add a missing restoreLclEnvSimon Peyton Jones2022-02-041-2/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-047-34/+33
* Refactor the escaping kind check for data constructorsSimon Peyton Jones2022-02-022-58/+64
* Fix a few Note inconsistenciesBen Gamari2022-02-017-9/+10
* Consistently upper-case "Note ["Ben Gamari2022-02-018-10/+10
* Make typechecker trace less strictSimon Peyton Jones2022-01-311-2/+4
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2932-1267/+1771
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-272-1/+11
* Fix getHasGivenEqsSimon Peyton Jones2022-01-271-4/+7
* Define and use restoreLclEnvSimon Peyton Jones2022-01-275-100/+130
* Expand type synonyms in markNominalRyan Scott2022-01-271-0/+2
* Improve partial signaturesSimon Peyton Jones2022-01-272-18/+83
View Lorry Controller Status