Skip to content

Commit cd7858d

Browse files
authored
Merge pull request #1990 from andrew-johnson-4/gc-disabled-lib2-deploy-dfjidsll
Gc disabled lib2 deploy dfjidsll
2 parents a9788a8 + 55332c1 commit cd7858d

2 files changed

Lines changed: 2 additions & 0 deletions

File tree

lib2/core/list.lsts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ let $"[]"(tt: List<x>, idx: USize): x = (
7777
fail(c"list index out of bounds");
7878
};
7979
tt = tail(tt);
80+
idx = idx - 1;
8081
};
8182
head(tt)
8283
);

lib2/core/string.lsts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -144,6 +144,7 @@ let $"+"(l: String, r: String): String = (
144144
let od = mk-owned-data(type(U8), cs-length);
145145
memcpy(od.data as C<"void">[], (l.data.data + l.start-offset) as C<"void">[], l-length as USize);
146146
memcpy((od.data + l-length) as C<"void">[], (r.data.data + r.start-offset) as C<"void">[], r-length as USize);
147+
od.occupied = cs-length;
147148
String(0 as USize, cs-length, od)
148149
);
149150

0 commit comments

Comments
 (0)