From 890bd1e5d06f6db43da5023557e20445fd8975fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Fri, 31 Mar 2017 15:15:54 +0200 Subject: [PATCH] A comment: streams are deprecated. --- src/General.mli | 4 +++- src/IncrementalEngine.ml | 6 +++--- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/General.mli b/src/General.mli index 188ecdea..101b2a63 100644 --- a/src/General.mli +++ b/src/General.mli @@ -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 - diff --git a/src/IncrementalEngine.ml b/src/IncrementalEngine.ml index a398835c..3081251f 100644 --- a/src/IncrementalEngine.ml +++ b/src/IncrementalEngine.ml @@ -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 -- 2.22.0