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_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 04DDFBC69 for ; Tue, 16 Oct 2007 20:49:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKSjFEfAXQInh2dsb2JhbACOTgEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,284,1188770400"; d="scan'208";a="3067533" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Oct 2007 20:49:47 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9GInlHr023599 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 16 Oct 2007 20:49:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKSjFEdA6aq5h2dsb2JhbACOTgEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,284,1188770400"; d="scan'208";a="3116761" Received: from rn-out-0910.google.com (HELO rn-out-0102.google.com) ([64.233.170.185]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Oct 2007 20:49:46 +0200 Received: by rn-out-0102.google.com with SMTP id e23so192882rng for ; Tue, 16 Oct 2007 11:49:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; bh=5Kh4kX26QJUDUfN3+sn9vwxCR6H7ZMZ9io4BcsoxXLM=; b=hA0+UCdXrh8YIov4PemBYnsdfJPtbw0haXsKbHTSBC/ZXDGS+4qThA1ctsdjupAy2Ed4hP2cy2G5kKc7C54/gfBSSIjWO/OPoXihiSke616G/lT+1xndngh9JgTbggs4wCQ99541IndULt/QNvD+qizHixnsGw5PlKXZ1Phibq8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; b=lRF5sgPftiqW0eOlHNmBQiL1RQYmAhl8ycGKXwEpElfRVi/lQc2sHlZg3zHp/3TTwhPOIEZkXbJCMtMaWFku/kIClGTkSZtvAwIpN5VUJQfuvGCcAnF7NAF0IaNkHlDYsxdBK+2sRxxT5kYUfdPFqm3AkbRac/pxbrK9V2aNluk= Received: by 10.150.196.5 with SMTP id t5mr1423126ybf.1192560585701; Tue, 16 Oct 2007 11:49:45 -0700 (PDT) Received: from localhost ( [83.201.28.205]) by mx.google.com with ESMTPS id i3sm7280035nfh.2007.10.16.11.49.41 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 16 Oct 2007 11:49:43 -0700 (PDT) Received: by localhost (sSMTP sendmail emulation); Tue, 16 Oct 2007 20:51:03 +0200 Date: Tue, 16 Oct 2007 20:51:03 +0200 To: caml-list@inria.fr Subject: Re: Warning on home-made functions dealing with UTF-8. Message-ID: <20071016185102.GA24220@localhost> Mail-Followup-To: Julien Moutinho , caml-list@inria.fr References: <20071009165520.GA27507@snarc.org> <6f9f8f4a0710091032r3dace80bi4f9b584ae5056675@mail.gmail.com> <20071009195119.GA29263@snarc.org> <875c7e070710091504j203ff78y8703fc5c22086671@mail.gmail.com> <20071011130354.GA7016@snarc.org> <1192110864.6045.12.camel@rosella.wigram> <20071011142141.GA8001@snarc.org> <1192114097.6184.7.camel@rosella.wigram> <20071015203509.GA5212@localhost> <20071016184621.GA12628@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20071016184621.GA12628@localhost> User-Agent: Mutt/1.5.16 (2007-06-11) From: Julien Moutinho X-Miltered: at concorde with ID 471507CB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; home-made:01 0200,:01 wrote:01 exception:01 functions:01 int:01 int:01 string:02 string:02 bytes:03 bytes:03 size:95 size:95 typo:05 tue:06 On Tue, Oct 16, 2007 at 08:46:21PM +0200, Julien Moutinho wrote: > exception Bad_utf8 of string * (string * int * int * int) > (* raised with an error description and its location: > * bytes > * start (0 < start <= String.length bytes) > * size (0 < size <= String.length bytes) > * position (0 <= position <= size) *) Typo in last minute comment: * start (0 <= start <= String.length bytes) * size (0 <= size <= String.length bytes) * position (0 <= position <= size) *)