Hi,

do streams support call-by-need? This looks like call-by-name:

#  let s = [< '(print_endline "a"); '(print_endline "b") >]
  ;;
val s : unit Stream.t = <abstr>
# let t = [< s; s >]
  ;;
val t : unit Stream.t = <abstr>
# Stream.next t;;
a
- : unit = ()
# Stream.next t;;
b
- : unit = ()
# Stream.next t;;
a
- : unit = ()
# Stream.next t;;
b
- : unit = ()

Christoph Bauer