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=AWL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id C59EFBC68 for ; Sun, 12 Nov 2006 10:03:02 +0100 (CET) Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kAC932ZP019315 for ; Sun, 12 Nov 2006 10:03:02 +0100 Received: from [192.168.1.2] (unknown [82.237.71.191]) by smtp4-g19.free.fr (Postfix) with ESMTP id 3853D88D6; Sun, 12 Nov 2006 10:03:02 +0100 (CET) Message-ID: <4556E331.8010005@inria.fr> Date: Sun, 12 Nov 2006 10:02:41 +0100 From: Xavier Leroy User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Yitzhak Mandelbaum Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] camlidl and the CAMLxxx macros References: <49df5717974ed135241110f86695fcb3@cs.princeton.edu> In-Reply-To: <49df5717974ed135241110f86695fcb3@cs.princeton.edu> X-Enigmail-Version: 0.91.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 4556E346.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; camlidl:01 camlxxx:01 camlidl:01 camlxxx:01 ocaml:01 caml-list:01 api:01 api:01 macros:01 macros:01 slightly:02 implemented:02 roots:02 root:03 simpler:04 > Does anyone know why the code generated by camlidl does not use the > CAMLxxx macros that are specified by the OCaml manual? The API for GC root registration went through several design cycles, and CamlIDL was mostly written before the latest API (the CAMLxxx macros) was implemented. Besides, the Begin_roots* macros used in CamlIDL-generated code, while lower-lever than the CAMLxxx macros, are no harder, and maybe slightly simpler, to generate automatically by a program such as CamlIDL. - Xavier Leroy