Ошибка в прогонке

[Mazdaywik]

В примере ниже вызов <EQ …> заменяется на EQ, что, очевидно, неправильно:

Q {
  e.X '=' e.Y = <EQ (e.X) e.Y>;
}

$INLINE EQ;

EQ {
  (e.X) e.X = EQ;
  (e.X) e.Y = NEQ;
}

Т.е. функция Q превращается в

Q {
  e.X '=' e.Y = EQ;
}

Вот в виде файла тест на ошибку: test3.ref.txt

Ошибка в «идентичных присваиваниях» и «идентичных сужениях», которые смысла не имеют, поскольку переменные в них обитают в разных функциях.

@InfiniteDisorder, когда Вы докладывались на семинаре и сказали про «идентичные присваивания», я думал, Вы имели ввиду вот это:

, e.Assigns
: e.B
  (e.Expr : (TkVariable e.HIndex))
  e.M
  (e.Expr : (TkVariable e.HIndex))
  e.E

Вот это было бы правильно, но пока не реализовано. Если мы имеем два текстуально идентичных выражения и они присвоены повторной переменной, то они равны.

Но если их удалить как бессмысленные, происходит ошибка #233.

[Mazdaywik]

@InfiniteDisorder исправил ошибку, я добавил автотест.

[Mazdaywik]

Эх, в коммите 8d025b1 была опечатка, а я её проглядел при ревью. Коммитом ниже исправлю.