summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/poly_kinds.rst
Commit message (Expand)AuthorAgeFilesLines
* Remove -Wunticked-promoted-constructors from -WallKrzysztof Gogolewski2022-02-221-14/+14
* Documentation: use https linksKrzysztof Gogolewski2021-09-081-1/+1
* Reword: representation instead of levitysheaf2021-06-101-1/+2
* Document the interaction between ScopedTypeVariables and StandaloneKindSignat...Ryan Scott2021-03-151-0/+31
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-85/+153
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-18/+0
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-23/+0
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-5/+5
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+71
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-2/+1
* Split glasgow_exts into several files (#17316)Sylvain Henry2020-01-251-0/+931