summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* Add -Wmissing-role-annotationsOleg Grenrus2023-05-161-3/+40
* Don't panic in mkNewTyConRhssheaf2023-05-121-19/+28
* Stop if type constructors have kind errorsSimon Peyton Jones2023-04-141-1/+7
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-228/+60
* Handle records in the renamersheaf2023-03-291-29/+7
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-21/+14
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-9/+9
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-131-45/+1
* HsToken in TypeArg (#19623)Vladislav Zavialov2023-01-051-1/+1
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-2/+1
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-2/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-35/+33
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+2
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-50/+60
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-1/+1
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-40/+18
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-5/+22
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-191-60/+56
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-7/+7
* Add diagnostic codessheaf2022-09-131-39/+40
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-191-0/+6
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+3
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-10/+10
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-0/+25
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-3/+2
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-7/+3
* Refactor the escaping kind check for data constructorsSimon Peyton Jones2022-02-021-12/+60
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-234/+239
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-0/+1
* Abstract BangOptsSylvain Henry2022-01-121-8/+13
* Allow boring class declarations in hs-boot filessheaf2021-11-251-1/+9
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+2
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-2/+2
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-2/+2
* Don't default type variables in type familiessheaf2021-10-261-5/+5
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-16/+16
* Reject type family equation with wrong name (#20260)Krzysztof Gogolewski2021-10-051-25/+24
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-10/+14
* Emit warning if bang is applied to unlifted typesTito Sacchi2021-09-171-3/+11
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-70/+103
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-4/+4
* Reword: representation instead of levitysheaf2021-06-101-9/+9
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-2/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+2
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
View Lorry Controller Status