Prior art table, and the use of ":" for lexical syntax Jeronimo Pellegrini (27 Jan 2025 23:02 UTC)
Re: Prior art table, and the use of ":" for lexical syntax Wolfgang Corcoran-Mathe (28 Jan 2025 18:55 UTC)
Re: Prior art table, and the use of ":" for lexical syntax Wolfgang Corcoran-Mathe (28 Jan 2025 21:15 UTC)
Re: Prior art table, and the use of ":" for lexical syntax Jeronimo Pellegrini (28 Jan 2025 21:41 UTC)

Re: Prior art table, and the use of ":" for lexical syntax Wolfgang Corcoran-Mathe 28 Jan 2025 21:15 UTC

Jeronimo:

After further investigation, I think that uninterned symbols, 'eqv?', and
'symbol=?' display some very strange behavior in STklos. For example, in
STklos 2.10,

    > (define x (string->uninterned-symbol "foo"))
    ;; x
    > (eqv? x 'foo)
    #t
    > (symbol=? x 'foo)
    #f

Is this a bug?  Surely 'eqv?' and 'symbol=?' should agree here. (The
same thing occurs with 'gensym': symbols created by 'gensym' are eqv?
to other symbols with the same name, but they aren't symbol=? to them.)

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>