FFL where 子句应该允许引用以前的变量吗？

Question

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

但是我不能在 b 的赋值中引用 a ?

我希望通过将其分成几步来简化，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

should FFL where clause allow referring to previous variable?