Allow Lazy module.

diff --git a/init b/init
index 41bc2b2..246299d 100644 (file)
--- a/init
+++ b/init
@@ -1,5 +1,5 @@
 (* Initialise the toplevel environment. -*- tuareg -*-
- * $Id: init,v 1.8 2008/01/23 15:44:46 rjones Exp $
+ * $Id: init,v 1.9 2008/02/01 15:25:16 rjones Exp $
  * - Removes the Pervasives module and any dangerous functions.
  * - Loads just the modules we want to give access to, and just
  *   the functions within those modules that we want to give.
@@ -60,6 +60,7 @@ let _ = Complex.zero
 let _ = Hashtbl.create
 let _ = Int32.to_string
 let _ = Int64.to_string
+let _ = Lazy.force
 let _ = List.length
 let _ = Nativeint.to_string
 let _ = Num.add_num

diff --git a/init.in b/init.in
index a42d935..ee81f68 100644 (file)
--- a/init.in
+++ b/init.in
@@ -1,5 +1,5 @@
 (* Initialise the toplevel environment. -*- tuareg -*-
- * $Id: init.in,v 1.5 2008/01/23 15:44:46 rjones Exp $
+ * $Id: init.in,v 1.6 2008/02/01 15:25:16 rjones Exp $
  * - Removes the Pervasives module and any dangerous functions.
  * - Loads just the modules we want to give access to, and just
  *   the functions within those modules that we want to give.
@@ -60,6 +60,7 @@ let _ = Complex.zero
 let _ = Hashtbl.create
 let _ = Int32.to_string
 let _ = Int64.to_string
+let _ = Lazy.force
 let _ = List.length
 let _ = Nativeint.to_string
 let _ = Num.add_num