Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -1/+1 |
* | Split off -Wunused-type-variables from -Wunused-matches | RyanGlScott | 2016-01-26 | 1 | -3/+3 |
* | Warn about unused type variables in type families | Michał Sośnicki | 2015-12-21 | 1 | -3/+3 |
* | Make callToPats deterministic in SpecConstr | Bartosz Nitka | 2015-12-04 | 4 | -0/+59 |
* | Make the order of fixities in the iface file deterministic | Bartosz Nitka | 2015-12-02 | 4 | -0/+36 |
* | Make the determinism tests more robust | Bartosz Nitka | 2015-12-01 | 2 | -2/+2 |
* | Make abstractVars deterministic in SetLevel | Bartosz Nitka | 2015-11-23 | 4 | -0/+71 |
* | Put kind variables before type variables when specializing | Bartosz Nitka | 2015-11-11 | 3 | -0/+315 |
* | Make type-class dictionary let binds deterministic | Bartosz Nitka | 2015-10-30 | 4 | -0/+41 |
* | Sort field labels before fingerprint hashing | Bartosz Nitka | 2015-10-27 | 5 | -0/+29 |
* | Make stronglyConnCompFromEdgedVertices deterministic | Bartosz Nitka | 2015-10-22 | 4 | -0/+33 |