delete-user-init-errors ( file -- )

Vocabulary

command-line

Inputs

file

an object

Outputs

None

Definition

USING: assocs kernel namespaces source-files.errors ;

IN: command-line

: delete-user-init-errors ( file -- )
    user-init-errors get delete-at* nip
    [ notify-error-observers ] when ;