From 062d07eb5446c1032fda232b9a09e20e5410dd92 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 22 Jul 2014 13:53:50 +0200
Subject: Adding a "is_val" primitive to IStream.

---
 lib/iStream.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/iStream.ml')

diff --git a/lib/iStream.ml b/lib/iStream.ml
index 36b9c43ad0..ef69eaf2b0 100644
--- a/lib/iStream.ml
+++ b/lib/iStream.ml
@@ -38,6 +38,8 @@ 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)
-- 
cgit v1.2.3