Re: [racket] Unit testing of contracts

2011-06-21 Thread Robby Findler
'contract' is the lowest level form, and what is used in our internal test suites to test specific contracts. FWIW. Robby On Wed, Jun 22, 2011 at 12:09 AM, Eduardo Bellani wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hey Noel. > > I had noticed that exceptions were being raised b

Re: [racket] Unit testing of contracts

2011-06-21 Thread Eduardo Bellani
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hey Noel. I had noticed that exceptions were being raised by the contracts, but I was looking for a isolated way to attach contracts to values. I ended up using with-contracts for it. I don't know if what I am doing is exactly right, but it appears to

Re: [racket] Unit testing of contracts

2011-06-21 Thread Noel Welsh
Contracts raise exceptions when they fail, so check that the raise an exn (use check-exn) when you expect them to raise an exception, and that they don't raise an exn (check-not-exn) when you don't expect them to. HTH, N. On Tue, Jun 21, 2011 at 12:19 AM, Eduardo Bellani wrote: > -BEGIN PGP