[Gcl-devel] Re: ANSI compliance bug

[Camm Maguire]

Greetings!  This has been on my todo for a long time.  string-char ->
character works in most instances I've investigated in GCL.  My
question is mostly whether either axiom, acl2, or the nqthms, which
compile on the cltl1 image, need string-char.  Otherwise I can likely
do a simple global replace.

Take care,

Robert Boyer <address@hidden> writes:

> In "t2" ANSI
> 
> GCL invalidly returns 'STRING-CHAR on
> (stream-element-type (open "/u/boyer/.login")).
> Allegro, for example, legitimately returns '(UNSIGNED-BYTE 8).
> Clisp and CMU return 'CHARACTER.  The type STRING-CHAR has
> been entirely abolished from Common-LISP.
> 
> Bob
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah