Function array_unlock

src/simulate/runtime_array.cpp:46–58

    }

    void array_unlock ( Context & context, Array & arr, LineInfo * at ) {
        if ( arr.shared || arr.hopeless ) return;
        if ( arr.magic != DAS_ARRAY_MAGIC ) {
            context.throw_error_at(at, "array magic mismatch on unlock, was it moved or overwritten?");
        }
        if ( arr.lock==0 ) {
            context.throw_error_at(at, "array lock underflow, was it moved or overwritten?");
        }
        arr.lock --;
        if ( arr.lock==0 ) {
            arr.magic = 0;
        }
    }

    void array_reserve(Context & context, Array & arr, uint64_t newCapacity, uint32_t stride, LineInfo * at) {
        if ( arr.isLocked() ) context.throw_error_at(at, "can't change capacity of a locked array");