[m-dev.] type goal_expr in prog_data question

[Peter Ross]

Am I correct in thinking that for the type goal_expr in prog_data.m, the
prog_vars part of the if-then-else constructs are those variable which
are existentially quantified across the if-then part of the goal?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------