Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean <vdanjean...@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

-- 
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-requ...@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20121002155725.5cb717696c48009f47420...@maison.homelinux.net

Répondre à