Changeset 5f210c0 for libcfa/src/enum.cfa

Timestamp:

Aug 4, 2024, 9:49:25 PM (3 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

7db4fcd4

Parents:

7ab24fef

Message:

Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check

File:

• libcfa/src/enum.cfa (modified) (1 diff)

libcfa/src/enum.cfa

@@ -6 +6 @@
 
 forall( E | Serial( E ) ) {
-        E fromInt( unsigned i ) {
+        E fromInt( int i ) {
                 E upper = upperBound();
                 E lower = lowerBound();