Commit 890bd1e5 authored by POTTIER Francois's avatar POTTIER Francois

A comment: streams are deprecated.

parent f07a2835
......@@ -41,6 +41,9 @@ val weed: ('a -> 'a -> int) -> 'a list -> 'a list
(* --------------------------------------------------------------------------- *)
(* As of 2017/03/31, the type [stream] is DEPRECATED. It might be removed in
the future. *)
(* A stream is a list whose elements are produced on demand. *)
type 'a stream =
......@@ -57,4 +60,3 @@ val length: 'a stream -> int
(* Folding over a stream. *)
val foldr: ('a -> 'b -> 'b) -> 'a stream -> 'b -> 'b
......@@ -248,9 +248,9 @@ module type INCREMENTAL_ENGINE = sig
(* The parser's stack is (or, more precisely, can be viewed as) a stream of
elements. The type [stream] is defined by the module [General]. *)
(* As of 2017/03/31, the type [stack] and the function [stack] are DEPRECATED.
They might be removed in the future. An alternative way of inspecting the
stack is via the functions [top] and [pop]. *)
(* As of 2017/03/31, the types [stream] and [stack] and the function [stack]
are DEPRECATED. They might be removed in the future. An alternative way
of inspecting the stack is via the functions [top] and [pop]. *)
type stack = (* DEPRECATED *)
element stream
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment