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 C43527EE5B for ; Wed, 3 Apr 2013 14:55:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pierreetienne.meunier@gmail.com) identity=pra; client-ip=74.125.83.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="pierreetienne.meunier@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of pierreetienne.meunier@gmail.com designates 74.125.83.52 as permitted sender) identity=mailfrom; client-ip=74.125.83.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="pierreetienne.meunier@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-ee0-f52.google.com) identity=helo; client-ip=74.125.83.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="postmaster@mail-ee0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIBABImXFFKfVM0k2dsb2JhbABDhhq9YoELFg4BAQEBBwsLCRQEJIIgAQUyAQUIARscAgMMBgULFhYPCQMCAQIBEREBBQECGhMIAQGHfQEDDwSiWYwvgnuEUgoZJw1ZiHwBBQyPFBaDKgOWa48pP4J4gTg X-IPAS-Result: AqIBABImXFFKfVM0k2dsb2JhbABDhhq9YoELFg4BAQEBBwsLCRQEJIIgAQUyAQUIARscAgMMBgULFhYPCQMCAQIBEREBBQECGhMIAQGHfQEDDwSiWYwvgnuEUgoZJw1ZiHwBBQyPFBaDKgOWa48pP4J4gTg X-IronPort-AV: E=Sophos;i="4.87,401,1363129200"; d="scan'208";a="11596164" Received: from mail-ee0-f52.google.com ([74.125.83.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Apr 2013 14:55:28 +0200 Received: by mail-ee0-f52.google.com with SMTP id d17so647005eek.11 for ; Wed, 03 Apr 2013 05:55:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=OOLG00ukCKB0x9LtAPCYq7lqps8qsOgz+6pEG6nHAU4=; b=FmntNSPVW/iupeWpX/Dv9SjJAfan0l+1emYkEFIEcRgatahv4vWfyQ9p/KmBZg5VIG Y0HTfDbqBhlq1gbFHO7z/yCL6OzdKrTjCyEBxBCdFz74GUX5cF9FBoIkZFlcSfCCabDC T2WOVhORJPV7y72B5/7QSUWdKzRemVReJuNO3E7o6bfl96ySPR1e2AZg7eG66QcGxfHp zHAWL8Arzd4i3nVz5/0jMj94/zyXI7bluPzwT042huM2Esqx/xqDpWwl62Yf/yKs4Jsh DoYL4sn/Uek5cpMLGOe+xoeFoygL/GijFKm9CaFRWTnRuikA05oY3/UapAfY/C7EOz9f DoQw== X-Received: by 10.15.43.73 with SMTP id w49mr2948148eev.12.1364993727601; Wed, 03 Apr 2013 05:55:27 -0700 (PDT) Received: from marcelle.local (rl.liafa.univ-paris-diderot.fr. [81.194.27.156]) by mx.google.com with ESMTPS id n2sm7696526eeo.10.2013.04.03.05.55.26 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 03 Apr 2013 05:55:26 -0700 (PDT) Message-ID: <515C26BD.1070308@gmail.com> Date: Wed, 03 Apr 2013 14:55:25 +0200 From: Pierre-Etienne Meunier User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:17.0) Gecko/20130328 Thunderbird/17.0.5 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Is there any open-sourced yacc style parser generator written in OCaml? 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