alien.c-types: fill out the higher-order stack effect of if-void

diff --git a/basis/alien/c-types/c-types.factor b/basis/alien/c-types/c-types.factor
index 63c6f72ee6fc950e44a8a53df39e1f12ddf3bdbf..c3f742b8706edad148026d468799ffe721018d95 100644 (file)
--- a/basis/alien/c-types/c-types.factor
+++ b/basis/alien/c-types/c-types.factor
@@ -164,7 +164,7 @@ TUPLE: long-long-type < c-type ;
 : <long-long-type> ( -- c-type )
     long-long-type new ;
 
-: if-void ( c-type true false -- )
+: if-void ( ..a c-type true: ( ..a -- ..b ) false: ( ..a c-type -- ..b ) -- ..b )
     pick void? [ drop nip call ] [ nip call ] if ; inline
 
 SYMBOLS: