xml: Rename unclosed.
parent
8160bb036d
commit
c74d19512e
|
@ -49,7 +49,7 @@ XML-ERROR: mismatched open close ;
|
||||||
|
|
||||||
TUPLE: unclosed line column tags ;
|
TUPLE: unclosed line column tags ;
|
||||||
|
|
||||||
: unclosed ( -- * )
|
: throw-unclosed ( -- * )
|
||||||
get-line get-column
|
get-line get-column
|
||||||
xml-stack get rest-slice [ first name>> ] map
|
xml-stack get rest-slice [ first name>> ] map
|
||||||
\ unclosed boa throw ;
|
\ unclosed boa throw ;
|
||||||
|
|
|
@ -155,7 +155,7 @@ PRIVATE>
|
||||||
init-xml init-xml-stack
|
init-xml init-xml-stack
|
||||||
call
|
call
|
||||||
[ process ] xml-loop
|
[ process ] xml-loop
|
||||||
done? [ unclosed ] unless
|
done? [ throw-unclosed ] unless
|
||||||
xml-stack get first second
|
xml-stack get first second
|
||||||
] with-state ; inline
|
] with-state ; inline
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue