Re: [racket-dev] [racket] Implementing contracts for async channels

Ah, that makes sense, fixed. > On Jan 16, 2015, at 05:37, Robby Findler wrote: > > One comment. The contract combinators are curried so that you can do > work on the partial applications. So don't write this: > > (define ho-val-first-projection > impersonate/chaperone-async-channel) ctc) bl

Re: [racket-dev] Announcing Soft Contract Verification tool

On 1/15/15 2:42 PM, David Van Horn wrote: > On 1/15/15, 2:13 PM, Asumu Takikawa wrote: >> On 2015-01-14 19:11:59 -0500, David Van Horn wrote: >>> If you have questions, comments, bugs, or any other feedback, let >>> us know, or just file bug reports on the GitHub source code. >> >> Nice tool! I lik

Re: [racket-dev] Announcing Soft Contract Verification tool

On 1/15/15 7:42 PM, Benjamin Greenman wrote: > I tried writing a small program, but got stuck pretty early on. When I > try verifying the "divides?" function below, the tool times out. What's > happening? > > (module div racket > (provide (contract-out [divides? (-> positive? positive? boolean?)