Browse thread
Correct way of programming a CGI script
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Julien Moutinho <julien.moutinho@g...> |
| Subject: | Re: Warning on home-made functions dealing with UTF-8. |
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) *)