summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* backpack: Be more careful when adding together ImportAvailsMatthew Pickering2022-12-081-9/+21
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-2/+2
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-0/+3
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-16/+17
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-234-7/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-118-456/+234
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-1/+1
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+1
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-012-12/+12
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-242-2/+2
* Allow configuration of error message printingMatthew Pickering2022-10-181-8/+14
* Clean up some. In particular:M Farkas-Dyck2022-09-171-2/+2
* 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
View Lorry Controller Status