Changeset e91a255

Timestamp:

Dec 5, 2020, 8:54:29 AM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

58870e6b, f57faf6f

Parents:

ec5d599

Message:

fix code placement error

File:

• libcfa/src/bits/sequence.hfa (modified) (2 diffs)

libcfa/src/bits/sequence.hfa

@@ -31 +31 @@
                         return (T *)Back( (Seqable *)&n );
                 }
-
-                T & head( Sequence(T) & s ) with( s ) {
-                        return *(T *)head( (Collection &)s );
-                } // post: empty() & head() == 0 | !empty() & head() in *s
         } // distribution
 } // distribution
@@ -44 +40 @@
 
         inline {
+                // wrappers to make Collection have T
+                T & head( Sequence(T) & s ) with( s ) {
+                        return *(T *)head( (Collection &)s );
+                } // post: empty() & head() == 0 | !empty() & head() in *s
+
                 void ?{}( Sequence(T) &, const Sequence(T) & ) = void; // no copy
                 Sequence(T) & ?=?( const Sequence(T) & ) = void; // no assignment