diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2008-08-01 16:57:10 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2008-08-01 16:57:10 +0000 |
| commit | 666cb14adfcf3b37e775ba59030444f8b3c86cfc (patch) | |
| tree | f475138e06319b0a7161191013071db5d3bc2b16 /stdlib/lazy.mli | |
| parent | ad81f43c32b2ad78c827b0f209d091acf8b6bcf7 (diff) | |
| download | ocaml-666cb14adfcf3b37e775ba59030444f8b3c86cfc.tar.gz | |
Implement Lazy.force as a primitive, and optimize its calls.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/lazy.mli')
| -rw-r--r-- | stdlib/lazy.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index afdb1e6d17..f0255c224d 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -39,7 +39,8 @@ type 'a t = 'a lazy_t;; exception Undefined;; -val force : 'a t -> 'a;; +external force : 'a t -> 'a = "%lazy_force";; +(* val force : 'a t -> 'a ;; *) (** [force x] forces the suspension [x] and returns its result. If [x] has already been forced, [Lazy.force x] returns the same value again without recomputing it. If it raised an exception, |