* free, open-source version of OCaml grammar? @ 2010-02-15 19:32 Yitzhak Mandelbaum 2010-02-15 19:52 ` [Caml-list] " Basile STARYNKEVITCH 2010-02-15 20:07 ` David Allsopp 0 siblings, 2 replies; 4+ messages in thread From: Yitzhak Mandelbaum @ 2010-02-15 19:32 UTC (permalink / raw) To: Caml-list List 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. Does anyone know of a version of the OCaml grammar which is not covered by the Q Public License? Or, does anyone have any other suggestions? Thanks! Yitzhak ----------------------------- Yitzhak Mandelbaum ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] free, open-source version of OCaml grammar? 2010-02-15 19:32 free, open-source version of OCaml grammar? Yitzhak Mandelbaum @ 2010-02-15 19:52 ` Basile STARYNKEVITCH 2010-02-15 20:00 ` Yitzhak Mandelbaum 2010-02-15 20:07 ` David Allsopp 1 sibling, 1 reply; 4+ messages in thread From: Basile STARYNKEVITCH @ 2010-02-15 19:52 UTC (permalink / raw) To: Yitzhak Mandelbaum; +Cc: Caml-list List 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: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} *** ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] free, open-source version of OCaml grammar? 2010-02-15 19:52 ` [Caml-list] " Basile STARYNKEVITCH @ 2010-02-15 20:00 ` Yitzhak Mandelbaum 0 siblings, 0 replies; 4+ messages in thread From: Yitzhak Mandelbaum @ 2010-02-15 20:00 UTC (permalink / raw) To: Basile STARYNKEVITCH; +Cc: Caml-list List Basil, I agree that my reading might well be too restrictive. Indeed, if anyone who understands these matters well can clarify, I'd appreciate it. Regarding the issue of syntax -- true in principle, but the fact of the matter is that I started with the yacc grammar, not the reference manual. As an earlier thread on this list discussed [1], the manual is more of a guideline, then a specification. :-) Cheers, Yitzhak [1] http://caml.inria.fr/pub/ml-archives/caml-list/2008/06/b8d8bf2988e32db0cdb365037297996c.en.html On Feb 15, 2010, at 2:52 PM, Basile STARYNKEVITCH wrote: > 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: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France > *** opinions {are only mines, sont seulement les miennes} *** ----------------------------- Yitzhak Mandelbaum ^ permalink raw reply [flat|nested] 4+ messages in thread
* RE: [Caml-list] free, open-source version of OCaml grammar? 2010-02-15 19:32 free, open-source version of OCaml grammar? Yitzhak Mandelbaum 2010-02-15 19:52 ` [Caml-list] " Basile STARYNKEVITCH @ 2010-02-15 20:07 ` David Allsopp 1 sibling, 0 replies; 4+ messages in thread From: David Allsopp @ 2010-02-15 20:07 UTC (permalink / raw) To: 'Yitzhak Mandelbaum', 'Caml-list List' 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2010-02-15 20:07 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2010-02-15 19:32 free, open-source version of OCaml grammar? Yitzhak Mandelbaum 2010-02-15 19:52 ` [Caml-list] " Basile STARYNKEVITCH 2010-02-15 20:00 ` Yitzhak Mandelbaum 2010-02-15 20:07 ` David Allsopp
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox