Changeset 03ac869 for libcfa/src/enum.cfa

Timestamp:

May 8, 2024, 4:41:33 PM (5 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.cfa (modified) (2 diffs)

libcfa/src/enum.cfa

@@ -2 +2 @@
 #include "fstream.hfa"
 
-forall(E, T| TypedEnum(E, T)) {
+#pragma GCC visibility push(default)
+
+forall(T, E| TypedEnum(T, E)) {
     // constructors
 
     // comparison
     int ?==?(E l, E r) { return posE(l) == posE(r); }
-    int ?!=?(E l, E r) { return !(l == r); }
+    int ?!=?(E l, E r) { return posE(l) != posE(r); }
     int ?!=?(E l, zero_t) { return !( posE(l) == 0 ); }
     int ?<?(E l, E r) { return posE(l) < posE(r); }
@@ -13 +15 @@
     int ?>?(E l, E r) { return posE(l) > posE(r); }
     int ?>=?(E l, E r) {  return posE(l) >= posE(r); }
-
-    // for testing; To be removed
-    // #include <string.h>
-    char * typeEnumString(E e) {
-        // char* out = malloc(sizeof(char) * (5 + strlen(labelE(e) + 1)));
-        // return strcat(strcat(out, "Enum "), labelE(e));
-        return labelE(e);
-    }
 }