Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Map.fold behavior changed
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-02-24 (16:01)
From: Joaquin Cuenca Abela <e98cuenc@y...>
Subject: Re: [Caml-list] Map.fold behavior changed

--- Damien Doligez <> wrote:

> On Feb 24, 2006, at 14:29, EEK Cooper wrote:
> > Since the behavior was NOT unspecified, it was
> reasonable to assume  
> > that the
> > documentation suffered from a simple typo, and to
> expect the  
> > behavior not to
> > change.
> "It is documented to do something else, so we will
> assume that it's  
> intended
> to do what it does, instead of what the
> documentation says."
> I don't think this is very reasonable.

Expecting the documentation to be beyond flaws or
making it right "by definition" also exposes you to
problems when it just doesn't follow the intent of the

The fact that the documentation is written in english
and not in a computer language doesn't make it any
less vulnerable to bugs.

If the implementation and documentation diverge, and
both behaviours are equally logic, sound, consistent,
etc. the fact that changing the documentation doesn't
create any regression problems should easily tip the
balance against any change in the implementation.


Joaquin Cuenca Abela
e98cuenc at yahoo dot com

Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around