From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 70E5F7EE51 for ; Wed, 3 Apr 2013 15:01:57 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.44 as permitted sender) identity=mailfrom; client-ip=209.85.214.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f44.google.com) identity=helo; client-ip=209.85.214.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBADUnXFHRVdYsk2dsb2JhbABDgz2uJIljAYg3gQQIFg4BAQEBBwsLCRQEJIIfAQEEAUABGxILAQMBCwYFCxohIQEBEQEFAQoSBhMSh28BAwkGDKJQjC+Ce4RRChknAwpZiHwBBQyMO4JOBAeDQAOVC4FggR+KUYM5FimCeIE4Og X-IPAS-Result: AtUBADUnXFHRVdYsk2dsb2JhbABDgz2uJIljAYg3gQQIFg4BAQEBBwsLCRQEJIIfAQEEAUABGxILAQMBCwYFCxohIQEBEQEFAQoSBhMSh28BAwkGDKJQjC+Ce4RRChknAwpZiHwBBQyMO4JOBAeDQAOVC4FggR+KUYM5FimCeIE4Og X-IronPort-AV: E=Sophos;i="4.87,401,1363129200"; d="scan'208";a="11597840" Received: from mail-bk0-f44.google.com ([209.85.214.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Apr 2013 15:01:56 +0200 Received: by mail-bk0-f44.google.com with SMTP id jk13so801275bkc.3 for ; Wed, 03 Apr 2013 06:01:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=2SDQbOK6XmMu4DBhYlC5YoKxvy6271s3s5lBvUL/8QI=; b=r1R0rQUoRYDh3ysFe93zo8RACsfIXTN5va3+tD0+xcodZdNpDTKAxcc3nQfmE7qUlW Sjqb642YAAHxnKTbWYyhVBcofiSAfa53CeOobTrILXhcer0Hebp2PD85vpaC46tbNIvX CgBmu/Fly16fHRyIYk09158U31HHKgbCFGtyuv79RGLtPZtY7vUrzDwYyCfdLaESKRhf ikHZDsC8r90dz7pYd4Otqu1yh9b0uFA93Tt74jq04yKtTZD8F9chmbQE4Uiu5rlRB03z B1hvCsKeBjb3OsqdVz12nY1HBQx7/PfeCDNAKanqGzmm4xzZI/c6cDt/4duF/87z9WmJ 4l7Q== X-Received: by 10.205.71.72 with SMTP id yj8mr1209313bkb.103.1364994116093; Wed, 03 Apr 2013 06:01:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Wed, 3 Apr 2013 06:01:15 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Wed, 3 Apr 2013 15:01:15 +0200 Message-ID: To: bob zhang Cc: Caml List Content-Type: multipart/alternative; boundary=f46d041555dc6942ae04d9747530 Subject: Re: [Caml-list] Is there any open-sourced yacc style parser generator written in OCaml? --f46d041555dc6942ae04d9747530 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable > 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=E7ois 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=F3: > > >> 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 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 > --f46d041555dc6942ae04d9747530 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
> menhir has a QPL lice= nse so that =A0I can not patch it

I don't see the problem with t= he QPL license. As any free software license, it allows you to use the soft= ware for any uses, and in particular you can *of course* do modifications t= o the existing software. The license requires that you make it very explici= t 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 auth= or (Fran=E7ois 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 i= t for silly licensing issues.

(Not to downplay alternatives like dyp= gen that is also a beautiful piece of software, and with which I know you&#= 39;re intimely familiar.)

On Wed, Apr 3, 2013 at 2:55 PM, Pierre-Etienne Meunier &l= t;pier= reetienne.meunier@gmail.com> wrote:
El 03/04/13 14:48, bob zhang escribi=F3:


Dear list,
=A0 =A0 I want to embed a yacc-style parser generator in OCaml, ocamlyacc i= s
written in C. menhir has a QPL license so that =A0I can not patch it. So
is there any other existing yacc-style parser generator(in OCaml) available= ?
=A0 =A0Thanks 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. =A0Subscription management and archives:
ht= tps://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,
=A0 =A0I want to embed a yacc-style parser ge= nerator in OCaml, ocamlyacc is written in C. menhir has a QPL license so that =A0I can not patch i= t. So is there any other existing yacc-style parser generator(= in OCaml) available?
=A0 Thanks in advance!
--
Regards
-- Bob

--f46d041555dc6942ae04d9747530--