Andre van Tonder scripsit:

> > Does it really? Can anyone point to an implementation of EVAL that can't
> > cope with this?
>
> I don't think Larceny's eval can cope with this.

In fact, Larceny has no trouble with a quoted procedure object in the
car of a form.  Scheme48/scsh is the only implementation that does,
and not (so far as I can judge) because of any internal limitation:
it just checks and blows up.

(define e (interaction-environment))
(define y (list (list 'quote 'cons) 1 2))
(set-car! (cdar y) cons)
(eval x e) => (1 . 2)

--
John Cowan  cowan@ccil.org  http://ccil.org/~cowan
The competent programmer is fully aware of the strictly limited size of his own
skull; therefore he approaches the programming task in full humility, and among
other things he avoids clever tricks like the plague.  --Edsger Dijkstra

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports