> menhir has a QPL license so that  I can not patch it

I don't see the problem with the QPL license. As any free software license,
it allows you to use the software for any uses, and in particular you can
*of course* do modifications to the existing software. The license requires
that you make it very explicit what is yours and what comes from the
original software, but it certainly does not prohibit changes.

If the licensing is an issue, have you trying contacting the author
(François Pottier) about this?

Menhir is an excellent software that seems to precisely fit your bill, so
it would be a shame if you went past it for silly licensing issues.

(Not to downplay alternatives like dypgen that is also a beautiful piece of
software, and with which I know you're intimely familiar.)

On Wed, Apr 3, 2013 at 2:55 PM, Pierre-Etienne Meunier <
pierreetienne.meunier@gmail.com> wrote:

> El 03/04/13 14:48, bob zhang escribió:
>
>
>> Dear list,
>>     I want to embed a yacc-style parser generator in OCaml, ocamlyacc is
>> written in C. menhir has a QPL license so that  I can not patch it. So
>> is there any other existing yacc-style parser generator(in OCaml)
>> available?
>>    Thanks in advance!
>> --
>> Regards
>> -- Bob
>>
>
> Have a look at dypgen, but it's not yacc-style (the lexer are embedded in
> the parsers, and the kind of grammar is GLR, not LR1).
>
> Regards,
> Pierre
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>




On Wed, Apr 3, 2013 at 2:48 PM, bob zhang <bobzhang1988@gmail.com> wrote:

>
> Dear list,
>    I want to embed a yacc-style parser generator in OCaml, ocamlyacc is
> written in C. menhir has a QPL license so that  I can not patch it. So is
> there any other existing yacc-style parser generator(in OCaml) available?
>   Thanks in advance!
> --
> Regards
> -- Bob
>