Fix various stack effect declarations

library/bootstrap/image.factor

@@ -22,7 +22,7 @@ IN: image
 
 : char bootstrap-cell 2 /i ; inline
 
-: untag ( cell tag -- ) tag-mask bitnot bitand ; inline
+: untag ( cell -- cell ) tag-mask bitnot bitand ; inline
 : tag ( cell -- tag ) tag-mask bitand ; inline
 
 : array-type      8  ; inline

library/compiler/alien/objc/utilities.factor

@@ -219,7 +219,7 @@ H{
         2drop
     ] if* ;
 
-: register-objc-methods ( class -- seq )
+: register-objc-methods ( class -- )
     f <void*> (register-objc-methods) ;
 
 : class-exists? ( string -- class ) objc_getClass >boolean ;

library/compiler/inference/dataflow.factor

@@ -80,11 +80,11 @@ C: #return make-node ;
 
 TUPLE: #if ;
 C: #if make-node ;
-: #if ( in -- node ) peek-d 1array in-node <#if> ;
+: #if ( -- node ) peek-d 1array in-node <#if> ;
 
 TUPLE: #dispatch ;
 C: #dispatch make-node ;
-: #dispatch ( in -- node ) peek-d 1array in-node <#dispatch> ;
+: #dispatch ( -- node ) peek-d 1array in-node <#dispatch> ;
 
 TUPLE: #merge ;
 C: #merge make-node ;

library/compiler/inference/inference.factor

@@ -38,8 +38,7 @@ SYMBOL: d-in
 : ensure-values ( n -- )
     meta-d [ add-inputs ] change d-in [ + ] change ;
 
-: short-effect ( -- { in# out# } )
-    #! After inference is finished, collect information.
+: short-effect ( -- pair )
     d-in get meta-d get length 2array ;
 
 ! Does this control flow path throw an exception, therefore its
@@ -47,7 +46,6 @@ SYMBOL: d-in
 SYMBOL: terminated?
 
 : current-effect ( -- effect )
-    #! After inference is finished, collect information.
     d-in get meta-d get length <effect>
     terminated? get over set-effect-terminated? ;
 

library/compiler/optimizer/call-optimizers.factor

@@ -56,7 +56,7 @@ math math-internals sequences words parser ;
     { [ dup disjoint-eq? ] [ [ f ] inline-literals ] }
 } define-optimizers
 
-: useless-coerce? ( node -- )
+: useless-coerce? ( node -- ? )
     dup 0 node-class#
     swap node-param "infer-effect" word-prop effect-out first
     eq? ;

library/syntax/parse-syntax.factor

@@ -51,12 +51,12 @@ DEFER: !PRIMITIVE: parsing
     scan-word scan-word
     [ location <method> -rot define-method ] f ; parsing
 
-: !UNION: ( -- class predicate definition )
+: !UNION:
     CREATE dup intern-symbol dup predicate-word
     [ dupd unit "predicate" set-word-prop ] keep
     [ define-union ] f ; parsing
 
-: !PREDICATE: ( -- class predicate definition )
+: !PREDICATE:
     scan-word CREATE dup intern-symbol
     dup rot "superclass" set-word-prop dup predicate-word
     [ define-predicate-class ] f ; parsing

library/tools/interpreter.factor

@@ -93,7 +93,7 @@ SYMBOL: callframe-end
 : catch-harness ( continuation -- quot )
     [ [ c> 2array ] % , \ continue-with , ] [ ] make ;
 
-: host-harness ( quot continuation -- )
+: host-harness ( quot continuation -- quot )
     tuck [
         catch-harness , \ >c ,
         %

library/ui/opengl/opengl-utils.factor

@@ -4,7 +4,7 @@ IN: opengl
 USING: alien errors io kernel math namespaces opengl
 sequences ;
 
-: gl-color ( { r g b a } -- ) first4 glColor4d ; inline
+: gl-color ( colorspec -- ) first4 glColor4d ; inline
 
 : gl-error ( -- )
     glGetError dup zero? [