unknown-capture-group ( group -- * )

Vocabulary

regexp.captures

Inputs

group

a group number or name

Outputs

None

Error description

A capture was requested with an unknown name, a non-integer index, or an index outside the result's group array.

Definition

IN: regexp.captures

ERROR: unknown-capture-group group ;