|
Notes |
|
|
(0001174)
|
|
zs
|
|
2022-02-09 20:47
|
|
The error occurs in the code generated for the gen_aux_proc_goal
predicate, and the repeated variables are part of the implementation
of the invariant_goal predicate, which is inlined into the switch arm
for generic_calls, unifies and foreign_procs indirectly through
gen_aux_proc_handle_nonrecursive_call. Some implementation methods
for switches that ml_switch_gen.m can choose from can duplicate
the code we generate for an arm, and that is what seems to have
happened here. I don't yet know why. |
|
|
|
(0001175)
|
|
zs
|
|
2022-02-10 00:27
|
|
Actually, there are two separate bugs involved here.
One results in the duplication of auxiliary functions,
and one results in the duplication of fields in environment
structures.
I have a simple fix for the first problem, which I will document
and post tomorrow. The second problem is harder. |
|
|
|
(0001176)
|
|
zs
|
|
2022-02-12 10:57
|
|
|
Fixes have been committed for both problems. |
|