Lines Matching defs:file
49 | process_args (file::rest) = let
51 if file = HM_BaseEnv.mosml_indicator then ()
52 else if isSource file then
53 src_file := SOME file
54 else if isObj file then
55 obj_files := toFile file::(!obj_files)
90 fun addPath I file =
91 if OS.Path.isAbsolute file then
92 file
95 FileSys.access (p ++ (file ^ ".ui"), []))
99 NONE => OS.FileSys.getDir() ++ file
100 | SOME p => p ++ file
120 NONE => (warn("Can't see base file " ^ filename ^
133 fun poly_compile warn diag quietp file I deps = let
134 val modName = fromFileNoSuf file
140 fname = fromFile file}
145 val _ = diag (fn _ => "Writing "^fromFile file^" with dependencies: " ^
155 val _ = say ("HOLMOSMLC -c " ^ fromFile file)
156 val filename = addPath [] (fromFile file)
158 case file of
178 TextIO.output (outUo, usePathVars (addPath [] (fromFile file)) ^ "\n");
278 (* first thing to do is to create the Script.uo file *)
346 val file = fromFile arg
347 val _ = exists_readable file orelse
348 (warn ("Wanted to compile "^file^