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

[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 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 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
>> 
>> .
>>
>

-- 
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.

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

[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 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
> 
> .
>

-- 
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/CAK%3DHD%2BbrrfS9nRwQyw1Q05_6DHfQxECTU0Dvi8wtSTTs7AwEEw%40mail.gmail.com.

[racket-users] Verifying the contract on a function

[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 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.