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.