diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-03-06 09:46:21 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-03-06 09:46:21 -0500 |
| commit | 85e68b2124e33f5b005dd2bf2206a0e12b46073c (patch) | |
| tree | 21183da7e6084ec44e2520bf6a8bf49591b77622 /tests/substring.urp | |
| parent | 8ffc9097f37fa9794b9b6fe3b8fee1131b71959a (diff) | |
Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
Diffstat (limited to 'tests/substring.urp')
0 files changed, 0 insertions, 0 deletions