suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

even? odd? and lots of tests

Browse Source 
These tests reveal issue #20, and it seems some other bug that causes an
infinite loop.
This commit is contained in:
William J. Bowman 2015-09-25 18:36:27 -04:00
parent 59226538d5
commit aaaab38729
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
stdlib/nat.rkt
View File

@ -47,4 +47,36 @@
(check-equal? (nat-equal? z (s z)) false)
(check-equal? (nat-equal? (s z) (s z)) true))
(define (even? (n : Nat))
(elim Nat Type (lambda (x : Nat) Bool)
false
(lambda* (n : Nat) (odd? : Bool)
(not odd?))
n))
(define (odd? (n : Nat))
(and (not (even? n))
(not (nat-equal? n z))))
(module+ test
(check-equal?
(even? z)
false)
(check-equal?
(even? (s z))
false)
(check-equal?
(even? (s (s z)))
true)
(check-equal?
(odd? z)
false)
(check-equal?
(odd? (s z))
true)
(check-equal?
(odd? (s (s z)))
false)
(check-equal?
(odd? (s (s (s z))))
true))