On Thu, 26 May 2011, Eli Barzilay wrote:

> 10 minutes ago, Emmanuel Medernach wrote:
>> On Thu, May 26, 2011 at 6:07 PM, Andre van Tonder <andre@het.brown.edu>wrote:
>>
>>> On Thu, 26 May 2011, Eli Barzilay wrote:
>>>
>>>> This is a question for WG1 (collectively):
>>>>
>>>> According to R5RS, is this code:
>>>>
>>>>  (call-with-values
>>>>    (lambda ()
>>>>      (call-with-current-continuation (lambda (k) (k 1 2 3))))
>>>>    (lambda (x y z) 'ok))
>>>>
>>>> allowed to throw an error, or to return anything other than 'ok ?
>>>
>>> It is /not/ allowed to throw an error in R5RS.  According to R5RS:
>>>
>>>    Values might be defined as follows: [...]
>
> It seems that some people take that "might" as open permission to
> ignore that implementation.

That would be in violation of the R5RS, because the formal semantics
of R5RS in 7.2.4 require VALUES to have the semantics that would
return OK in your example.

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