Mercurial > urweb

comparison src/mono_util.sig @ 96:82aaa1c406d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mono optimizations (start with string concat and space eating)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 18:06:52 -0400
parents 4ab19c19665f
children 813e5a52063d
comparison
equal deleted inserted replaced
95:274116d1a4cd 96:82aaa1c406d3
107 exp : 'typtext -> Mono.exp' -> Mono.exp', 107 exp : 'typtext -> Mono.exp' -> Mono.exp',
108 decl : 'typtext -> Mono.decl' -> Mono.decl', 108 decl : 'typtext -> Mono.decl' -> Mono.decl',
109 bind : 'typtext * binder -> 'typtext} 109 bind : 'typtext * binder -> 'typtext}
110 -> 'typtext -> Mono.file -> Mono.file 110 -> 'typtext -> Mono.file -> Mono.file
111 111
112 val map : {typ : Mono.typ' -> Mono.typ',
113 exp : Mono.exp' -> Mono.exp',
114 decl : Mono.decl' -> Mono.decl'}
115 -> Mono.file -> Mono.file
116
112 val fold : {typ : Mono.typ' * 'state -> 'state, 117 val fold : {typ : Mono.typ' * 'state -> 'state,
113 exp : Mono.exp' * 'state -> 'state, 118 exp : Mono.exp' * 'state -> 'state,
114 decl : Mono.decl' * 'state -> 'state} 119 decl : Mono.decl' * 'state -> 'state}
115 -> 'state -> Mono.file -> 'state 120 -> 'state -> Mono.file -> 'state
116 end 121 end