From: Ville-Pertti Keinonen <will@exomi.com>
To: Richard Jones <rich@annexia.org>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Why do input* and readdir throw End_of_file ... annoying!
Date: Fri, 6 Jun 2003 21:03:38 +0300 [thread overview]
Message-ID: <32CAF7EC-9849-11D7-BAD2-000393863F70@exomi.com> (raw)
In-Reply-To: <20030606170131.GA2769@redhat.com>
> I'm pretty convinced that having the input* functions and readdir
> throw End_of_file when they run out of data is wrong. Instead
> 'readdir' (for example) should be prototyped as:
>
> readdir : dir_handle -> string option
>
> and the functions should return None when they run out of data.
> Either that or alternative forms which don't throw exceptions should
> be available.
I don't think it's necessarily such a clear requirement, unless you are
assuming the interface for some particular language.
Since exceptions are reasonably inexpensive in O'Caml, and used for
things such as Not_found in basic collection types, using exceptions to
indicate the end of some particular set of values seems reasonable, to
me.
Writing a try ... with statement isn't really that different from a
match statement except for the fact that you can handle exceptional
circumstances generated by several expressions in the with ... part of
a try ... with statement - if anything, that's more permissive.
-------------------
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
next prev parent reply other threads:[~2003-06-06 18:03 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-06-06 17:01 Richard Jones
2003-06-06 17:30 ` Michal Moskal
2003-06-06 18:03 ` Ville-Pertti Keinonen [this message]
2003-06-06 18:43 ` Richard Jones
2003-06-07 15:08 ` Eric C. Cooper
2003-06-07 20:27 ` David Brown
2003-06-07 21:46 ` art yerkes
2003-06-09 15:33 ` Brian Hurt
2003-06-09 9:31 ` Fabrice Le Fessant
2003-06-06 18:49 ` Brian Hurt
2003-06-06 18:51 ` Richard Jones
2003-06-06 19:09 ` [Caml-list] " Alan Post
2003-06-06 19:44 ` [Caml-list] " Brian Hurt
2003-06-06 23:08 ` Lauri Alanko
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=32CAF7EC-9849-11D7-BAD2-000393863F70@exomi.com \
--to=will@exomi.com \
--cc=caml-list@inria.fr \
--cc=rich@annexia.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox