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/spawn.ur | |
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/spawn.ur')
0 files changed, 0 insertions, 0 deletions