summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Sig.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve partial signaturesSimon Peyton Jones2023-04-141-2/+2
* HsToken in TypeArg (#19623)Vladislav Zavialov2023-01-051-1/+1
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-301-3/+12
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+2
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-1/+1
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-2/+2
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-2/+2
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-1/+2
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-061-29/+8
* TTG: Rework and improve splicesromes2022-06-011-2/+2
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-211-6/+2
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-161-17/+39
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-1/+1
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-4/+4
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-6/+11
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-111-1/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-13/+22
* Put tracing functions into their own moduleSylvain Henry2021-06-221-8/+15
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-1/+2
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-211-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-3/+1
* Worker/wrapper: Consistent namesSebastian Graf2021-04-201-1/+1
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-13/+32
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-8/+8
* GHC Exactprint main commitAlan Zimmerman2021-03-201-9/+9
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-2/+2
* Improve specialisation for imported functionsSimon Peyton Jones2021-02-181-9/+27
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-7/+8
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-61/+58
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-54/+35
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* typecheck: Drop SPECIALISE pragmas when there is no unfoldingBen Gamari2020-08-111-3/+7
* Replace HscTarget with BackendSylvain Henry2020-07-221-4/+5
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+9
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-4/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+9
* Explicit SpecificityGert-Jan Bottu2020-05-211-27/+28
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-5/+2
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
View Lorry Controller Status