From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id A66E7BBAF for ; Mon, 15 Feb 2010 20:52:08 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMDAHI0eUs+BBFlcGdsb2JhbACbKwEXJyC9GYRbBI4k X-IronPort-AV: E=Sophos;i="4.49,478,1262559600"; d="scan'208";a="57068768" Received: from smtp-101-monday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.101]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Feb 2010 20:52:08 +0100 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTP id 3B720A1053; Mon, 15 Feb 2010 20:52:06 +0100 (CET) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with esmtp (Exim 4.71) (envelope-from ) id 1Nh6zH-0000Lu-Gz; Mon, 15 Feb 2010 20:52:07 +0100 Message-ID: <4B79A5E6.9080407@starynkevitch.net> Date: Mon, 15 Feb 2010 20:52:06 +0100 From: Basile STARYNKEVITCH User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: Yitzhak Mandelbaum Cc: Caml-list List Subject: Re: [Caml-list] free, open-source version of OCaml grammar? References: <6EC5A02E-D36F-436E-A340-D0B0D59D40BE@cs.princeton.edu> In-Reply-To: <6EC5A02E-D36F-436E-A340-D0B0D59D40BE@cs.princeton.edu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; basile:01 basile:01 ocaml:01 yitzhak:01 mandelbaum:01 ocaml:01 parser:01 parser:01 unreadable:01 syntax:01 ocaml's:01 restrictive:01 syntax:01 afaik:01 faiencerie:01 Yitzhak Mandelbaum wrote: > Hi, > > I'd like to port the OCaml grammar to another parser generator. However, > the grammar is covered under the Q Public License, and the terms of the > license seem to require that the ported version only be distributed as a > patch to the current YACC grammar. Given that I'm porting the grammar to > serve as an example for a new parser generator, distributing it as an > unreadable patch is quite impractical. > I am not sure that the licence requires you to make it a patch, if the syntax of your grammar is sufficiently different. (for instance, to port it to ANTLR/PCCTS). But I am not a lawyer. If you intend to make a free software of your parser, perhaps the easiest way would be to ask kindly the Ocaml team? My feeling is that your understanding of Ocaml's licence is too restrictive, especially if you play the free software game. But I am not a lawyer! And a language syntax is not described by a yacc grammar, but by a human readable document. AFAIK, the Ocaml reference manual is not covered by QPL. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***