[m-rev.] for review: record typechecking results in var_tables

[Julien Fischer]

On Sat, 28 May 2022, Zoltan Somogyi wrote:

> This should finish the conversion to using var_tables
> of all the modules that *should* be using var_tables,
> with the exception of a few modules (e.g. mode_constraints.m)
> that are not currently used.
>
> The scaffolding that was needed only during the transition
> will be removed by a future diff.

Installation of the C# grade fails with this diff:

     ...
     Making Mercury/opts/bt_array.opt
     Making Mercury/opts/builtin.opt
     Uncaught Mercury exception:
     Software Error: function `check_hlds.type_util.is_type_a_dummy_loop'/3:
     Unexpected: MaybeTypeRepn = no
     Stack dump not available in this grade.
     ** Error making `Mercury/opts/builtin.opt'.
     gmake[1]: *** [libmer_std.install] Error 1
     gmake[1]: Leaving directory
     `/home/jfischer/mercury/mercury-2.git/stage2/install_grade_dir.csharp/library'
     To clean up from failed install, remove
     /home/jfischer/mercury/mercury-2.git/stage2/install_grade_dir.csharp
     gmake: *** [install_grades] Error 1

Julien.