Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major refactor in the handling of equality constraints | Simon Peyton Jones | 2023-04-14 | 1 | -19/+46 |
* | Refactor the treatment of loopy superclass dictswip/T20666 | Richard Eisenberg | 2023-01-11 | 1 | -3/+4 |
* | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 1 | -9/+332 |
* | Fix typos | Eric Lindblad | 2022-09-14 | 1 | -2/+2 |
* | Fix several note references | Krzysztof Gogolewski | 2022-05-02 | 1 | -1/+1 |
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -6/+3 |
* | Remove useless {-# LANGUAGE CPP #-} pragmas | Sylvain Henry | 2021-05-12 | 1 | -1/+1 |
* | Fully remove HsVersions.h | Sylvain Henry | 2021-05-12 | 1 | -2/+0 |
* | Persist CorePrepProv into IfaceUnivCoProv | Simon Peyton Jones | 2021-05-04 | 1 | -3/+3 |
* | Eliminate unsafeEqualityProof in CorePrep | Simon Peyton Jones | 2021-04-26 | 1 | -0/+2 |
* | Fix the binder-swap transformation in OccurAnal | Simon Peyton Jones | 2021-03-24 | 1 | -1/+5 |
* | Fix typos | Brian Wignall | 2021-02-06 | 1 | -1/+1 |
* | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -17/+28 |
* | Clean up haddock hyperlinks of GHC.* (part1) | Takenobu Tani | 2020-06-25 | 1 | -9/+9 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -14/+16 |
* | Improve some folds over Uniq[D]FM | Simon Jakobi | 2020-05-14 | 1 | -1/+1 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -8/+8 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -3/+3 |
* | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -4/+4 |
* | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -0/+984 |