We don't test contracts. In general contracts are relatively simple functions, but yes, we have written several papers on bugs in contracts and how this complicates a contract monitoring system.
If you are asking how to test functions that have contracts, I import that module itself into a submodule so that the export contracts are exercised during a test: #lang racket (provide (contract-out (f (-> integer? integer?)))) (define (f x) pi) (module+ test (require (submod "..") rackunit) (check-equal? (f 1) 3)) On Aug 29, 2013, at 11:35 PM, Alvin Schatte wrote: > I learned a lot from this thread. Thank you for the guidance. Along similar > lines, what would be a good practice for testing contracts? > Alvin Schatte
____________________ Racket Users list: http://lists.racket-lang.org/users
