Le 06/03/2013 10:48, Hendrik Tews a écrit : > OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo > output) that could serve as a starting point for that. > > Yes, I tried this on > > let f b = > let a = "abcde" in > let c = Obj.magic b in > String.unsafe_blit c 0 a 0 5 > > For the .cmo, ocamlobjinfo surprisingly reports > > Uses unsafe features: no > > and for the .cmx it doesn't say anything about unsafe features.
But Obj (obviously) uses unsafe features! Sure, Pervasives also uses unsafe features, but I was thinking about adding some kind of whitelist system. I was trying to be very cautious when I said "notion" and "starting point" and put quotes around "unsafe"... Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org