Re: [HS] comportement curieux de malloc

[François Boisson <user.anti-spam@maison.homelinux.net>]

Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean <vdanjean.ml@free.fr> a écrit:
> Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
> de concours. Je devais les tester avec CamlLight et pas OCaml car
> il y a quelques petites incompatibilités. On passe très facilement
> d'un code CamlLight à un code OCaml (et réciproquement si on n'utilise
> que les choses basiques de OCaml), mais il faut quand même changer
> une ou deux choses. Je pourrai rechercher si vous êtes vraiment
> intéressés.

Le script ci dessous remplit parfaitement son office pour le passage de
camllight à ocaml dans les cas simple, par contre je n'ai pas vu
d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve
de Centrale proposait même des primitives Camllight et Ocaml).  Quel type
d'incompatibilité il y a?

François Boisson

#!/bin/sh
mv $1 $1.old
cat $1.old | \
sed -e '1,$s/ prefix \([^ ]*\) / ( \1 ) /g' | \
sed -e '1,$s/copy_vect/Array.copy/g' | \
sed -e '1,$s/vect_length/Array.length/g' | \
sed -e '1,$s/sub_vect/Array.sub/g' | \
sed -e '1,$s/make_vect/Array.make/g' | \
sed -e '1,$s/list_length/List.length/g' | \
sed -e '1,$s/hd/List.hd/g' | \
sed -e '1,$s/tl/List.tl/g' | \
sed -e '1,$s/rev/List.rev/g' | \
sed -e '1,$s/combine/List.combine/g' | \
sed -e '1,$s/split/List.split/g' | \
sed -e '1,$s/mem/List.mem/g' | \
sed -e '1,$s/mem_assoc/List.mem_assoc/g' | \
sed -e '1,$s/string_length/String.length/g' | \
sed -e '1,$s/sub_string/String.sub/g' | \
sed -e '1,$s/rgb/Graphics.rgb/g' | \
sed -e '1,$s/unix__/Unix./g' | \
sed -e '1,$s/system__/Sys./g' | \
sed -e '1,$s/random__/Random./g' | \
sed -e '1,$s/sys__command_line/Sys.argv/g' | \
sed -e '1,$s/system_command/Sys.command/g' | \
sed -e '1,$s/make_matrix/Array.make_matrix/g' | \
sed -e '1,$s/`\(.\)`/'"'"'\1'"'"'/g' | \
sed -e '1,$s/make_string/String.make/g' > $1