[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