basis: use <vocab-link> in a couple places.
parent
2b4844e753
commit
256b135aa9
|
@ -67,7 +67,7 @@ PRIVATE>
|
|||
] check-something ;
|
||||
|
||||
: check-about ( vocab -- )
|
||||
vocab-link boa dup
|
||||
<vocab-link> dup
|
||||
'[ _ vocab-help [ lookup-article drop ] when* ] check-something ;
|
||||
|
||||
: check-vocab ( vocab -- )
|
||||
|
|
|
@ -73,7 +73,7 @@ PRIVATE>
|
|||
: no-prefixes ( seq -- seq' ) [ vocab-prefix? not ] filter ;
|
||||
|
||||
: convert-prefixes ( seq -- seq' )
|
||||
[ dup vocab-prefix? [ name>> vocab-link boa ] when ] map ;
|
||||
[ dup vocab-prefix? [ name>> <vocab-link> ] when ] map ;
|
||||
|
||||
: remove-redundant-prefixes ( seq -- seq' )
|
||||
#! Hack.
|
||||
|
|
Loading…
Reference in New Issue