[m-rev.] for post-commit review: note a problem with handle_inst_var_subs

[Zoltan Somogyi]

On 2024-07-05 11:33 +10:00 AEST, "Peter Wang" <novalazy at gmail.com> wrote:
> All I can tell you is that code follows the get_subst_inst function in
> David Overton's thesis (page 78, figure 4.2).
> The InstA = constrained_inst_vars(_, _) branch is the second case of
> get_subst_inst, which ignores Ω.

Thanks. I will have a look.

Zoltan.