Mercurial > urweb

diff src/mono_util.sig @ 1800:38297294cf98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New NameJs phase, still needing some debugging
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 18:12:37 -0400
parents 7bb8c560f23d
children 8958b580d026
line wrap: on
line diff
--- a/src/mono_util.sig	Thu Aug 02 16:33:25 2012 -0400
+++ b/src/mono_util.sig	Thu Aug 02 18:12:37 2012 -0400
@@ -107,6 +107,11 @@
                decl : Mono.decl' -> Mono.decl'}
               -> Mono.decl -> Mono.decl
 
+    val foldMap : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
+                   exp : Mono.exp' * 'state -> Mono.exp' * 'state,
+                   decl : Mono.decl' * 'state -> Mono.decl' * 'state}
+                  -> 'state -> Mono.decl -> Mono.decl * 'state
+
     val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
                     exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state,
                     decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state,