Lines Matching refs:filename
131 fun read {assumes, includes, srcext, objext, filename} = let
132 val mentions = uqfname_holdep (addExt filename srcext)
133 val curr_dir = Path.dir filename
135 val (targetname, res0) = beginentry objext (manglefilename filename)
143 end handle Holdep_Error s => raise Holdep_Error (filename ^ ": " ^ s)
146 fun processfile {assumes, includes, fname = filename, diag} =
148 val {base, ext} = Path.splitBaseExt filename
152 filename = base, includes = includes}
154 filename = base, includes = includes}
155 | _ => {tgt = filename, deps = []}