Safeio



next up previous contents
Next: Safetk Up: Caml Applets User guide Previous: Safestd

Safeio

Safeio makes IO functions available. Opening functions are wrapped so that the user will be prompted to accept or reject the opening. input_value is unsafe and thus not exported.

There are still risks remaining :



Francois Rouaix
Tue Nov 21 11:14:29 MET 1995