Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1611:217384f4b8ea 1612:7bb8c560f23d
78 78
79 val foldB : {typ : Mono.typ' * 'state -> 'state, 79 val foldB : {typ : Mono.typ' * 'state -> 'state,
80 exp : 'context * Mono.exp' * 'state -> 'state, 80 exp : 'context * Mono.exp' * 'state -> 'state,
81 bind : 'context * binder -> 'context} 81 bind : 'context * binder -> 'context}
82 -> 'context -> 'state -> Mono.exp -> 'state 82 -> 'context -> 'state -> Mono.exp -> 'state
83
84 val appLoc : (Mono.exp -> unit) -> Mono.exp -> unit
83 end 85 end
84 86
85 structure Decl : sig 87 structure Decl : sig
86 datatype binder = datatype Exp.binder 88 datatype binder = datatype Exp.binder
87 89
141 exp : Mono.exp' * 'state -> 'state, 143 exp : Mono.exp' * 'state -> 'state,
142 decl : Mono.decl' * 'state -> 'state} 144 decl : Mono.decl' * 'state -> 'state}
143 -> 'state -> Mono.file -> 'state 145 -> 'state -> Mono.file -> 'state
144 146
145 val maxName : Mono.file -> int 147 val maxName : Mono.file -> int
148
149 val appLoc : (Mono.exp -> unit) -> Mono.file -> unit
146 end 150 end
147 151
148 end 152 end