summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* 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
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* TcPlugins: `newWanted` uses the provided `CtLoc`sheaf2022-01-111-7/+16
* Multiple Home UnitsMatthew Pickering2021-12-283-39/+18
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-171-21/+17
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-251-13/+4
* More support for optional home-unitSylvain Henry2021-11-203-24/+28
* Increase type sharingBen Gamari2021-11-171-4/+4
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-1/+4
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-0/+1
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-31/+51
* Generalize the type of wrapLocSndMAVladislav Zavialov2021-11-031-4/+13
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-022-11/+11
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-021-4/+4
View Lorry Controller Status