Skip to content

Global objects can now appear on the LHS as well. Furthermore, we make the accu explicit before object resolution to allow for effects in fold functions

Sven-Bodo Scholz requested to merge sbs/sac2c:hotfix-2479-early-accu into develop

Global objects can now appear on the LHS as well. This allows us to use global objects not only as arguments of reference-parameter positions....

The consequence of this is that we also have N_globobjs on LHS after object resolution and hence need to support them in compile....

We also move the explicit accu phase before the resolution of global objects. This resolves issues #2479 (closed) and #2434 (closed).

In principle, this means we no longer need support for non-explicit accu situations in NTCfold (INFO_EXP_ACCU (arg_info) == NULL) branch, but, for the time being we leave this in the code base just in case we need to run the type checker before the explicit accu....

Edited by Sven-Bodo Scholz

Merge request reports