From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA12658; Fri, 16 Jan 2004 07:15:42 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA13623 for ; Fri, 16 Jan 2004 07:15:41 +0100 (MET) Received: from wetware.com (wetware.wetware.com [199.108.16.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i0G6Fe508630 for ; Fri, 16 Jan 2004 07:15:41 +0100 (MET) Received: from [208.177.152.18] (helo=[10.0.1.5]) by wetware.com with esmtp (Exim 4.20) id 1AhNGd-0001Ms-Gd for caml-list@inria.fr; Thu, 15 Jan 2004 22:15:39 -0800 Mime-Version: 1.0 (Apple Message framework v609) In-Reply-To: <20040115165315.GA10912@redhat.com> References: <20040115140324.GA3047@redhat.com> <4006AC01.F2AD2741@decis.be> <20040115154211.GA8340@redhat.com> <20040115161943.GB9541@fichte.ai.univie.ac.at> <20040115165315.GA10912@redhat.com> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <6290BE91-47EB-11D8-A8F5-000393B8133A@wetware.com> Content-Transfer-Encoding: 7bit From: james woodyatt Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch Date: Thu, 15 Jan 2004 22:15:30 -0800 To: The Trade X-Mailer: Apple Mail (2.609) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; woodyatt:01 jhw:01 wetware:01 caml-list:01 2004:99 pcre:01 lazily:01 camlp:01 woodyatt:01 jhw:01 wetware:01 regexp:01 ocaml:01 caml:01 patch:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 15 Jan 2004, at 08:53, Richard Jones wrote: > On Thu, Jan 15, 2004 at 05:19:44PM +0100, Markus Mottl wrote: >> I know it looks awful, but the four backslashes in the regexp >> pattern for re2 indeed only stand for one. They have to be escaped >> in the OCaml-string and also for PCRE again, >> i.e. twice. Substitution patterns use the $-sign for escaping - >> therefore escaping only needs to be done once. > > Another reason to hasten the addition of regular expressions to the > OCaml lexer, 'a la Perl! Doesn't the lexer already have regular expressions? I think you mean something to make regular expressions into first-class values in the language. I'm not sure that's necessary. In my recently released Pagoda Core Foundation library, there is an implementation of lazily evaluated deterministic finite automata. It also contains a functional lexical analyzer implementation that uses it. What remains to be done-- and I'm sorta planning to get around to doing it myself one of these years-- is to compile regular expressions from string values and to do appropriate syntactical glucose with CamlP4. Since I released the library under a BSD style license, it's certainly *possible* that someone could write an extension that doesn't require any changes to the core language. -- j h woodyatt ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners