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

[John Cowan]

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!"