Re: [racket-users] Contracts for Recursive Functions

2018-03-02 Thread Robby Findler
I've pushed a change that tries to improve that text. Robby On Fri, Mar 2, 2018 at 1:21 PM, Matthias Felleisen wrote: > >> On Mar 2, 2018, at 1:30 PM, A Mauer-Oats wrote: >> >> The Racket Guide (7.2.2 Using define/contract and ->) says, "contract will >> always be checked on calls to deposit.”

Re: [racket-users] Contracts for Recursive Functions

2018-03-02 Thread Matthias Felleisen
> On Mar 2, 2018, at 1:30 PM, A Mauer-Oats wrote: > > The Racket Guide (7.2.2 Using define/contract and ->) says, "contract will > always be checked on calls to deposit.” This is bad English. It should say β€œall external calls.” > It appears that recursive function calls are not included in