Changeset 6acd020 for libcfa/prelude

Timestamp:

Jul 20, 2021, 9:06:24 PM (5 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

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

Children:

d2260ad

Parents:

3d7d407 (diff), 86fc350 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• libcfa/prelude/builtins.c (modified) (2 diffs)

libcfa/prelude/builtins.c

@@ -10 +10 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Apr 13 17:26:32 2021
-// Update Count     : 117
+// Last Modified On : Tue Jul 20 17:31:40 2021
+// Update Count     : 128
 //
 
@@ -78 +78 @@
 
 static inline {
-        forall( DT & | { DT & ?+=?( DT &, one_t ); } )
-        DT & ++?( DT & x ) { return x += 1; }
+        forall( T | { T ?+=?( T &, one_t ); } )
+        T ++?( T & x ) { return x += 1; }
 
-        forall( DT & | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?+=?( DT &, one_t ); } )
-        DT & ?++( DT & x ) { DT tmp = x; x += 1; return tmp; }
+        forall( T | { T ?+=?( T &, one_t ); } )
+        T ?++( T & x ) { T tmp = x; x += 1; return tmp; }
 
-        forall( DT & | { DT & ?-=?( DT &, one_t ); } )
-        DT & --?( DT & x ) { return x -= 1; }
+        forall( T | { T ?-=?( T &, one_t ); } )
+        T --?( T & x ) { return x -= 1; }
 
-        forall( DT & | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?-=?( DT &, one_t ); } )
-        DT & ?--( DT & x ) { DT tmp = x; x -= 1; return tmp; }
+        forall( T | { T ?-=?( T &, one_t ); } )
+        T ?--( T & x ) { T tmp = x; x -= 1; return tmp; }
 
-        forall( DT & | { int ?!=?( const DT &, zero_t ); } )
-        int !?( const DT & x ) { return !( x != 0 ); }
+        forall( T | { int ?!=?( T, zero_t ); } )
+        int !?( T & x ) { return !( x != 0 ); }
 } // distribution