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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 3CA63BBAF for ; Mon, 15 Feb 2010 21:07:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgBAPc3eUtRZ90vkWdsb2JhbACbFhUBAQEBCQsKBxMDIK1Rj16EWwSOJA X-IronPort-AV: E=Sophos;i="4.49,478,1262559600"; d="scan'208";a="44697679" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Feb 2010 21:07:43 +0100 Received: from aamtaout04-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20100215200743.QIDC4204.mtaout01-winn.ispmail.ntl.com@aamtaout04-winn.ispmail.ntl.com>; Mon, 15 Feb 2010 20:07:43 +0000 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout04-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20100215200743.JQNS22934.aamtaout04-winn.ispmail.ntl.com@romulus.metastack.com>; Mon, 15 Feb 2010 20:07:43 +0000 Received: from Tenor ([172.16.0.8]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id o1FK7URF010610 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Mon, 15 Feb 2010 20:07:31 GMT From: "David Allsopp" To: "'Yitzhak Mandelbaum'" , "'Caml-list List'" References: <6EC5A02E-D36F-436E-A340-D0B0D59D40BE@cs.princeton.edu> In-Reply-To: <6EC5A02E-D36F-436E-A340-D0B0D59D40BE@cs.princeton.edu> Subject: RE: [Caml-list] free, open-source version of OCaml grammar? Date: Mon, 15 Feb 2010 20:07:30 -0000 Message-ID: <004401caae7a$8171ea50$8455bef0$@romulus.metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Outlook 14.0 thread-index: AQK3J7uHy6kDWPfoJncBMnX2Ro6RzgLtkP6S Content-Language: en-gb Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.1 cv=1ggfb5FlKZQUfF3vzm9UBYZ2uTfLsbs/8dSljwg5+mE= c=1 sm=0 a=wC17ry8VwHcA:10 a=Yg34wFwk5hrmdEHL0SYA:9 a=hakpI303js6BIAAPuD0A:7 a=53Xexok4GsrkvtKBtaH7aBf5Tc0A:4 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 X-Spam: no; 0.00; ocaml:01 yitzhak:01 ocaml:01 parser:01 parser:01 syntax:01 parses:01 ocaml's:01 inria's:01 unreadable:01 patented:98 wrote:01 parsing:01 parsing:01 caml-list:01 IANAL! Yitzhak Mendelbaum wrote: > I'd like to port the OCaml grammar to another parser generator. What *exactly* do you mean by port? A line-by-line conversion of parsing/parser.mly to a your new parser generator's syntax or a brand new file which exactly parses the same grammar as parsing/parser.mly? > 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. If you're doing a line-by-line conversion then that might reasonably be regarded as derivative but if you produce a brand new source file for your new parser generator for the OCaml language then I would not expect that to be covered by any aspect of OCaml's licence because the licence covers the source code of Inria's OCaml (i.e. Copyright) and not the idea of the OCaml language (i.e. Patent). I have no idea whether the OCaml grammar is patented, though I'd be surprised if it were as you would have expected Microsoft to have steered clear when developing F#. > 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. If you're using it as a demo, then I expect you'll find that the benevolent OCaml team may well be happy to exempt the licence for that use anyway! HTH, David