diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-10-22 13:26:05 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-10-22 13:26:05 +0000 |
| commit | 7c670708dd7bed50aba06e211f5b8a030021f3a4 (patch) | |
| tree | 4a0af1defd449f6de811b3ff5969d265a12fd768 /stdlib/lazy.ml | |
| parent | ccee1d802d76e7e8cd32fcabcd3df60ada43bedd (diff) | |
| download | ocaml-7c670708dd7bed50aba06e211f5b8a030021f3a4.tar.gz | |
lazy qui marche avec let rec
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/lazy.ml')
| -rw-r--r-- | stdlib/lazy.ml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/stdlib/lazy.ml b/stdlib/lazy.ml index 7610c60dfa..a5943138ae 100644 --- a/stdlib/lazy.ml +++ b/stdlib/lazy.ml @@ -4,8 +4,8 @@ (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* Copyright 1997 Institut National de Recherche en Informatique et *) +(* en Automatique. Distributed only by permission. *) (* *) (***********************************************************************) @@ -19,9 +19,7 @@ type 'a status = | Exception of exn ;; -type 'a delayed = 'a status ref;; - -let _lazy f = ref (Delayed f);; +type 'a t = 'a status ref;; let force l = match !l with |