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 DBBABBC57 for ; Mon, 12 Apr 2010 17:44:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqoCAJ/cwktDww+1kWdsb2JhbACPMYF/gQGIN2EBAQIJCwoHEQMfiByja4FwhHOIewEEBAGFBwSDJQ X-IronPort-AV: E=Sophos;i="4.52,191,1270418400"; d="scan'208";a="48766075" Received: from web111509.mail.gq1.yahoo.com ([67.195.15.181]) by mail2-smtp-roc.national.inria.fr with SMTP; 12 Apr 2010 17:44:43 +0200 Received: (qmail 21106 invoked by uid 60001); 12 Apr 2010 15:44:43 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1271087083; bh=qAuB1UXUiwfznzPrrPeQMVL1XFOLMfXURBNQWeozfsA=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=I8doJId2PI789SnaxoxpD8+nuUaAcZ2DpJcVA+LO6PjWclpmKqBSL6Q/n3X1jzr3oFLrYWlQgS7KzoZU8I9pPk5coCSmP3ohdcDs66d1acNoR9XYJx2Z8PIpQY1yeMSRgGiz95B10pXFRmz//Gm4jzwk3tj83aWGaBMDYFK7hbs= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=MNKPBlXJ2IxDh/zM6NWPt7+cl18pgd6lMvjJet2Yw0PsbAjrtR5mt1SAnqHsb5lJ5a4vlGc2OI82GB2+pvBUJlaewlts++miTUBrYYpIOjLdA2BGkqL5xfpdqK6HpP/cV5kYARSksDfT2+FEbegIl1XwifwheMPQVMzVdN5nKlY=; Message-ID: <49370.20872.qm@web111509.mail.gq1.yahoo.com> X-YMail-OSG: s2hDRG4VM1noD.Jqy.GDZkpWKtI85u0Owi4ExHGWqF8DOJ_ r_3MPfE83XBOR8aZAUah0e5ImAHa_.iRd4rgvzYPMwjwAWDYFXm32J5eWFjL tgPpRb8XHbH1SOmbAv9RIK8qf.CO9eunCC9YSJbyr2ANlLDCosrncPYby64C XC5yoFFF5Ntqk_6XIkYoqNTruVKwXuXX_OLGuYfyGzxpeR61fCn3JzY3yUkd XRjwGY3VLlWIsz1veuey3LrVx0ibrs8mQVucIA6lG6RIwdaqSv._Pbz7gZHk gfjtaLUrZGXSMG7ZkQNmYd.RiUoJX1jkkHPmcxywbRYBDzJjhgev8y9l9Cuh pt1YDMwyXy9QtjyiUGnJlUtC7ZrYmxgLrceKoutroUdFCkHmf0dmu1uSYfn2 nuQpPU0FEM0vQR7Lv6hkcdY0LFzzG5KWC7Jd2xdCkuw-- Received: from [213.205.71.61] by web111509.mail.gq1.yahoo.com via HTTP; Mon, 12 Apr 2010 08:44:42 PDT X-Mailer: YahooMailClassic/10.1.8 YahooMailWebService/0.8.102.267879 Date: Mon, 12 Apr 2010 08:44:42 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Unicode solutions To: caml-list@inria.fr, Jacques Carette In-Reply-To: <4BC32FAC.8060703@mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; lexer:01 source-code:01 lib:01 scm:98 scm:98 caml-list:01 back-end:02 seems:03 root:04 root:04 src:94 src:94 front-end:09 php:87 php:87 Hi,=0A=0A> It seems like ulex + dypgen works for the front-end=0A> part.=A0= Back-end?=0A> [It's not clear to me that ulex + menhir works]=0A=0AI can c= onfirm that at least with a recent Menhir, you can use whichever lexer=0Ayo= u want, even Ulex. In fact, I have used the Ulex+Menhir combination in a= =0Acouple of my own projects, and their source-code is available if you wan= t=0Ato check out how it's done:=0A=0Ahttps://forge.ocamlcore.org/scm/viewvc= .php/trunk/ccss/src/ccss.ml?root=3Dccss=0Ahttps://forge.ocamlcore.org/scm/v= iewvc.php/trunk/lambdoc/src/lib/lambdoc_read_lambtex/main.ml?root=3Dlambdoc= =0A=0AHope that helps,=0ADario Teixeira=0A=0A=0A=0A