Changeset fd54fef for libcfa/src/memory.hfa

Timestamp:

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

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, arm-eh, ast-experimental, 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/memory.hfa (modified) (6 diffs)

libcfa/src/memory.hfa

@@ -17 +17 @@
 
 // Internal data object.
-forall(dtype T | sized(T)) {
+forall(T & | sized(T)) {
         struct counter_data {
                 unsigned int counter;
@@ -23 +23 @@
         };
 
-        forall(ttype Args | { void ?{}(T &, Args); })
+        forall(Args... | { void ?{}(T &, Args); })
         void ?{}(counter_data(T) & this, Args args);
 
@@ -31 +31 @@
 
 // This is one of many pointers keeping this alive.
-forall(dtype T | sized(T)) {
+forall(T & | sized(T)) {
         struct counter_ptr {
                 counter_data(T) * data;
@@ -40 +40 @@
         forall( | { void ^?{}(T &); })
         void ?{}(counter_ptr(T) & this, counter_ptr(T) that);
-        forall(ttype Args | { void ?{}(T&, Args); })
+        forall(Args... | { void ?{}(T&, Args); })
         void ?{}(counter_ptr(T) & this, Args args);
 
@@ -60 +60 @@
 
 // This is the only pointer that keeps this alive.
-forall(dtype T) {
+forall(T &) {
         struct unique_ptr {
                 T * data;
@@ -68 +68 @@
         void ?{}(unique_ptr(T) & this, zero_t);
         void ?{}(unique_ptr(T) & this, unique_ptr(T) that) = void;
-        forall( | sized(T), ttype Args | { void ?{}(T &, Args); })
+        forall( | sized(T), Args... | { void ?{}(T &, Args); })
         void ?{}(unique_ptr(T) & this, Args args);