From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2E31CBC69 for ; Tue, 16 Oct 2007 23:13:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANjGFEfVpUAUnmdsb2JhbACOTgEBAQEHBAYRGA X-IronPort-AV: E=Sophos;i="4.21,284,1188770400"; d="scan'208";a="4613822" Received: from mail.gmx.net ([213.165.64.20]) by mail3-smtp-sop.national.inria.fr with SMTP; 16 Oct 2007 23:13:45 +0200 Received: (qmail invoked by alias); 16 Oct 2007 21:13:45 -0000 Received: from e178119243.adsl.alicedsl.de (EHLO [192.168.2.177]) [85.178.119.243] by mail.gmx.net (mp041) with SMTP; 16 Oct 2007 23:13:45 +0200 X-Authenticated: #6007662 X-Provags-ID: V01U2FsdGVkX19g4wR6vCFgO2Wujz+0IddiRKgKS4CIePG8pwq1jF ROtXl5OUzlJgu4 Mime-Version: 1.0 (Apple Message framework v752.3) References: <57DE4A3D-656C-4747-B391-344B0B7D82CA@gmx.de> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <28195E48-1809-4C2F-905D-063422900533@gmx.de> Content-Transfer-Encoding: 7bit From: Jan Rehders Subject: Fwd: [Caml-list] Pattern-matching destructors ? Date: Tue, 16 Oct 2007 23:13:43 +0200 To: caml-list@yquem.inria.fr X-Mailer: Apple Mail (2.752.3) X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; ocaml:01 caml-list:01 jambon:01 destructors:07 hth:09 feature:09 might:12 yet:12 martin:13 does:14 jan:15 called:16 fwd:17 views:21 html:74 Hi, you might want to have a look at micmatch. It has a feature called views: http://martin.jambon.free.fr/micmatch-manual.html#htoc10 Unfortunately it does not work with OCaml 3.10, yet HTH