From 8d4e252a0d4ac2c89805cd2785f79572cdfe7d82 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 3 Jul 2008 18:06:52 -0400
Subject: Mono optimizations (start with string concat and space eating)

---
 src/mono_util.sig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/mono_util.sig')

diff --git a/src/mono_util.sig b/src/mono_util.sig
index 750a4d3c..ab851aea 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -109,6 +109,11 @@ structure File : sig
                 bind : 'typtext * binder -> 'typtext}
                -> 'typtext -> Mono.file -> Mono.file
 
+    val map : {typ : Mono.typ' -> Mono.typ',
+                exp : Mono.exp' -> Mono.exp',
+                decl : Mono.decl' -> Mono.decl'}
+              -> Mono.file -> Mono.file
+
     val fold : {typ : Mono.typ' * 'state -> 'state,
                 exp : Mono.exp' * 'state -> 'state,
                 decl : Mono.decl' * 'state -> 'state}
-- 
cgit v1.2.3