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 <[email protected]>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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
