Mercurial > urweb
diff src/compiler.sml @ 1017:34ba25d6af3b
Inlining threshold for Mono_reduce
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 25 Oct 2009 12:48:50 -0400 |
| parents | 2831be2daf2e |
| children | dfe34fad749d |
line wrap: on
line diff
--- a/src/compiler.sml Sun Oct 25 12:08:21 2009 -0400 +++ b/src/compiler.sml Sun Oct 25 12:48:50 2009 -0400 @@ -862,7 +862,8 @@ val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2 val toMono_opt4 = transform mono_opt "mono_opt4" o toMono_shake2 -val toFuse2 = transform fuse "shake2" o toMono_opt4 +val toMono_reduce3 = transform mono_reduce "mono_reduce3" o toMono_opt4 +val toFuse2 = transform fuse "shake2" o toMono_reduce3 val toUntangle3 = transform untangle "untangle3" o toFuse2 val toMono_shake3 = transform mono_shake "mono_shake3" o toUntangle3