Merge branch 'master' into new_ui

2009-01-30 03:46:02 -06:00 · 2009-01-30 03:46:02 -06:00 · 0e68581193
parent 6906fad725 fe886fc8f3
commit 0e68581193
1 changed files with 10 additions and 0 deletions
--- a/basis/help/lint/lint.factor
+++ b/basis/help/lint/lint.factor
@ -114,12 +114,22 @@ SYMBOL: vocabs-quot
        [ 2 <clumps> [ [ string? ] all? ] filter [ first2 check-whitespace ] each ]
    } cleave ;

+: check-descriptions ( element -- )
+    { $description $class-description $var-description }
+    swap '[
+        _ elements [
+            rest { { } { "" } } member?
+            [ "Empty description" throw ] when
+        ] each
+    ] each ;
+
 : check-markup ( element -- )
    {
        [ check-elements ]
        [ check-rendering ]
        [ check-examples ]
        [ check-modules ]
+        [ check-descriptions ]
    } cleave ;

 : all-word-help ( words -- seq )