Changeset 03ac869 for libcfa/src/enum.hfa

Timestamp:

May 8, 2024, 4:41:33 PM (2 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

41c8312

Parents:

0843ba6

Message:

Add GCC visibility push(default); Fix trait satisfaction problem

File:

• libcfa/src/enum.hfa (modified) (2 diffs)

libcfa/src/enum.hfa

@@ -7 +7 @@
     };
 
-    forall(E| Bounded(E, T)) trait Serial {
+    forall(E| Bounded(T, E)) trait Serial {
         unsigned fromInstance(E e);
         E fromInt(unsigned i);
@@ -15 +15 @@
 
     // Opague Enum + TypedEnum
-    forall(E | Serial(E, T)) trait CfaEnum { 
+    forall(E | Serial(T, E)) trait CfaEnum { 
         char * labelE(E e);
         unsigned int posE(E e);
     };
 
-    forall(E | CfaEnum(E, T)) trait TypedEnum {
+    forall(E| CfaEnum(T, E)) trait TypedEnum {
         T valueE(E e);
     };
-
-    forall(E | TypedEnum(E, T)) {
-        // comparison
-        int ?==?(E l, E r);
-        int ?!=?(E l, E r);
-        int ?!=?(E l, zero_t);
-        int ?<?(E l, E r);
-        int ?<=?(E l, E r);
-        int ?>?(E l, E r);
-        int ?>=?(E l, E r);
-
-        // for testing; To be removed
-        // char * typeEnumString(E e);
-        char * typeEnumString(E e);
-    }
 }
 
+
+forall(T, E | TypedEnum(T, E)) {
+    // comparison
+    int ?==?(E l, E r);
+    int ?!=?(E l, E r);
+    int ?!=?(E l, zero_t);
+    int ?<?(E l, E r);
+    int ?<=?(E l, E r);
+    int ?>?(E l, E r);
+    int ?>=?(E l, E r);
+}