fix in task local storage

This commit is contained in:
Simon Cruanes 2024-02-07 23:06:50 -05:00
parent 3c8bb7d5e8
commit b32bf3ea3c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -44,8 +44,9 @@ let get (type a) ((module K) : a key) : a =
let set (type a) ((module K) : a key) (v : a) : unit =
let cur = get_cur_ () in
if K.offset >= Array.length !cur then resize_ cur K.offset;
!cur.(K.offset) <- K.V v
if K.offset >= Array.length !cur then resize_ cur (K.offset + 1);
!cur.(K.offset) <- K.V v;
()
let with_value key x f =
let old = get key in