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

should FFL where clause allow referring to previous variable?

所以,在 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
              ^^

使用 where 子句的阶梯,如下所示:

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