With 71ba27e we have a pass which flattens nested occurrences of BindMany. It should flatten BindMany first [... (x, Seq a b) ...] into BindMany first [... (x, a), (dummy_var, b), ...] as well. Need some kind of dummy var there to hold the non-result of a, and possibly a slight change to the code generator to avoid generating that dummy var.
With 71ba27e we have a pass which flattens nested occurrences of
BindMany. It should flattenBindMany first [... (x, Seq a b) ...]intoBindMany first [... (x, a), (dummy_var, b), ...]as well. Need some kind of dummy var there to hold the non-result of a, and possibly a slight change to the code generator to avoid generating that dummy var.