svn: r5369
This commit is contained in:
Matthew Flatt 2007-01-17 00:13:11 +00:00
parent 56a97e8b36
commit 58e05fbd65

View File

@ -107,7 +107,7 @@
(unless (ok2? b)
(bad b "second" 2type))
(unless (ok3? c)
(bad c "second" 3type))))
(bad c "third" 3type))))
(define (positive-real? v)
(and (real? v) (>= v 0)))