[#STR-266] newname strategy produces additional 'weird' characters

Description

The extra non-utf characters can be found by simply running the stratego-shell:

$ stratego-shell
stratego> import lib
stratego> <newname> "speciaal_groot_woord_1"
"speciaal_groot_woord_0"
stratego> <newname> "speciaal_groot_woord_1"
"speciaal_groot_woord_2"
stratego> <newname> "speciaal_groot_woord_1"
"speciaal_groot_woord_3"
stratego> <newname> "speciaal_groot_woord_1"
"speciaal_groot_woord��)_0"

The problem seems to be triggerd by the '_'-number at the end, if no number is present, but alpha-chars newname does its magic as expected.

Description

The extra non-utf characters can be found by simply running the stratego-shell: $ stratego-shell stratego> import lib stratego> <newname> "speciaal_groot_woord_1" "speciaal_groot_woord_0" stratego> <newname> "speciaal_groot_woord_1" "speciaal_groot_woord_2" stratego> <newname> "speciaal_groot_woord_1" "speciaal_groot_woord_3" stratego> <newname> "speciaal_groot_woord_1" "speciaal_groot_woord��)_0" The problem seems to be triggerd by the '_'-number at the end, if no number is present, but alpha-chars newname does its magic as expected.

Show »

[ Permlink | « Hide ]

Martin Bravenboer [2005-03-12 18:41]

Also reported by various PT students.

[ Permlink | « Hide ]

Anonymous [2005-03-14 07:55]

Using strategoxt-0.14pre9261 (from the nix-channel):
----------------------------------
module foo
imports lib
strategies

main = io-wrap(do)

do = <newname> "foo_0"
rene@tigger:~$ cat foo.str
module foo
imports lib
strategies

main = io-wrap(do)

do = <newname> "foo_0"
----------------------------------
strc -i foo.str -o foo
----------------------------------
$ echo '[]' | ./foo
"foo- p�- _0"
----------------------------------

[ Permlink | « Hide ]

Rene de Groot [2005-03-16 11:20]

- Fixed by commit in stratego-lib/native/stratego-lib/string.c version 9299

Now to close this issue

[ Permlink | « Hide ]

Rob Vermaas [2005-03-16 11:22]

well done