Mercurial > urweb
diff src/mono_util.sig @ 1612:7bb8c560f23d
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