During the port to Astring the function Xstringext.String.split (that preserves empty splitted strings) has been replaced in most places by Astring.String.cuts ~empty:false (filtering the empty splitted strings).
In most cases this was just an optimization. In two cases the difference in behaviour could create issues in some corner cases. This commit restores the old behavior for those.
During the port to Astring the function
Xstringext.String.split
(that preserves empty splitted strings) has been replaced in most places byAstring.String.cuts ~empty:false
(filtering the empty splitted strings).In most cases this was just an optimization. In two cases the difference in behaviour could create issues in some corner cases. This commit restores the old behavior for those.
Signed-off-by: Marcello Seri marcello.seri@citrix.com