Re: [racket-users] Function that potentially can return more than one value

2020-05-27 Thread George Neuner
On 5/27/2020 1:50 PM, Jens Axel Søgaard wrote: Den ons. 27. maj 2020 kl. 19.27 skrev George Neuner mailto:gneun...@comcast.net>>: On 5/27/2020 6:34 AM, Jens Axel Søgaard wrote: > > In standard Racket an application doesn't communicate how many values > a function is expec

Re: [racket-users] Function that potentially can return more than one value

2020-05-27 Thread Jens Axel Søgaard
Den ons. 27. maj 2020 kl. 19.27 skrev George Neuner : > > On 5/27/2020 6:34 AM, Jens Axel Søgaard wrote: > > > > In standard Racket an application doesn't communicate how many values > > a function is expected to produce. > > You can ask: see procedure-result-arity > https://docs.racket-lang

Re: [racket-users] Function that potentially can return more than one value

2020-05-27 Thread George Neuner
On 5/27/2020 6:34 AM, Jens Axel Søgaard wrote: In standard Racket an application doesn't communicate how many values a function is expected to produce. You can ask:  see procedure-result-arity     https://docs.racket-lang.org/reference/procedures.html I have written a small proof-of-conce