In some cases, the :dt: tag has been used to define "pseudo terms" which do not have an actual definition. An example of such term is "identifier pattern matching" (see here). The term acts as a label for a sequence of dynamic semantics.
Given the work on #680, such terms will pose a problem to the glossary generator. The terms will most likely need to be either removed, or fully defined.
In some cases, the :dt: tag has been used to define "pseudo terms" which do not have an actual definition. An example of such term is "identifier pattern matching" (see here). The term acts as a label for a sequence of dynamic semantics.
Given the work on #680, such terms will pose a problem to the glossary generator. The terms will most likely need to be either removed, or fully defined.