Changeset 236f133 for tests/enum_tests

Timestamp:

Jul 11, 2024, 3:04:34 PM (5 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

9c447e2

Parents:

9d5eacb

Message:

Remove quasi_void for enums. The idea of quasi_void from Mike was to get around some resolution problem that enum pick function defines for Bounded over CfaEnum/TypedEnum?. But it is not clear that how often this can happen, and cfa might change the cast function scheme in the future. (change cost comparison scheme) Deprecate quasi_void for now so that enum traits looks cleaner without the dummy type for opaque enums

Location:

tests/enum_tests

Files:

• .expect/voidEnum.txt (added)
• voidEnum.cfa (modified) (1 diff)

tests/enum_tests/voidEnum.cfa

@@ -1 +1 @@
 #include <fstream.hfa>
 #include <enum.hfa>
-enum() voidEnum {
-    a, b, c
-    /*** 
-    * ,d = 10 // Disable; 
-    * //error: Enumerator of enum(void) cannot have an explicit initial value.
-    */
-};
 
-char* a[voidEnum] = {
-    "A",
-    "B",
-    "C"
-};
-
+enum() E { A, B, C };
 int main() {
-    enum voidEnum v_1 = a;
-    enum voidEnum v_2 = b;
-    sout | "Two different Opague Enum Should not be the same:";
-    if ( v_1 == v_2 ) {
-        sout | "a and b are Equal" | nl;
-    } else {
-        sout | "a and b are Not Equal" | nl;
-    }
-    sout | "Default Output:";
-    sout | a;
-    sout | b;
-    
-    sout | label(v_1);
-    sout | label(v_2);
+    E e = A;
+    sout | e | posn( e ) | label( e );
 }