Lines Matching defs:opts
134 fun checkfile (opts as {chattiness,files_wmatches,...}:t) sofar fname =
160 val (c, tags) = List.foldl foldthis (true, tags) (#tests opts)
171 fun is_generated opts fname =
187 fun do_dirstream opts dname ds sofar wlist =
203 not (is_generated opts fname) andalso
207 recurse (checkfile opts sofar fullp) dworklist
215 and do_dirs (opts:t) sofar wlist =
221 val _ = if #chattiness opts > 1 then warn ("Checking "^d) else ()
222 val (sofar, wlist) = do_dirstream opts d ds sofar res
224 do_dirs opts sofar wlist
284 val opts = List.foldl (fn (f,a) => f a) default upds
286 if #help opts then succeed (usage_str())
290 val result = do_dirs opts true args