diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-11 11:30:39 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 11:30:39 -0400 |
| commit | f0c067af200f82358cdd46a32fe9c894097afa0f (patch) | |
| tree | fe47c0eacf98ad054a985d40d5e45d767b489a3a /tests/rpat.ur | |
| parent | 36e6a1d1da21ec426b2072aae9bb6abf5efa201b (diff) | |
Optimization removes linear let-bindings of impure expressions
Diffstat (limited to 'tests/rpat.ur')
0 files changed, 0 insertions, 0 deletions