matches? ( quot -- quot' )
Invertible quotations

Prev:	undo ( quot -- quot )
Next:	switch ( quot-alist -- quot )

Vocabulary
inverse

Inputs

quot	a quotation

Outputs
None

Word description
Tests if the stack can match the given quotation. The quotation is inverted, and if the inverse can run without a unification failure, then t is returned. Else f is returned. If a different error is encountered (such as stack underflow), this will be propagated.

Definition

IN: inverse

MACRO: matches? ( quot -- quot' ) [matches?] ;