Re: [PATCH] Remove '#' preceeding the IOS IDs.

[Jose E. Marchesi]

Hi Egeyar!
    
            * libpoke/libpoke.c (pk_ios_completion_function): Remove '#'
            preceeding ios IDs.

We need these #s.  It is necessary to syntactically distinguish IOS ids
in several contexts, for interface purposes.  I am abstaining from using
the characters # and $ in the Poke language, so they are available for
the interface.

In fact, my plan is to expand the notation so it is possible to refer to
IO spaces by name, using something like #<NAME> or #NAME.  This will
require the repl to scan the input and replace the #... entries by the
corresponding IOS id.  The $ will probably be used in a very similar
way, for variables implicitly defined by the interface.

Something we probably want to do, however, is to normalize calling them
"IOS ids" instead of "tags"...