Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major refactor in the handling of equality constraints | Simon Peyton Jones | 2023-04-14 | 1 | -1/+12 |
* | Refactor the constraint solver pipelinewip/T23070 | Simon Peyton Jones | 2023-03-22 | 1 | -2/+5 |
* | Enforce invariant of `ListBag` constructor. | M Farkas-Dyck | 2022-10-19 | 1 | -16/+26 |
* | Clean up some. In particular: | M Farkas-Dyck | 2022-09-17 | 1 | -25/+2 |
* | Introduce ConcreteTv metavariables | sheaf | 2022-03-02 | 1 | -1/+1 |
* | compiler: Introduce and use RoughMap for instance environments | Ben Gamari | 2022-02-04 | 1 | -1/+1 |
* | Make fields of GlobalRdrElt strict | Matthew Pickering | 2021-10-20 | 1 | -2/+8 |
* | Remove useless {-# LANGUAGE CPP #-} pragmas | Sylvain Henry | 2021-05-12 | 1 | -1/+1 |
* | Add GhcMessage and ancillary types | Alfredo Di Napoli | 2021-04-29 | 1 | -0/+7 |
* | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -1/+6 |
* | PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341 | Sebastian Graf | 2020-09-10 | 1 | -2/+7 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -0/+335 |