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/recReal.ur | |
parent | 36e6a1d1da21ec426b2072aae9bb6abf5efa201b (diff) |
Optimization removes linear let-bindings of impure expressions
Diffstat (limited to 'tests/recReal.ur')
0 files changed, 0 insertions, 0 deletions