Original bug ID: 1379
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Vanicat Rémi
Version: ocaml 3.06
OS:
Submission from: ca-bordeaux-13-4.abo.wanadoo.fr (80.8.85.4)

Hello

Lazy.force is said (in the documentation) to alway return the same value when
evaluted on the same lazy value. This is not true anymore in the current
implementation :

let a = lazy (lazy (failwith "lazy"));;

val a : 'a lazy_t lazy_t =

Lazy.force a;;

• : '_a lazy_t =

Lazy.force a;;

• : '_a lazy_t =

Gc.full_major ();;

• : unit = ()

Lazy.force a;;

Exception: Failure "lazy".

This seem to come from the shortcut made by the gc on forward tag.