]> I see this comment at the beginning of streams.ml: (* The fields of type t are not mutable to preserve polymorphism of the empty stream. This is type safe because the empty stream is never patched. *) Is this still true? I can easily imagine that it used to be true if and when OCAML had weak type variables, but it doesn't anymore. If it isn't true any more, then I think it would be possible to make a version of streams that's as fast and functional as what's there now, and it would allow consing streams to interoperate properly with streams derived from functions or channels. -- Tim Freeman tim@fungible.com GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78 ------------------- 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