summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-25 10:05:44 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-25 10:05:44 -0500
commit940865b04fa534983982b261386a3b1926bd5531 (patch)
treefc3097de1fda1a8cf47dbbeaddc9dc1df9ba6035 /src/mono_util.sig
parent261ebaa5168b307ad38825c95d60c5bea5d9858f (diff)
Fusing writes with recursive function calls
Diffstat (limited to 'src/mono_util.sig')
-rw-r--r--src/mono_util.sig7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig
index 4e9d5d91..32a83855 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -90,6 +90,11 @@ structure Decl : sig
exp : Mono.exp' * 'state -> 'state,
decl : Mono.decl' * 'state -> 'state}
-> 'state -> Mono.decl -> 'state
+
+ val map : {typ : Mono.typ' -> Mono.typ',
+ exp : Mono.exp' -> Mono.exp',
+ decl : Mono.decl' -> Mono.decl'}
+ -> Mono.decl -> Mono.decl
end
structure File : sig
@@ -121,6 +126,8 @@ structure File : sig
exp : Mono.exp' * 'state -> 'state,
decl : Mono.decl' * 'state -> 'state}
-> 'state -> Mono.file -> 'state
+
+ val maxName : Mono.file -> int
end
end