diff options
Diffstat (limited to 'byterun/obj.c')
| -rw-r--r-- | byterun/obj.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/byterun/obj.c b/byterun/obj.c index f35fcf503..24846f2e2 100644 --- a/byterun/obj.c +++ b/byterun/obj.c @@ -108,7 +108,9 @@ value obj_truncate (value v, value newsize) /* ML */ /* PR#61: since we're about to lose our references to the elements beyond new_wosize in v, erase them explicitly so that the GC can darken them as appropriate. */ - for (i = new_wosize; i < wosize; i++) modify(&Field(v, i), Val_unit); + if (tag < No_scan_tag) { + for (i = new_wosize; i < wosize; i++) modify(&Field(v, i), Val_unit); + } Field (v, new_wosize) = Make_header (Wosize_whsize (wosize-new_wosize), 0, Caml_white); Hd_val (v) = Make_header (new_wosize, tag, color); |