When adding a name to the table of macros and environments, make sure it
is not already present. If it is, raise an exception, since that should not happen in a well-defined conversion.
Showing
Please
register
or
sign in
to comment
is not already present. If it is, raise an exception, since that should not happen in a well-defined conversion.