From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 648D0BC69 for ; Thu, 9 Nov 2006 17:31:01 +0100 (CET) Received: from redflag.CS.Princeton.EDU (redflag.CS.Princeton.EDU [128.112.136.72]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kA9GUxjA010036 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 9 Nov 2006 17:31:00 +0100 Received: from [192.168.0.100] (H-135-207-240-18.research.att.com [135.207.240.18]) (authenticated bits=0) by redflag.CS.Princeton.EDU (8.13.7/8.13.7) with ESMTP id kA9GUnWt012588 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Thu, 9 Nov 2006 11:30:52 -0500 (EST) Mime-Version: 1.0 (Apple Message framework v624) Content-Transfer-Encoding: 7bit Message-Id: <49df5717974ed135241110f86695fcb3@cs.princeton.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed To: caml-list@yquem.inria.fr From: Yitzhak Mandelbaum Subject: camlidl and the CAMLxxx macros Date: Thu, 9 Nov 2006 11:30:49 -0500 X-Mailer: Apple Mail (2.624) X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlx=-1 adultscore=0 adjust=0 reason=safe engine=3.0.0-0610180000 definitions=main-0611090021 X-Miltered: at discorde with ID 455357C3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; yitzhak:01 mandelbaum:01 camlidl:01 camlxxx:01 camlidl:01 camlxxx:01 ocaml:01 yitzhak:01 mandelbaum:01 macros:01 macros:01 generated:05 manual:06 princeton:06 does:14 Hi, Does anyone know why the code generated by camlidl does not use the CAMLxxx macros that are specified by the OCaml manual? Thanks Yitzhak Mandelbaum