[Compiler|optimizer] Fix a bug in the optimizer (!3) · Merge requests · Nomadic Labs / Albert

Raphaël Cauderlier requested to merge raphael@fix_optimizer into master Nov 26, 2019

DROP1 at pattern position was interpreted as an unused variable instead of DROP 1. This lead to eagerly replacing PUSH ty x; <anything> by NOOP, which is incorrect.

This bug was probably introduced during the adaptation to Babylon.

[Compiler|optimizer] Fix a bug in the optimizer

Merge request reports