I do not know if that is standardized. But the current behavior of subStrings is that something like: '1;;2;3;4' subStrings: ';'
yields:
#('1' '2' '3' '4')
that means the array may get longer or shorter with the same number of
separators.
Shouldn't there be some kind of alternative which would yield?
#('1' '' '2' '3' '4')
Maybe there is a reason for the first decision. If not what would be the
problem with having it both ways?
Regards
Friedrich
