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 TAA24495; Tue, 24 Sep 2002 19:04:23 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA23741 for ; Tue, 24 Sep 2002 19:04:23 +0200 (MET DST) Received: from mlabdial.hit.bme.hu (mlabdial.hit.bme.hu [152.66.248.201]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g8OH4M503485 for ; Tue, 24 Sep 2002 19:04:22 +0200 (MET DST) Received: from localhost (kgergely@localhost) by mlabdial.hit.bme.hu (8.11.6/8.11.6) with ESMTP id g8OH4Lv02792 for ; Tue, 24 Sep 2002 19:04:21 +0200 Date: Tue, 24 Sep 2002 19:04:21 +0200 (CEST) From: "Kontra, Gergely" To: caml-list@inria.fr Subject: [Caml-list] Simple full-text search dictionary Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi! I want to implement a simple *full-text* search dictionary. I have a textfile with a list of the words. The main question of mine is how can I (easily) collect words, that match a regexp. I've found Str.search_forward, but this is seems complicated when using with List.filter (raises Exception...). Another question, whether to store the dictionary in a say: list or not. If yes, how to fill the list efficiently. Gergo +-[Kontra, Gergely @ Budapest University of Technology and Economics]-+ | Email: kgergely@mcl.hu, kgergely@turul.eet.bme.hu | | URL: turul.eet.bme.hu/~kgergely Mobile: (+36 20) 356 9656 | +-------"Olyan langesz vagyok, hogy poroltoval kellene jarnom!"-------+ . Magyar php mirror es magyar php dokumentacio: http://hu.php.net ------------------- 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