[ ECLiPSe Prolog Environment built-in.|Group Index| Full Index]

erase_macro(+TransTerm)

Erases the macro definition for TransTerm done in the current module

+TransTerm
Term in the form Atom/Integer.

Description

The macro (either global or local) defined for TransTerm in the current module is erased. If there was no macro definition, an error is raised.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
TransTerm is not instantiated.
(5) Type error
TransTerm not of form Atom/Integer.
(162)
No macro transformation defined in this module for TransTerm.

Examples


   Success:
   erase_macro(a/1).    (if a macro was defined for a/1)
   Error:
   erase_macro(X).      (Error 4).
   erase_macro(a).      (Error 5).
   erase_macro(a/1).    (Error 162). % if no macro was defined.


See Also

current_macro / 4, define_macro / 3, phrase / 2, phrase / 3