English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] stream conversion
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-09 (19:43)
From: Tim Freeman <tim@f...>
Subject: Re: [Caml-list] stream conversion
From: brogoff@speakeasy.net
>The documentation in the Stream library for the stream builders (you use
>Stream.of_string) states :
>   Warning: these functions create streams with fast access; it is illegal to
>   mix them with streams built with [< >]; would raise Failure  when
>   accessing such mixed streams.
>and you build such streams by stream concatenation with your convert function
>and when you make foo.

There's a fix for this bug at http://www.fungible.com/stream_fixed.ml
and http://www.fungible.com/stream_fixed.mli.

It's bug 1284 in the OCAML bug-tracking system.

According to the benchmark given in the comments at the end of
http://www.fungible.com/stream_fixed.ml, my version is essentially the
same speed as the original.

Unlike the original version, it does not do type-unsafe efficiency

The bug database at http://caml.inria.fr/bin/caml-bugs documents that
bug 1284 has been ignored without comment as of 9 Dec 2003.  My code
is a clean solution to a problem that has been reported repeatedly, so
I find that frustrating.  This looks to me like a clear signal that I
shouldn't bother sending them any other bugfixes.

Tim Freeman                                                  tim@fungible.com
I xeroxed a mirror. Now I have an extra xerox machine.       -- Steven Wright

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