Lines Matching refs:process_args
42 fun process_args [] = ()
43 | process_args ("-c"::rest) = (c := true; process_args rest)
44 | process_args ("-q"::rest) = process_args rest
45 | process_args ("-toplevel"::rest) = process_args rest
46 | process_args ("-o"::arg::rest) = (obj := SOME arg; process_args rest)
47 | process_args ("-I"::arg::rest) = (I := arg::(!I); process_args rest)
48 | process_args (file::rest) = let
56 process_args rest
59 process_args toks;