Mercurial > urweb

diff src/mono_util.sig @ 96:82aaa1c406d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mono optimizations (start with string concat and space eating)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 18:06:52 -0400
parents 4ab19c19665f
children 813e5a52063d
line wrap: on
line diff
--- a/src/mono_util.sig	Thu Jul 03 17:53:28 2008 -0400
+++ b/src/mono_util.sig	Thu Jul 03 18:06:52 2008 -0400
@@ -109,6 +109,11 @@
                 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}