diff src/mono_opt.sig @ 905:7a4b026e45dd

Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Aug 2009 16:13:27 -0400
parents efceae06df17
children 8e540df3294d
line wrap: on
line diff
--- a/src/mono_opt.sig	Thu Aug 06 15:23:04 2009 -0400
+++ b/src/mono_opt.sig	Sun Aug 09 16:13:27 2009 -0400
@@ -30,4 +30,6 @@
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
 
+    val removeServerCalls : bool ref
+
 end