]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint.checks: ignore words without defined word-help.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Apr 2016 02:03:08 +0000 (19:03 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Apr 2016 02:03:48 +0000 (19:03 -0700)
This allows us to skip words that use the $default help.

basis/help/lint/checks/checks.factor

index f4db83d67dcc5dc0f1e7375858370463e7dde57f..a181a5da837cf69e9ed97b38b14ea69988488fae 100644 (file)
@@ -78,6 +78,7 @@ SYMBOL: vocab-articles
         [ parsing-word? ]
         [ "declared-effect" word-prop not ]
         [ constant? ]
+        [ "word-help" word-prop not ]
     } 1|| ;
 
 : skip-check-values? ( word element -- ? )