summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sig')
-rw-r--r--src/mono_util.sig4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig
index 06290e7d..7ce545e1 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -80,6 +80,8 @@ structure Exp : sig
exp : 'context * Mono.exp' * 'state -> 'state,
bind : 'context * binder -> 'context}
-> 'context -> 'state -> Mono.exp -> 'state
+
+ val appLoc : (Mono.exp -> unit) -> Mono.exp -> unit
end
structure Decl : sig
@@ -143,6 +145,8 @@ structure File : sig
-> 'state -> Mono.file -> 'state
val maxName : Mono.file -> int
+
+ val appLoc : (Mono.exp -> unit) -> Mono.file -> unit
end
end