Mercurial > urweb

diff src/mono_util.sig @ 1612:7bb8c560f23d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Announce sidedness errors with source locations
author Adam Chlipala <adam@chlipala.net>
date Fri, 25 Nov 2011 11:08:51 -0500
parents cc956020801b
children 38297294cf98
line wrap: on
line diff
--- a/src/mono_util.sig	Thu Nov 24 11:56:05 2011 -0500
+++ b/src/mono_util.sig	Fri Nov 25 11:08:51 2011 -0500
@@ -80,6 +80,8 @@
                  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 @@
                -> 'state -> Mono.file -> 'state
 
     val maxName : Mono.file -> int
+
+    val appLoc : (Mono.exp -> unit) -> Mono.file -> unit
 end
 
 end