Re: [racket-users] Verifying the contract on a function

2021-02-24 Thread David Storrs
Aha. That and contract-equivalent? do what I need. Thanks, Sam. On Wed, Feb 24, 2021 at 10:20 PM Sam Tobin-Hochstadt wrote: > You can use the value-contract function, along with contract-stronger? to > do this. > > Sam > > On Wed, Feb 24, 2021, 6:03 PM David Storrs wrote: > >> I have some

Re: [racket-users] Verifying the contract on a function

2021-02-24 Thread Sam Tobin-Hochstadt
You can use the value-contract function, along with contract-stronger? to do this. Sam On Wed, Feb 24, 2021, 6:03 PM David Storrs wrote: > I have some macros that generate functions. For testing purposes, I'd > like to be able to ask the function "Do you have this contract > ?" Is there a