diff options
| author | Pierre-Marie Pédrot | 2014-07-24 15:01:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-24 15:01:06 +0200 |
| commit | a435938aa7d1c94c40ddb17627cfaa2fb9f45f0f (patch) | |
| tree | 33c7a2a7b22ad9bc963f81053c672f3838f25e85 /lib | |
| parent | c15571e367cf4d75c9e4aac589170e0213e4fe3b (diff) | |
Revert "Adding a "is_val" primitive to IStream."
This reverts commit 062d07eb5446c1032fda232b9a09e20e5410dd92.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/iStream.ml | 2 | ||||
| -rw-r--r-- | lib/iStream.mli | 3 |
2 files changed, 0 insertions, 5 deletions
diff --git a/lib/iStream.ml b/lib/iStream.ml index ef69eaf2b0..36b9c43ad0 100644 --- a/lib/iStream.ml +++ b/lib/iStream.ml @@ -38,8 +38,6 @@ let is_empty s = match Lazy.force s with let peek = Lazy.force -let is_val = Lazy.is_val - let rec of_list = function | [] -> empty | x :: l -> cons x (of_list l) diff --git a/lib/iStream.mli b/lib/iStream.mli index 67e5e0764f..a059570107 100644 --- a/lib/iStream.mli +++ b/lib/iStream.mli @@ -42,9 +42,6 @@ val is_empty : 'a t -> bool val peek : 'a t -> ('a , 'a t) u (** Return the head and the tail of a stream, if any. *) -val is_val : 'a t -> bool -(** Check if the head has already been evaluated. *) - (** {6 Standard operations} All stream-returning functions are lazy. The other ones are eager. *) |