Re: Contract koans: Verifying contract for uncountable sets

Robby Findler <[email protected]>
Newsgroups gmane.comp.lang.racket.user,gmane.lisp.scheme.plt
Message-ID <CAL3TdOMdtEYSqeG81qhFWZBadQMCKCjNM9T82=z2ceTxC9me7g@mail.gmail.com>
And I wouldn't focus on that distinction (flat chaperone impersonator).
Instead focus on checking various properties of functions. (Functions that
return wrong values or contracts that check the wrong things, etc.)

Robby

On Tue, Jul 24, 2018 at 11:13 PM Ben Greenman <[email protected]>
wrote:

> Contracts are just code. I'd test them incompletely like you suggest
> --- same as a Racket function.
>
> --
> 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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
For more options, visit https://groups.google.com/d/optout.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.