error in PackedString ?

[Fuad Abdallah]

Hello,

i just encountered the following strange result with PackedStrings:

foo = packString "this is a test"

show (filterPS (not.isSpace) foo)

result:

"thisisatest\NUL"

It looks like the trailing \0 from the PS is filtered ?

regards,
Fuad

--
Fuad Abdallah
Max-Planck-Institut fuer Zuechtungsforschung / ZWDV
Tel.: 0221/5062-739 / Priv: 0221/584563