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/iStream.ml | |
| parent | c15571e367cf4d75c9e4aac589170e0213e4fe3b (diff) | |
Revert "Adding a "is_val" primitive to IStream."
This reverts commit 062d07eb5446c1032fda232b9a09e20e5410dd92.
Diffstat (limited to 'lib/iStream.ml')
| -rw-r--r-- | lib/iStream.ml | 2 |
1 files changed, 0 insertions, 2 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) |