должен ли пункт FFL where разрешать ссылаться на предыдущую переменную?

Question

Итак, в языке формул Фрогатто мы можем иметь предложение 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