应该FFL where子句允许引用前一个变量吗？

Question

所以，在Frogatto公式语言中，我们可以有一个带有多个赋值的where子句，例如a = yadda，b = foo

但是，在a

的分配中，我无法引用b

我希望通过将其分解为步骤where a = ..., b = ...(refers to var a)...

来简化

注意：它似乎不能以where b,a顺序运行：

EVALUATING: [a,b] where b=a+1, a=1
ASSERTION FAILED: Unknown symbol 'a'
[a,b] where b=a+1, a=1
              ^^

Answer 1

使用where子句的梯形图，如下所示：

[a,b] where b = a+1 where a = 1