diff src/mono_opt.sig @ 506:65d8541c130b

Fusing writes with recursive function calls
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Nov 2008 10:05:44 -0500
parents 82aaa1c406d3
children e28637743279
line wrap: on
line diff
--- a/src/mono_opt.sig	Sun Nov 23 11:47:28 2008 -0500
+++ b/src/mono_opt.sig	Tue Nov 25 10:05:44 2008 -0500
@@ -28,5 +28,6 @@
 signature MONO_OPT = sig
 
     val optimize : Mono.file -> Mono.file
+    val optExp : Mono.exp -> Mono.exp
 
 end