Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [compat] Remove NOOP and alias deprecated options. | 2018-03-04 | |
| | | | | | | | Following up on #6791, we remove: - `Record Elimination Schemes`, a deprecated alias of `Nonrecursive Elimination Schemes` - `Match Strict` a deprecated NOOP. | ||
* | Fix test-suite file. | 2014-09-27 | |
| | |||
* | Fix semantics of matching with folded/unfolded projections to definitely | 2014-09-27 | |
| | | | | avoid looping and be compatible with unfold. | ||
* | Fix bug 3662 by actually reducing primitive projections in cbv/compute. | 2014-09-27 | |