Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove -Wunticked-promoted-constructors from -Wall | Krzysztof Gogolewski | 2022-02-22 | 1 | -14/+14 |
* | Documentation: use https links | Krzysztof Gogolewski | 2021-09-08 | 1 | -1/+1 |
* | Reword: representation instead of levity | sheaf | 2021-06-10 | 1 | -1/+2 |
* | Document the interaction between ScopedTypeVariables and StandaloneKindSignat... | Ryan Scott | 2021-03-15 | 1 | -0/+31 |
* | Fix kind inference for data types. Again. | Simon Peyton Jones | 2020-12-08 | 1 | -85/+153 |
* | Make typechecker equality consider visibility in ForAllTys | Ryan Scott | 2020-10-31 | 1 | -18/+0 |
* | Make DataKinds the sole arbiter of kind-level literals (and friends) | Ryan Scott | 2020-10-14 | 1 | -23/+0 |
* | Fix duplicated words and typos in comments and user guide | Jan HrĨek | 2020-06-28 | 1 | -5/+5 |
* | Fix #17021 by checking more return kinds | Richard Eisenberg | 2020-03-17 | 1 | -0/+71 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 1 | -2/+1 |
* | Split glasgow_exts into several files (#17316) | Sylvain Henry | 2020-01-25 | 1 | -0/+931 |