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 | 6119cdebb5f614a894a8953d3594f8e4b54f221f (patch) | |
| tree | 21183da7e6084ec44e2520bf6a8bf49591b77622 /src/settings.sml | |
| parent | 629f5daeb4017dcb9489fb7bd24a45e61b63f473 (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 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions