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

erase_macro(+TransTerm, +Options)

Erases the macro definition for TransTerm done in the current module

+TransTerm
Term in the form Atom/Integer.
+Options
Possibly empty list of option flags.

Description

The macro defined for TransTerm and matching the specified Options is erased. If there was no matching macro definition, the predicate silently succeeds. See define_macro/3 for the valid options.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
TransTerm is not instantiated or Options is not fully instantiated.
(5) Type error
TransTerm not of form Atom/Integer or Options is not a list of atoms.
(6) Range error
Options contains an element which is not a valid option.

Examples


   Success:
   erase_macro(a/1, [read]).
   erase_macro(a/1, [write,goal]).
   Error:
   erase_macro(X, []).           (Error 4).
   erase_macro(a, [write]).      (Error 5).
   erase_macro(a/1, [hello]).    (Error 6).


See Also

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