You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6834 Reporter:@gasche Assigned to:@mshinwell Status: closed (set by @xavierleroy on 2016-12-07T10:49:15Z) Resolution: fixed Priority: low Severity: tweak Category: standard library Monitored by:@diml
Bug description
It would be nice to advertise the value of the last-usable-tag (for non-constant constructors). Currently people just assume it is Obj.lazy_tag - 1, but this limit is not currently specified anywhere.
Additional information
This was prompted by Benjamin Grégoire changes in the vm_compute mechanism of Coq, after Maxime Dénès remarked the lack of check for out-of-bound tags.
The text was updated successfully, but these errors were encountered:
Original bug ID: 6834
Reporter: @gasche
Assigned to: @mshinwell
Status: closed (set by @xavierleroy on 2016-12-07T10:49:15Z)
Resolution: fixed
Priority: low
Severity: tweak
Category: standard library
Monitored by: @diml
Bug description
It would be nice to advertise the value of the last-usable-tag (for non-constant constructors). Currently people just assume it is Obj.lazy_tag - 1, but this limit is not currently specified anywhere.
Additional information
This was prompted by Benjamin Grégoire changes in the vm_compute mechanism of Coq, after Maxime Dénès remarked the lack of check for out-of-bound tags.
The text was updated successfully, but these errors were encountered: