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 KAA18813 for caml-red; Fri, 8 Dec 2000 10:18:14 +0100 (MET) 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 HAA23822 for ; Fri, 8 Dec 2000 07:04:49 +0100 (MET) Received: from dynabook (h12-092.tokyu-net.catv.ne.jp [202.221.12.92]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eB864kf12953 for ; Fri, 8 Dec 2000 07:04:47 +0100 (MET) Received: from dynabook ([127.0.0.1] helo=localhost ident=sumii) by dynabook with esmtp (Exim 3.12 #1 (Debian)) id 144GeC-0000cI-00; Fri, 08 Dec 2000 15:04:44 +0900 To: caml-list@inria.fr cc: sumii@venus.is.s.u-tokyo.ac.jp From: eijiro_sumii@anet.ne.jp Subject: substring match like "strstr" X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20001208150443I.sumii@yl.is.s.u-tokyo.ac.jp> Date: Fri, 08 Dec 2000 15:04:43 +0900 X-Dispatcher: imput version 991025(IM133) Sender: weis@pauillac.inria.fr Hi all, Is there a substring matching function (like "strstr" in libc) in the standard OCaml library? Of course there are many ways to implement it (by writing it from scratch, using the Str library, interfacing "strstr" in libc, etc.), but they are overkill for my purpose. So I'm wondering whether such a function already exists, but I couldn't find it in the manual... Eijiro