|
|
|---|
|
|
|
|---|
Disambiguate a parameter declarator.
(dimb-paramdeclor paramdeclor table) → (mv erp new-paramdeclor new-table)
A declarator is recursively disambiguated, and the identifier is added to the disambiguation table, as denoting an object or function.
An abstract declarator is recursively disambiguated, but since it does not introduce an identifier, the disambiguation table is left unchanged.
An absent parameter declarator is left unchanged, and so is the disambiguation table.
An ambiguous declarator or abstract declarator is disambiguated to a declarator or abstractor declarator, thus re-classifying the parameter declarator. If the disambiguation is in favor of a declarator, the identifier is also added to the disambiguation table.
Note that we call dimb-declor
with