From 7284e449020e378b49e345a14fe6a0342420800d Mon Sep 17 00:00:00 2001 From: rjones Date: Fri, 1 Feb 2008 15:25:16 +0000 Subject: [PATCH] Allow Lazy module. --- init | 3 ++- init.in | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/init b/init index 41bc2b2..246299d 100644 --- 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 --- 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 -- 1.8.3.1