modern.out: dont write extra space if there's no end delimiter.
parent
342b8f5ef6
commit
4f2ec33899
|
@ -115,7 +115,6 @@ M: line-comment-literal write-literal
|
||||||
} 1&& ;
|
} 1&& ;
|
||||||
|
|
||||||
: write-uppercase-colon-literal-nice ( obj -- )
|
: write-uppercase-colon-literal-nice ( obj -- )
|
||||||
B
|
|
||||||
{
|
{
|
||||||
[ seq>> 0 swap nth write-whitespace ]
|
[ seq>> 0 swap nth write-whitespace ]
|
||||||
[ tag>> write ]
|
[ tag>> write ]
|
||||||
|
@ -127,7 +126,7 @@ B
|
||||||
[ 2drop closing-tag>> [ write ] when* ]
|
[ 2drop closing-tag>> [ write ] when* ]
|
||||||
[ 2nip write-literal ] 3tri
|
[ 2nip write-literal ] 3tri
|
||||||
]
|
]
|
||||||
[ seq>> 3 swap nth lexed-underlying [ write-whitespace ] when* ]
|
[ [ seq>> 3 swap ?nth ] [ closing-tag>> ] bi 2dup and [ drop [ lexed-underlying [ write-whitespace ] when* ] when* ] [ 2drop ] if ]
|
||||||
} cleave ;
|
} cleave ;
|
||||||
|
|
||||||
: write-uppercase-colon-literal-vanilla ( obj -- )
|
: write-uppercase-colon-literal-vanilla ( obj -- )
|
||||||
|
|
Loading…
Reference in New Issue