Re: Need case sensitive reader

From: Erick Gallesio <eg_at_kaolin.unice.fr>
Date: Wed, 22 Feb 1995 18:52:28 +0000

> A main drawback of using the reader in efficient programming is that it
> destroys case information (filenames, names in general). To overcome
> this, one has convert input to strings or to |xXXXx|-Symbols. I think
> there should be a fast way to input case sensitive symbols.

One simple way consists to add a new primtive read-with-case (cannot find a
better name :( )
This could easily be written as

PRIMITIVE STk_read_with_case(SCM port)
{
  port = verify_port("read-with-case", port, F_READ);
  return(STk_readf(port->storage_as.port.f, TRUE));
}

Hope it helps.


                -- Erick
Received on Wed Feb 22 1995 - 18:52:29 CET