gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Strings as list don't work, maybe clarify the documentation #102

Open jackschmidt opened 3 years ago

jackschmidt commented 3 years ago

In https://github.com/gap-system/gap/issues/4585 @mfarrokhidg asked about using Strings as list of characters as arguments. This does not work. The documentation tries to address this ("arguments must be GAP Strings"), but perhaps the documentation should be more clear that the functions require IsStringRep not just IsString.

I gave the following workaround. A similar example might be useful in the manual.

gap> x:=['t', 'e', 's', 't'];
"test"
gap> IO_mkdir(x,0);
fail
gap> ConvertToStringRep(x);
gap> IO_mkdir(x,0);
true