Safestd



next up previous contents
Next: Safeio Up: Caml Applets User guide Previous: Safe libraries

Safestd

Safestd is a restriction of the Caml Special Light standard library.

Pervasives

IO functions are not given, except basic printing and reading on standard channels. exit and at_exit are not available.

Array

unsafe_get and unsafe_set are not available.

String

Unsafe operations get, set, blit, fill are not available.

Char

unsafe_chr is not available.

Hashtbl

All Hashtbl operations are safe.

Lexing

Type lexbuf is abstract. Internal functions are not available.

Other modules

List, Map, Printf, Queue, Set, Sort, Stack, Random are all safe.



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