ui.baseline-alignment: better stack effects.

diff --git a/basis/ui/baseline-alignment/baseline-alignment.factor b/basis/ui/baseline-alignment/baseline-alignment.factor
index e65d4c64fb4573570fe74a9a55b389591beae34d..7bf8c793884f75718dd68d1a37697fcfd291a248 100644 (file)
--- a/basis/ui/baseline-alignment/baseline-alignment.factor
+++ b/basis/ui/baseline-alignment/baseline-alignment.factor
@@ -47,16 +47,16 @@ TUPLE: gadget-metrics height ascent descent cap-height ;
 : ?supremum ( seq -- n/f )
     sift [ f ] [ supremum ] if-empty ;
 
-: max-ascent ( seq -- n )
+: max-ascent ( seq -- n/f )
     [ ascent>> ] map ?supremum ;
 
-: max-cap-height ( seq -- n )
+: max-cap-height ( seq -- n/f )
     [ cap-height>> ] map ?supremum ;
 
-: max-descent ( seq -- n )
+: max-descent ( seq -- n/f )
     [ descent>> ] map ?supremum ;
 
-: max-graphics-height ( seq -- y )
+: max-graphics-height ( seq -- n )
     [ ascent>> ] reject [ height>> ] map ?supremum 0 or ;
 
 :: combine-metrics ( graphics-height ascent descent cap-height -- ascent' descent' )