Browse thread
lazy vs fun
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Warren Harris <warren@m...> |
| Subject: | Re: [Caml-list] lazy vs fun |
On Aug 24, 2009, at 4:11 PM, Martin Jambon wrote: > > Oops. > The following makes it possible for f to be garbage-collected: > [...] If I understand correctly, the closure associated with f will be collectable after the lazy_t is forced, whereas before its lifetime would be bound to the lifetime of the lazy_t. That's very subtle. It would have taken me some time to track that one down if it had come up in practice. Thanks, Warren