Changes in libcfa/prelude/builtins.c [62595b31:b006c51e]

File:

• libcfa/prelude/builtins.c (modified) (3 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 : Fri Nov  8 17:07:15 2024
-// Update Count     : 144
+// Last Modified On : Thu Feb  2 11:33:56 2023
+// Update Count     : 135
 //
 
@@ -140 +140 @@
         ) \
         typeof(x) op = 1;                                                                       /* accumulate odd product */ \
-        typeof(x) w = x; /* FIX-ME: possible bug in the box pass changing value argument through parameter */ \
         for ( ; y > 1; y >>= 1 ) {                                                      /* squaring exponentiation, O(log2 y) */ \
-                if ( (y & 1) == 1 ) op = op * w;                                /* odd ? */ \
-                w = w * w; \
+                if ( (y & 1) == 1 ) op = op * x;                                /* odd ? */ \
+                x = x * x; \
         } \
-        return w * op
+        return x * op
 #define __CFA_EXP_INT__(...) __VA_ARGS__
 
@@ -185 +184 @@
 static inline quasi_void ?=?(quasi_void &, quasi_void & _src) { return _src; }
 
+forall( E ) trait Bounded {
+        E lowerBound(void);
+        E upperBound(void);
+};
+
+forall( E | Bounded( E ) ) trait Serial {
+        int fromInstance( E e );
+        E fromInt_unsafe( int i );
+        E succ_unsafe( E e );
+        E pred_unsafe( E e );
+};
+
+forall( E | Serial( E ) ) {
+        E fromInt( int i );
+        E succ( E e );
+        E pred( E e );
+        int Countof( E );
+}
+
+
+forall( E ) trait CfaEnum {
+        const char * label( E e );
+        int posn( E e );
+};
+
+forall( E, V | CfaEnum( E ) ) trait TypedEnum {
+        V value( E e );
+};
+
 // Local Variables: //
 // mode: c //