Changes in doc/papers/general/evaluation/cfa-stack.h [29db723:4c80a75]

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, stack(T) t );
+        void clear( stack(T) & s );
+        void ?{}( stack(T) & s );
+        void ^?{}( 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 );
+}