From 245a888eef56b36cd2e87a0a626c02e8be455525 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Wed, 11 Mar 2020 09:49:19 -0700
Subject: [PATCH] Allow EvaluatingValue overwrites to have zero arity.
[Feature][TLC]
---
tlatools/src/tlc2/tool/impl/Tool.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tlatools/src/tlc2/tool/impl/Tool.java b/tlatools/src/tlc2/tool/impl/Tool.java
index 91e136dcd..c211acca5 100644
--- a/tlatools/src/tlc2/tool/impl/Tool.java
+++ b/tlatools/src/tlc2/tool/impl/Tool.java
@@ -1640,6 +1640,9 @@ public abstract class Tool
if (alen == 0) {
if (val instanceof MethodValue) {
res = ((MethodValue)val).apply(EmptyArgs, EvalControl.Clear);
+ } else if (val instanceof EvaluatingValue) {
+ // Allow EvaluatingValue overwrites to have zero arity.
+ res = ((EvaluatingValue) val).eval(this, args, c, s0, s1, control, cm);
}
}
else if (val instanceof Evaluator) {
--
GitLab