[r6rs-discuss] Re: [Formal] Allow compilers to reject obvious violations

From: John Cowan <cowan>
Date: Sun Mar 11 13:51:21 2007

bear scripsit:

> ;; implementation of assert and continuation? are left as
> ;; an exercise for the reader.

It's not obvious to me that there's any principled way to define
"continuation?", unless your implementation of call/cc is polite
enough to tag escape procedures for you. In a CPS compiler they
are interchangeable with other procedures.

-- 
John Cowan  cowan_at_ccil.org  http://ccil.org/~cowan
Female celebrity stalker, on a hot morning in Cairo:
"Imagine, Colonel Lawrence, ninety-two already!"
El Auruns's reply:  "Many happy returns of the day!"

Received on Sun Mar 11 2007 - 13:51:15 UTC