From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA12047 for caml-redistribution; Fri, 16 Feb 1996 09:37:16 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA06280 for <caml-list@pauillac.inria.fr>; Thu, 15 Feb 1996 15:19:27 +0100
Received: from amiante.univ-evry.fr (amiante.univ-evry.fr [192.93.214.6]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id PAA22789 for <caml-list@pauillac.inria.fr>; Thu, 15 Feb 1996 15:19:27 +0100 (MET)
Received: from berlioz.lami.univ-evry.fr (berlioz.LaMI.univ-evry.fr [192.93.214.33]) by amiante.univ-evry.fr with ESMTP (8.6.12/94.01.10); id OAA10008; Thu, 15 Feb 1996 14:31:46 +0100
Received: (delapla@localhost) by berlioz.lami.univ-evry.fr (8.6.9/95.01.26); id PAA10563; Thu, 15 Feb 1996 15:19:25 +0100
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 
Sender: weis



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 "