Make evaluation eager in from_dict (runtimeverification/pyk#769)

Co-authored-by: devops <[email protected]>

Author: tothtamas28

pyk/package/version

@@ -1 +1 @@
-0.1.539
+0.1.540

pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.539"
+version = "0.1.540"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

pyk/src/pyk/kore/syntax.py

@@ -250,7 +250,7 @@ def _tag(cls) -> str:
     @classmethod
     def from_dict(cls: type[SortApp], dct: Mapping[str, Any]) -> SortApp:
         cls._check_tag(dct)
-        return SortApp(name=dct['name'], sorts=(Sort.from_dict(arg) for arg in dct['args']))
+        return SortApp(name=dct['name'], sorts=tuple(Sort.from_dict(arg) for arg in dct['args']))
 
     @property
     def dict(self) -> dict[str, Any]:
@@ -449,8 +449,8 @@ def from_dict(cls: type[App], dct: Mapping[str, Any]) -> App:
         cls._check_tag(dct)
         return App(
             symbol=dct['name'],
-            sorts=(Sort.from_dict(sort) for sort in dct['sorts']),
-            args=(Pattern.from_dict(arg) for arg in dct['args']),
+            sorts=tuple(Sort.from_dict(sort) for sort in dct['sorts']),
+            args=tuple(Pattern.from_dict(arg) for arg in dct['args']),
         )
 
     @property
@@ -847,9 +847,10 @@ def of(cls: type[And], symbol: str, sorts: Iterable[Sort] = (), patterns: Iterab
     @classmethod
     def from_dict(cls: type[And], dct: Mapping[str, Any]) -> And:
         cls._check_tag(dct)
-        sort = Sort.from_dict(dct['sort'])
-        ops = [Pattern.from_dict(op) for op in dct['patterns']]
-        return And(sort=sort, ops=ops)
+        return And(
+            sort=Sort.from_dict(dct['sort']),
+            ops=tuple(Pattern.from_dict(op) for op in dct['patterns']),
+        )
 
 
 @final
@@ -895,9 +896,10 @@ def of(cls: type[Or], symbol: str, sorts: Iterable[Sort] = (), patterns: Iterabl
     @classmethod
     def from_dict(cls: type[Or], dct: Mapping[str, Any]) -> Or:
         cls._check_tag(dct)
-        sort = Sort.from_dict(dct['sort'])
-        ops = [Pattern.from_dict(op) for op in dct['patterns']]
-        return Or(sort=sort, ops=ops)
+        return Or(
+            sort=Sort.from_dict(dct['sort']),
+            ops=tuple(Pattern.from_dict(op) for op in dct['patterns']),
+        )
 
 
 class MLQuant(MLPattern, WithSort):