summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Fix typosKrzysztof Gogolewski2022-09-143-4/+4
* Fix typosEric Lindblad2022-09-145-14/+14
* Add diagnostic codessheaf2022-09-134-15/+20
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-044-54/+51
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-251-2/+20
* Implement DeepSubsumptionSimon Peyton Jones2022-07-252-155/+529
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-6/+6
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-2/+0
* TTG: Move HsModule to L.H.Sromes2022-07-031-0/+2
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-4/+4
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-3/+3
* TTG: Rework and improve splicesromes2022-06-011-3/+2
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-262-2/+2
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-4/+4
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-36/+0
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+2
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-15/+16
* Fix several note references, part 2Krzysztof Gogolewski2022-05-053-7/+4
* Ensure Any is not levity-polymorphic in FFIsheaf2022-05-041-2/+2
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-287-365/+826
* Ensure that Any is Boxed in FFI imports/exportssheaf2022-04-271-9/+41
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-2/+1
* Correctly report SrcLoc of redundant constraintssheaf2022-04-081-1/+1
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-4/+4
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-1/+1
* TTG: TH brackets finishing touchesromes2022-03-181-28/+20
* TTG: Refactor bracket for desugaring during tcromes2022-03-181-4/+5
* Separate constructors for typed and untyped bracketsromes2022-03-181-2/+16
* TTG: Refactor HsBracketromes2022-03-181-4/+2
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-161-40/+58
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-143-71/+144
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-14/+12
* Don't allow Float#/Double# literal patternssheaf2022-03-051-5/+15
* Introduce ConcreteTv metavariablessheaf2022-03-026-274/+310
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-2/+3
* Make typechecking unfoldings from interfaces lazierMatthew Pickering2022-02-261-20/+10
* Suggestions due to hlintMatthew Pickering2022-02-241-1/+0
* Kill derived constraintsRichard Eisenberg2022-02-236-306/+235
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-201-7/+15
* Fix some notesMatthew Pickering2022-02-082-2/+2
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-041-1/+1
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-3/+3
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Consistently upper-case "Note ["Ben Gamari2022-02-012-2/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-298-220/+299
* Define and use restoreLclEnvSimon Peyton Jones2022-01-272-48/+85
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-0/+3
* Correct type of static forms in hsExprTypeMatthew Pickering2022-01-181-2/+3
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-172-21/+19
View Lorry Controller Status