Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] mixing fast and [<>] stream: illegal?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Stefano Zacchiroli <zack@c...>
Subject: [Caml-list] mixing fast and [<>] stream: illegal?
  From the ocaml 3.02 documentation:

           Stream builders

   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.

   val from : (int -> 'a option) -> 'a t;;

   Stream.from f returns a stream built from the function f. To create a
   new stream element, the function f is called with the current stream
   count. The user function f must return either Some <value> for a
   value or None to specify the end of the stream. 

I have tried to mix fast and normal streams as follows:

           Objective Caml version 3.02

   # let i = ref 0;;
   val i : int ref = {contents=0}
   # let gen (foo:int) =
       let nextint = !i in
       i:=!i+1;
       Some nextint;;
   val gen : int -> int option = <fun>
   # let s = Stream.from gen;;
   val s : int Stream.t = <abstr>
   # Stream.next s;;
   - : int = 0
   # match s with parser [<'1>] -> true | [<>] -> false;;
   - : bool = true
   # match s with parser [<'1>] -> true | [<>] -> false;;
   - : bool = false

Seems to me that no illegal action was performed ...
Am I wrong?
Is really dangerous mixing the two streams?

TIA.
Cheers!

-- 
Stefano "Zack" Zacchiroli <zack@cs.unibo.it> ICQ# 33538863
Home Page: http://www.cs.unibo.it/~zacchiro
Undergraduate student of Computer Science @ University of Bologna, Italy
                 - Information wants to be Open -
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr