stack-checker.row-polymorphism: minor cleanup

Slava Pestov 2010-06-22 22:29:24 -04:00
parent 0a657b7221
commit 49b19890e0
1 changed files with 2 additions and 2 deletions

View File

@ -16,8 +16,8 @@ IN: stack-checker.row-polymorphism
:: (effect-here) ( inner-d old-meta-d-length old-input-count -- effect ) :: (effect-here) ( inner-d old-meta-d-length old-input-count -- effect )
old-meta-d-length inner-d - input-count get old-input-count - + old-meta-d-length inner-d - input-count get old-input-count - +
terminated? get [ 0 ] [ meta-d length inner-d - ] if terminated? get [ [ 0 ] [ meta-d length inner-d - ] if [ "x" <array> ] bi@ ] keep
[ "x" <array> ] bi@ terminated? get <terminated-effect> ; inline <terminated-effect> ; inline
: with-effect-here ( quot -- effect ) : with-effect-here ( quot -- effect )
meta-d length input-count get meta-d length input-count get