Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Print unticked promoted data constructors (#20531) | Vladislav Zavialov | 2022-11-25 | 1 | -1/+1 |
* | compiler: Introduce and use RoughMap for instance environments | Ben Gamari | 2022-02-04 | 1 | -2/+2 |
* | Add {lifted,unlifted}DataConKey to pretendNameIsInScope's list of Names | Ryan Scott | 2021-04-13 | 1 | -0/+3 |
* | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -3/+0 |
* | Added explicit fixity to (~). | HaskellMouse | 2020-09-17 | 1 | -0/+1 |
* | Do not print synonyms in :i (->), :i Type (#18594) | Krzysztof Gogolewski | 2020-08-23 | 1 | -1/+1 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -2/+2 |
* | Make `identifier` parse unparenthesized `->` (#18060) | Joshua Price | 2020-05-27 | 1 | -0/+12 |