duplicate-capture-name ( name -- * )

Vocabulary

regexp.captures

Inputs

name

a string

Outputs

None

Error description

A capturing group name occurs more than once in the regular expression.

Definition

IN: regexp.captures

ERROR: duplicate-capture-name name ;