Remove element restrictions of compile-time list expressions -- SIMICS-13113

Author: lwaern-intel

RELEASENOTES.md

@@ -228,3 +228,5 @@
   as Coverity support is enabled by passing `--coverity` to DMLC.
 - `release 6 6356`
 - `release 7 7060`
+- `note 6` Elements of compile-time list expressions are now allowed to be
+  non-constant expressions (fixes SIMICS-13113).

doc/1.4/language.md

@@ -4163,7 +4163,7 @@ be consistent.
 </pre>
 
 A list is a *compile-time only* value, and is an ordered sequence
-of zero or more compile-time constant values. Lists are in particular
+of zero or more expressions. Lists are in particular
 used in combination with `foreach` and `select`
 statements.
 

py/dml/codegen.py

@@ -1301,16 +1301,8 @@ def expr_slice(tree, location, scope):
 @expression_dispatcher
 def expr_list(tree, location, scope):
     [elts] = tree.args
-    values = []
-    for elt in elts:
-        e = codegen_expression_maybe_nonvalue(elt, location, scope)
-        if e.constant or isinstance(e, (NodeRef, AbstractList, NodeArrayRef,
-                                        SessionVariableRef)):
-            values.append(e)
-        elif isinstance(e, NonValue):
-            raise e.exc()
-        else:
-            raise ECLST(e)
+    values = [codegen_expression_maybe_nonvalue(elt, location, scope)
+              for elt in elts]
     return mkList(tree.site, values)
 
 @expression_dispatcher

py/dml/messages.py

@@ -530,12 +530,6 @@ class EAVAR(DMLError):
     """
     fmt = "cannot use variable index in a constant list"
 
-class ECLST(DMLError):
-    """
-    Lists may only contain constants.
-    """
-    fmt = "non-constant element in list"
-
 class ENLST(DMLError):
     """
     A list was expected.