Message-Id: <199602151419.PAA10563@berlioz.lami.univ-evry.fr>
Date: Thu, 15 Feb 1996 15:19:25 +0100
From: Franck Delaplace <delapla@lami.univ-evry.fr>
To: caml-list@pauillac.inria.fr
Subject: may be an other bug
I built a script shell to add signature to .mli
as follow
When I use it for global variabale as hash table
the signature is
let L = hashtbl__new 30 ;;
L : hashtbl__t _a
instead of the real instantion of L
=======================
if test -f $1.ml
then
echo $1.mli "transformation en cours"
else
echo le fichier $1.ml n existe pas
exit
fi
sed '/$1/d' $1.ml|sed '/\#open/w .tmp' > /dev/null #recuperation des open sauf les open ayan comme nom le fichier passe
if test -f $1.mli
then
camlc -c $1.mli # on compile le fichier .mli
echo "(* -------------------------------*)" >.tmp
cat $1.mli >> .tmp # insertion dans .tmp du fichier
fi
echo "(* fonction de $1.ml -----------------*)" >>.tmp
camlc -c -i $1.ml >> .tmp
mv .tmp $1.mli
echo "verifier le fichier genere "