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 UAA14547 for caml-redistribution; Tue, 23 Apr 1996 20:43:58 +0200 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 SAA10036 for ; Tue, 23 Apr 1996 18:00:39 +0200 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id SAA13697 for ; Tue, 23 Apr 1996 18:00:40 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id SAA16677 for ; Tue, 23 Apr 1996 18:00:38 +0200 Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id SAA13693 for ; Tue, 23 Apr 1996 18:00:39 +0200 (MET DST) Received: (from barras@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id SAA10032 for caml-list@margaux.inria.fr; Tue, 23 Apr 1996 18:00:37 +0200 From: Bruno Barras Message-Id: <199604231600.SAA10032@pauillac.inria.fr> Subject: caml2csl V1.0 To: caml-list@margaux.inria.fr Date: Tue, 23 Apr 1996 18:00:36 +0200 (MET DST) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis I am happy to announce the first version of caml2csl, a translator from Caml Light 0.7 to Caml Special Light. You can get it by anonymous ftp at: ftp://ftp.inria.fr/lang/caml-light/Usercontribs/caml2cslV1.0.tar.gz It doesn't work like the convert tool: it was designed on the base of the camlc compiler. So, it is able to analyze the structure of each sentence. This allows the renaming of every identifier to fit the CSL conventions, and prevents name clashes, variable captures. It translates the constructions that changed, like 'where', infixes, character constants, ... caml2csl also summarizes what remains to do by hand after the automatic translation. Bruno Barras (barras@pauillac.inria.fr) PS: This program has been used to translate the system Coq (about 50000 lines). It took less than a week to get a runable system. I hope this will encourage you to use it!