diff src/compiler.sml @ 601:7c3c21eb5b4c

Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents 57018f21cd5c
children 0dd40b6bfdf3
line wrap: on
line diff
--- a/src/compiler.sml	Sun Jan 11 10:41:38 2009 -0500
+++ b/src/compiler.sml	Tue Jan 13 15:17:11 2009 -0500
@@ -531,7 +531,8 @@
 
 val toUntangle2 = transform untangle "untangle2" o toFuse
 
-val toMono_shake2 = transform mono_shake "mono_shake2" o toUntangle2
+val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2
+val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2
 
 val pathcheck = {
     func = (fn file => (PathCheck.check file; file)),