From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA22675; Tue, 9 Dec 2003 20:43:51 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA22429 for ; Tue, 9 Dec 2003 20:43:50 +0100 (MET) Received: from mta7.pltn13.pbi.net (mta7.pltn13.pbi.net [64.164.98.8]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hB9Jhm114543 for ; Tue, 9 Dec 2003 20:43:49 +0100 (MET) Received: from lobus.fungible.com (fungible.com [64.161.114.2]) by mta7.pltn13.pbi.net (8.12.10/8.12.10) with ESMTP id hB9Jhelt012186; Tue, 9 Dec 2003 11:43:41 -0800 (PST) Received: from lobus.fungible.com (localhost [127.0.0.1]) by lobus.fungible.com (8.12.10/8.12.10/Debian-5) with ESMTP id hB9Jhd4G012613 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 9 Dec 2003 11:43:39 -0800 Received: (from tim@localhost) by lobus.fungible.com (8.12.10/8.12.10/Debian-5) id hB9Jhb7v012609; Tue, 9 Dec 2003 11:43:37 -0800 From: Tim Freeman Message-Id: <200312091943.hB9Jhb7v012609@lobus.fungible.com> Date: Tue, 9 Dec 2003 11:30:52 -0700 From-Tims-Fingers: true To: brogoff@speakeasy.net CC: jean-baptiste.rouquier@ens-lyon.org, caml-list@inria.fr In-reply-to: (brogoff@speakeasy.net) Subject: Re: [Caml-list] stream conversion References: X-Loop: caml-list@inria.fr X-Spam: no; 0.00; fungible:01 caml-list:01 brogoff:01 foo:01 bug:01 fungible:01 mli:01 bug:01 bug-tracking:01 type-unsafe:01 hacks:01 bugfixes:01 bin:01 caml-bugs:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 hacks. 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