Comment author: administrator

The doc of Filename.temp_file says

temp_file prefix suffix returns the name of a non-existent temporary file in
the temporary directory. [blabla]

It should say:

temp_file prefix suffix creates a non-existent 0-length temporary file in
the temporary directory and returns its name. [blabla]

Fixed. Thanks for the suggestion.

This would funnily not necessarily full the temporary directory but would
say "Filename.temp_file: temp dir nonexistent or full"...
BTW, why is there this undocumented hard limit of 1000 on the number
of temporary file with a given prefix and suffix ? I think at least
the message could be improved.

The test wasn't there initially, but without it we get an infinite
loop if the temporary directory doesn't exist. This sometimes happens
on Windows machines where \temp is missing. (It actually happened to
Henri Laulhere when compiling Coq in native-code on his Windows
machine; ocamlopt just entered an endless loop trying to find a
suitable temp file for its asm output...)

• Xavier Leroy

Comment author: administrator

Fixed 2001-03-29 by XL.