blob: 17900730cbfec4a7305082a1d6387185956ae972 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
use "types"
use "alloc"
pkg std =
generic slpush : (sl : @a[:]#, elt : @a -> @a[:])
;;
generic slpush = {sl, elt
/*
slpush relies on implementation details
of slgrow for efficiency. Because bucket
sizes come in powers of two for all buckets
<= 32k, and we only reallocate when we hit
a bucket boundary, this is effectively
growing the slice by powers of two.
*/
slgrow(sl, sl#.len + 1)
sl#[sl#.len - 1] = elt
-> sl#
}
|