diff --git a/extra/lint/lint.factor b/extra/lint/lint.factor index e6710302cc..6d609efd75 100644 --- a/extra/lint/lint.factor +++ b/extra/lint/lint.factor @@ -300,6 +300,14 @@ PRIVATE> } 1&& ] any? ; +: find-redundant-word-props ( -- seq ) + all-words [ + { + [ { [ foldable? ] [ flushable? ] } 1|| ] + [ inline? ] + } 1&& + ] filter ; + : lint-all ( -- seq ) all-words run-lint dup lint. ;