[Openmcl-devel] Shortcircuiting of argument evaluation in #'<
ron at flownet.com
Wed Jan 9 10:10:16 CST 2013
On Jan 9, 2013, at 8:01 AM, Tom Emerson wrote:
> On Wed, Jan 9, 2013 at 10:35 AM, Ron Garret <ron at flownet.com> wrote:
>> IMO this is a bug in the spec, not CCL. (< a b c ...) ought to mean (and (< a b) (< b c) ...)
> By which I assume you mean the definition of the comparison operators
> in 12.2, where, "[t]he value of < is true if the numbers are in
> monotonically increasing order; otherwise it is false." To short
> circuit wouldn't #'< need to become a special operator?
Well, this is a very tricky situation. If you just made them special operators then you could no longer FUNCALL or APPLY them, and that would surely cause even worse breakage. I would have to think about how one would actually go about fixing this problem the Right Way.
More information about the Openmcl-devel