Add named MAP.
Symbols, parameters, and return types of type MAP MAY now specify a template MAP with the form TYPE{template}, where the template is written as a MAP. template MAY be any expression that evaluates to MAP. Templates are matched according to the same rules as the MATCH operator.
Named MAP with different templates are treated as different types, but are all considered part of the parent MAP type.
Signatures MUST include the template in the type annotation for named MAP.
Update the specification, implementation, and test suite.
Add named
MAP.Symbols, parameters, and return types of type
MAPMAY now specify a templateMAPwith the formTYPE{template}, where the template is written as aMAP.templateMAY be any expression that evaluates toMAP. Templates are matched according to the same rules as theMATCHoperator.Named
MAPwith different templates are treated as different types, but are all considered part of the parentMAPtype.Signatures MUST include the template in the type annotation for named
MAP.Update the specification, implementation, and test suite.