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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id DF24EBBCA for ; Fri, 14 Mar 2008 15:52:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcBAAwu2kfAXQInh2dsb2JhbACRAAEBAQgKKZgW X-IronPort-AV: E=Sophos;i="4.25,501,1199660400"; d="scan'208";a="8398364" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Mar 2008 15:52:29 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2EEqT5b021429 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 14 Mar 2008 15:52:29 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkIAAGcu2kfOvjGvoWdsb2JhbACRAAEBAQEBAQUEBgkIAReYFw X-IronPort-AV: E=Sophos;i="4.25,501,1199660400"; d="scan'208";a="10274229" Received: from web54605.mail.re2.yahoo.com ([206.190.49.175]) by mail3-smtp-sop.national.inria.fr with SMTP; 14 Mar 2008 15:52:22 +0100 Received: (qmail 42821 invoked by uid 60001); 14 Mar 2008 14:52:21 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=JQ972amVS119t7UBrhtmWG+eSzVYpWS28YCxPE75xrfK/8lSZPmS3ILgWCwjht7B5Ok7tOvOYPMc9pCnEHgyUkj/M347qILX1sFY6DyblvE6xSdDt2FSy3E+0HferJeoJBk4JNFIqA6H6mQfMbL3MxXAYcuqfeX+KEUqDpbY3y8=; X-YMail-OSG: kvhJ2OMVM1n_1O8riFX8MjpJ574W4M0Xyx92n7157LvcYo48rbkeK1lpB1qlZzHEZyJMzdyb6sCJn6jMFtUmFW5o2RN.e2thXM4FzoSXc79JixNgl4Lp.vUlkGCTggT_C7Zokr_jpAIlmclYcZ4IPNKRcQ-- Received: from [82.155.118.40] by web54605.mail.re2.yahoo.com via HTTP; Fri, 14 Mar 2008 14:52:20 GMT Date: Fri, 14 Mar 2008 14:52:20 +0000 (GMT) From: Dario Teixeira Subject: Re: [Caml-list] Re: OSR: META files for packages containing syntax extensions To: Sylvain Le Gall , caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <26180.42783.qm@web54605.mail.re2.yahoo.com> X-Miltered: at concorde with ID 47DA912D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 syntax:01 findlib:01 runtime:01 lib:01 runtime:01 libs:01 unifying:01 cheers:01 4.3:98 4.2:98 4.2.:98 caml-list:01 suffix:02 sport:96 Hi, > 4.3 and 4.2 should be merged. > > All syntax extension should be contained in a package "statements" (or > whatever other name is chosen). If there is only 1 syntax extension, the > package "statements" is directly the syntax extension. If there is > several extension, each one get its own package with a name related to > its function. Thanks for your comments, Sylvain. Below is a modification to the original proposal that incorporates your comments (with a few tweaks); under this new proposal, *all* syntax extensions have a ".syntax" suffix for findlib users: 4.1. Package is a syntax extension: "openin" - the runtime lib required by the extension (if applicable) "openin.syntax" - The syntax extension itself 4.2. Package with optional syntax extension: "pgocaml" - refers to the library without extension; "pgocaml.syntax" - refers to all syntax extensions in package; 4.3. Package is a collection of syntax extensions: "p4ck" - all runtime libs for all extensions in collection? "p4ck.openin" - runtime support for the openin extension (if applicable) "p4ck.openin.syntax" - the openin syntax extension "p4ck.syntax" - all syntax extensions in the collection Though I'd prefer to avoid the Java syndrome of being.namespaced.into.oblivion, this new proposal does have the advantage of unifying all special cases. Any thoughts? Cheers, Dario ___________________________________________________________ Rise to the challenge for Sport Relief with Yahoo! For Good http://uk.promotions.yahoo.com/forgood/