summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 11:08:51 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 11:08:51 -0500
commit6633e46a3dbb055395cbd228873f17e129203e08 (patch)
tree55ab899587ddf85ba9f43ce46f2419125055b40d /src/mono_util.sig
parent0acd1a5e051444741ead558e285127a277053d48 (diff)
Announce sidedness errors with source locations
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