steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help.lint: Rename help-lint-error.

db4
Doug Coleman 2013-03-23 17:06:15 -07:00
parent 5c1d5a049f
commit f4dfc3733a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/help/lint/lint.factor
View File

@ -34,7 +34,7 @@ M: help-lint-error error-type drop +help-lint-failure+ ;
PRIVATE>
: help-lint-error ( error topic -- )
: notify-help-lint-error ( error topic -- )
lint-failures get pick
[ [ [ <help-lint-error> ] keep ] dip set-at ] [ delete-at drop ] if
notify-error-observers ;
@ -43,7 +43,7 @@ PRIVATE>
:: check-something ( topic quot -- )
[ quot call( -- ) f ] [ ] recover
topic help-lint-error ; inline
topic notify-help-lint-error ; inline
: check-word ( word -- )
[ with-file-vocabs ] vocabs-quot set