Changeset 87c5f40 for doc/generic_types/evaluation/c-stack.h

Timestamp:

Apr 11, 2017, 5:11:55 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

4f57930

Parents:

e6dceef

Message:

Update benchmarks to include stack of pairs

File:

• doc/generic_types/evaluation/c-stack.h (modified) (1 diff)

doc/generic_types/evaluation/c-stack.h

@@ -9 +9 @@
 struct stack new_stack();
 
-void copy_stack(struct stack* dst, struct stack* src, void* (*copy)(void*));
+void copy_stack(struct stack* dst, const struct stack* src, void* (*copy)(const void*));
 
-void clear_stack(struct stack* s);
+void clear_stack(struct stack* s, void (*free_el)(void*));
 
 _Bool stack_empty(const struct stack* s);