Changeset fd54fef for libcfa/src/containers/list.hfa

Timestamp:

Jan 19, 2021, 8:44:29 PM (2 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

dafbde8

Parents:

2f47ea4

Message:

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

File:

• libcfa/src/containers/list.hfa (modified) (4 diffs)

libcfa/src/containers/list.hfa

@@ -66 +66 @@
 #define __DLISTED_MGD_JUSTIMPL(STRUCT)
 
-forall( dtype tE ) {
+forall( tE & ) {
         struct $mgd_link {
                 tE *elem;
@@ -83 +83 @@
                 (this.is_terminator){ 1 };
         }
-        forall ( otype tInit | { void ?{}( $mgd_link(tE) &, tInit); } )
+        forall ( tInit | { void ?{}( $mgd_link(tE) &, tInit); } )
         static inline void ?=?( $mgd_link(tE) &this, tInit i ) {
                 ^?{}( this );
@@ -115 +115 @@
   __DLISTED_MGD_COMMON(STRUCT, STRUCT, $links)
 
-trait $dlistable(dtype Tnode, dtype Telem) {
+trait $dlistable(Tnode &, Telem &) {
         $mgd_link(Telem) & $prev_link(Tnode &);
         $mgd_link(Telem) & $next_link(Tnode &);
@@ -125 +125 @@
 };
 
-forall (dtype Tnode, dtype Telem | $dlistable(Tnode, Telem)) {
+forall (Tnode &, Telem & | $dlistable(Tnode, Telem)) {
 
         // implemented as a sentinel item in an underlying cicrular list