[NF] support range based on enumeration type

Belonging to [master]:
  - #2867

Compiler/NFFrontEnd/NFEvalFunction.mo

@@ -488,6 +488,8 @@ function evaluateStatement
   input Statement stmt;
   output FlowControl ctrl;
 algorithm
+  // adrpo: we really need some error handling here to detect which statement cannot be evaluated
+  // try
   ctrl := match stmt
     case Statement.ASSIGNMENT() then evaluateAssignment(stmt.lhs, stmt.rhs);
     case Statement.FOR()        then evaluateFor(stmt.iterator, stmt.range, stmt.body, stmt.source);
@@ -504,6 +506,10 @@ algorithm
         fail();
 
   end match;
+  //else
+  //   Error.assertion(false, getInstanceName() + " failed to evaluate statement " + Statement.toString(stmt) + "\n", sourceInfo());
+  //   fail();
+  //end try;
 end evaluateStatement;
 
 function evaluateAssignment

Compiler/NFFrontEnd/NFRangeIterator.mo

@@ -135,6 +135,19 @@ public
         then
           ARRAY_RANGE(values);
 
+      // enumeration type based range
+      case Expression.TYPENAME(ty = Type.ARRAY(elementType = ty as Type.ENUMERATION(literals = literals)))
+        algorithm
+          values := {};
+          istep := 0;
+
+          for l in literals loop
+            istep := istep + 1;
+            values := Expression.ENUM_LITERAL(ty, l, istep) :: values;
+          end for;
+        then
+          ARRAY_RANGE(values);
+
       else INVALID_RANGE(exp);
 
     end match;