Changes in doc/papers/general/evaluation/cfa-stack.c [4c80a75:ac4dad2]

File:

• doc/papers/general/evaluation/cfa-stack.c (modified) (3 diffs)

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

@@ -8 +8 @@
         };
 
-        void ?{}( stack(T) & s, stack(T) t ) {          // copy
+        void ?{}( stack(T) & s ) { (s.head){ 0 }; }
+
+        void ?{}( stack(T) & s, stack(T) t ) {
                 node(T) ** cr = &s.head;
                 for ( node(T) * nx = t.head; nx; nx = nx->next ) {
@@ -18 +20 @@
         }
 
-        void clear( stack(T) & s ) with( s ) {
+        void ^?{}( stack(T) & s) { clear( s ); }
+
+    void clear( stack(T) & s ) with( s ) {
                 for ( node(T) * nx = head; nx; ) {
                         node(T) * cr = nx;
                         nx = cr->next;
                         ^(*cr){};
-                        free( cr );
+                        free(cr);
                 }
                 head = 0;
         }
-
-        void ?{}( stack(T) & s ) { (s.head){ 0 }; }
-        void ^?{}( stack(T) & s) { clear( s ); }
 
         stack(T) ?=?( stack(T) & s, stack(T) t ) {
@@ -38 +39 @@
         }
 
-        _Bool empty( const stack(T) & s ) {
-                return s.head == 0;
-        }
+        _Bool empty( const stack(T) & s ) { return s.head == 0; }
 
         void push( stack(T) & s, T value ) with( s ) {