help.syntax: if you're gonna have HELP: stack effects, they might as well be correct...

diff --git a/basis/help/syntax/syntax.factor b/basis/help/syntax/syntax.factor
index 7f7bee1fe2edc0619dc87ba75b63e5c6a445511c..3bf17fdfc396fdbcace5ca5c9252459e01120ba5 100644 (file)
--- a/basis/help/syntax/syntax.factor
+++ b/basis/help/syntax/syntax.factor
@@ -1,19 +1,24 @@
 ! Copyright (C) 2005, 2009 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
-USING: accessors arrays compiler.units definitions effects help
-help.topics kernel namespaces parser sequences vocabs
-vocabs.parser words ;
+USING: accessors arrays compiler.units definitions effects
+effects.parser help help.topics kernel namespaces parser
+sequences vocabs vocabs.parser words ;
 IN: help.syntax
 
+<PRIVATE
+
+: check-effect ( word seq -- word seq' )
+    dup ?first effect? [
+        unclip pick stack-effect effect= [ bad-effect ] unless
+    ] when ;
+
+PRIVATE>
+
 SYNTAX: HELP:
     scan-word bootstrap-word
     [ >link save-location ]
-    [
-        [
-            \ ; parse-until
-            dup ?first effect? [ rest ] when >array
-        ] dip set-word-help
-    ] bi ;
+    [ \ ; parse-until check-effect >array swap set-word-help ]
+    bi ;
 
 SYNTAX: ARTICLE:
     location [