Changeset 122aecd for doc/generic_types/evaluation/cfa-stack.h

Timestamp:

Apr 7, 2017, 2:32:03 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, 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:

3a48e283

Parents:

4cfcf41

Message:

Expand benchmarks

File:

• doc/generic_types/evaluation/cfa-stack.h (modified) (2 diffs)

doc/generic_types/evaluation/cfa-stack.h

@@ -7 +7 @@
 forall(otype T) void ?{}(stack(T)* s);
 
+forall(otype T) void ?{}(stack(T)* s, stack(T) t);
+
+forall(otype T) stack(T) ?=?(stack(T)* s, stack(T) t);
+
 forall(otype T) void ^?{}(stack(T)* s);
 
@@ -14 +18 @@
 
 forall(otype T) T pop(stack(T)* s);
+
+forall(otype T) void clear(stack(T)* s);