From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA11772 for caml-red; Thu, 22 Jun 2000 19:09:05 +0200 (MET DST)
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 DAA00119 for <caml-list@pauillac.inria.fr>; Thu, 22 Jun 2000 03:48:47 +0200 (MET DST)
Received: from mail.is.titech.ac.jp (mail.is.titech.ac.jp [131.112.51.131])
	by nez-perce.inria.fr (8.10.0/8.10.0) with SMTP id e5M1mjj21120
	for <caml-list@inria.fr>; Thu, 22 Jun 2000 03:48:45 +0200 (MET DST)
Received: (qmail 6070 invoked from network); 22 Jun 2000 01:47:57 -0000
Received: from dmznat-9.is.titech.ac.jp (HELO localhost) (131.112.51.189)
  by mail.is.titech.ac.jp with SMTP; 22 Jun 2000 01:47:57 -0000
To: prevost@maya.com
Cc: caml-list@inria.fr
Subject: Re: Labels and operators
In-Reply-To: <87bt0y71f9.fsf@isil.localdomain>
References: <87bt0y71f9.fsf@isil.localdomain>
X-Mailer: Mew version 1.94.1 on Emacs 20.5 / Mule 4.0 (HANANOEN)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20000622104835K.wakita@is.titech.ac.jp>
Date: Thu, 22 Jun 2000 10:48:35 +0900
From: Ken Wakita <wakita@is.titech.ac.jp>
X-Dispatcher: imput version 990905(IM130)
Sender: weis@pauillac.inria.fr


Hello.

I tried the same with the Str module.  Except for the parenthesis, it
seems ok to me.

Ken

let pmatch s ~pat ?(direction = `forward) ?(pos = 0) () =
  match direction with
    `forward -> Str.search_forward ~pat s ~pos
  | `backward -> Str.search_backward ~pat s ~pos

let (=~) s regexp = pmatch s (Str.regexp regexp)

# ("Hello world!" =~ "[a-z]+") ();;
- : int = 1
# ("Hello world!" =~ "[A-Za-z]+") ();;
- : int = 0
# ("Hello world!" =~ "[A-Za-z]+") ~direction: `backward ~pos: 12 ();;
- : int = 10
# ("Hello world!" =~ "[A-Za-z]+") ~direction: `backward ~pos: 10 ();;
- : int = 10
#