Changeset 1a3eab8 for doc/papers/general/evaluation/cfa-stack.h

Timestamp:

Apr 30, 2018, 11:59:07 AM (6 years ago)

Author:

Rob Schluntz <rschlunt@…>

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, with_gc

Children:

7b45636

Parents:

c0453ca3 (diff), b9c432f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into fix-reference-overloading

File:

• doc/papers/general/evaluation/cfa-stack.h (modified) (1 diff)

doc/papers/general/evaluation/cfa-stack.h

@@ -1 +1 @@
 #pragma once
 
-forall( otype T ) struct stack_node;
-forall( otype T ) struct stack {
-        stack_node(T) * head;
-};
+forall( otype T ) {
+        struct node;
+        struct stack {
+                node(T) * head;
+        };
 
-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);
+        void ?{}( stack(T) & s );
+        void ?{}( stack(T) & s, stack(T) t );
+        void ^?{}( stack(T) & s);
+        void clear( stack(T) & s );
 
-forall( otype T ) _Bool empty( const stack(T) & s );
-forall( otype T ) void push( stack(T) & s, T value );
-forall( otype T ) T pop( stack(T) & s );
-forall( otype T ) void clear( stack(T) & s );
+        stack(T) ?=?( stack(T) & s, stack(T) t );
+        _Bool empty( const stack(T) & s );
+        void push( stack(T) & s, T value );
+        T pop( stack(T) & s );
+}