GSS in parser now deletes old stack nodes on clear for some ram savings
This commit is contained in:
@@ -423,10 +423,12 @@ obj gss (Object) {
|
||||
edges.copy_construct(&old->edges)
|
||||
}
|
||||
fun destruct() {
|
||||
clear()
|
||||
data.destruct()
|
||||
edges.destruct()
|
||||
}
|
||||
fun clear() {
|
||||
data.for_each(fun(second: ref vector<*tree<int>>) second.for_each(fun(node: *tree<int>) delete(node););)
|
||||
data.clear()
|
||||
edges.clear()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user