Lines Matching refs:filename
69 let file_of_string filename s =
70 let fd = Pervasives.open_out filename in
77 (let filename = Filename.temp_file "read_global_vals" ".ml" in
78 file_of_string filename exptext;
79 use_file filename;
80 Sys.remove filename) in
133 then let filename = Filename.temp_file "rebind" ".ml"
134 in (file_of_string filename "type_invention_warning:=false";
135 use_file filename;
136 Sys.remove filename)
139 then let filename = Filename.temp_file "rebind" ".ml"
140 in (file_of_string filename "verbose:=false";
141 use_file filename;
142 Sys.remove filename)