On Friday, 19 July 2019 at 13:09:29 UTC, Nick Treleaven wrote:
> void append(int e) @trusted
> { // inefficient but it works
> const len = data.length + 1;
> auto ptr = cast(int*)realloc(data.ptr, len *
> int.sizeof);
> data = ptr[0..len];
> }
Oops, forgot last line:
data[$-1] = e;