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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
