On Thu, Nov 10, 2022 at 08:42:20AM +0100, Marc Nieper-Wißkirchen wrote:
> PS Trying to find types of the following should also be done when
> evaluating type systems:
>
> (vector 1 'foo '())

And, not to forget, what if you do (vector-set! x 1 "bar") later in the
program.

Cheers,
Peter