Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Stop the simplifier from removing StaticPtr binds. | Facundo Domínguez | 2016-06-28 | 1 | -3/+15 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -2/+2 |
* | Document some benign nondeterminism | Bartosz Nitka | 2016-05-24 | 1 | -2/+3 |
* | StaticPointers: Allow closed vars in the static form. | Facundo Domínguez | 2016-05-02 | 1 | -2/+10 |
* | Rename FV related functions | Bartosz Nitka | 2016-04-20 | 1 | -2/+2 |
* | Typos in non-code | Gabor Greif | 2016-03-30 | 1 | -1/+1 |
* | s/unLifted/unlifted for consistency | Ömer Sinan Ağacan | 2016-01-27 | 1 | -4/+4 |
* | Fix two cloning-related bugs | Simon Peyton Jones | 2016-01-26 | 1 | -32/+52 |
* | Improve exprIsBottom | Simon Peyton Jones | 2015-12-31 | 1 | -1/+12 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -15/+15 |
* | Implement more deterministic operations and document them | Bartosz Nitka | 2015-12-02 | 1 | -4/+4 |
* | Make abstractVars deterministic in SetLevel | Bartosz Nitka | 2015-11-23 | 1 | -11/+16 |
* | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -16/+20 |
* | Rename SpecInfo to RuleInfo (upon SPJ's advice). | Edward Z. Yang | 2015-10-10 | 1 | -1/+1 |
* | Zap usage info in CSE (Trac #10218) | Simon Peyton Jones | 2015-04-14 | 1 | -1/+1 |
* | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -2/+2 |
* | Source notes (Core support) | Peter Wortmann | 2014-12-16 | 1 | -0/+2 |
* | compiler: de-lhs simplCore/ | Austin Seipp | 2014-12-03 | 1 | -0/+1112 |