fail

Purpose

In CHECK Region, abort the rule that has just matched. Noop elsewhere.

Syntax

fail()

Returns

Remarks

Constrained to appear directly in the CHECK region, not within functions defined in the DECL region.

Described both here and in Special Functions.

Example

See Also

or, succeed, Special Functions, CHECK Actions