Aha. That and contract-equivalent? do what I need. Thanks, Sam. On Wed, Feb 24, 2021 at 10:20 PM Sam Tobin-Hochstadt <sa...@cs.indiana.edu> 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 <david.sto...@gmail.com> 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 >> <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 you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/CAE8gKodrApnAtr%3D5BpvSLxiKAAQJjO2bj7HkE_75-VLb25rNgA%40mail.gmail.com >> <https://groups.google.com/d/msgid/racket-users/CAE8gKodrApnAtr%3D5BpvSLxiKAAQJjO2bj7HkE_75-VLb25rNgA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAE8gKofHrC8c5Li1eEv16DPJ3cC0frsn1Y7pieWDp-ur9mn8wA%40mail.gmail.com.
