[m-rev.] for review: switch det analysis and simplify to var_tables
Julien Fischer
jfischer at opturion.com
Sun May 1 15:30:34 AEST 2022
On Sun, 1 May 2022, Zoltan Somogyi wrote:
> Convert det analysis and simplify to var_tables.
>
> compiler/common.m:
> compiler/const_prop.m:
> compiler/format_call.m:
> compiler/simplify_goal.m:
> compiler/simplify_goal_call.m:
> compiler/simplify_goal_conj.m:
> compiler/simplify_goal_disj.m:
> compiler/simplify_goal_ite.m:
> compiler/simplify_goal_scope.m:
> compiler/simplify_goal_switch.m:
> compiler/simplify_goal_unify.m:
> compiler/simplify_info.m:
> compiler/simplify_proc.m:
> Convert these modules, which comprise the simplification pass,
> to use var_tables.
...
That looks fine.
Julien.
More information about the reviews
mailing list