*** empty log message ***
original commit: b4ca538ac04166786280d3c51b6bdee40ccb4e84
This commit is contained in:
parent
6c38212048
commit
82e05ebdb8
|
@ -2,7 +2,7 @@
|
|||
(require (lib "list.ss")
|
||||
(lib "contract.ss"))
|
||||
|
||||
(define-syntax test-block
|
||||
#;(define-syntax test-block
|
||||
(syntax-rules ()
|
||||
((_ defs (code right-ans) ...)
|
||||
(let* defs
|
||||
|
@ -11,7 +11,7 @@
|
|||
(printf "Test failed: ~e gave ~e. Expected ~e~n"
|
||||
'code real-ans 'right-ans))) ...))))
|
||||
|
||||
#;(define-syntax test-block
|
||||
(define-syntax test-block
|
||||
(syntax-rules ()
|
||||
((_ x ...) (void))))
|
||||
|
||||
|
@ -427,4 +427,4 @@
|
|||
(partition ((listof integer-set?) . -> . (listof integer-set?)))
|
||||
(card (integer-set? . -> . natural-number?))
|
||||
(subset? (integer-set? integer-set? . -> . any)))
|
||||
)
|
||||
)
|
||||
|
|
Loading…
Reference in New Issue
Block a user