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

[racket-users] Verifying the contract on a function

2021-02-24 Thread David Storrs
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 way to do that? I've been digging through the Contracts section and googled for it but I'm not seeing one. -- You received this message because