xo-reader2: + DExpectFormalArgSsm [WIP]

This commit is contained in:
Roland Conybeare 2026-01-28 17:40:57 -05:00
commit 2a7d6d24a8

View file

@ -128,6 +128,8 @@ namespace xo {
return false;
}
pps->write(">");
return true;
} else {
pps->write("<ApplyExpr");
@ -146,6 +148,8 @@ namespace xo {
pps->pretty(refrtag(concat("arg", 1+i_arg), arg_i));
}
pps->write(">");
return false;
}
}