grep-file ( pattern filename -- )

Vocabulary

tools.grep

Inputs

pattern	an object
filename	an object

Outputs

None

Definition

USING: io.encodings.ascii io.files ;

IN: tools.grep

: grep-file ( pattern filename -- )
    ascii [ grep-lines ] with-file-reader ;