Le 06/03/2013 09:37, Hendrik Tews a écrit : > In principle I agree, that programs written in a certain subset > of OCaml do not need these hardening features. However, at the > moment this safe subset is not even identified... OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo output) that could serve as a starting point for that. Cheers, -- Stéphane