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

100% test coverage

Browse Source
This commit is contained in:
Suzanne Soy 2021-02-27 16:05:28 +00:00
parent 44240e4d05
commit cac2bf9928
3 changed files with 60 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cond-let.rkt
View File

@ -15,5 +15,5 @@
[(cond-let identifier [conditionᵢ . bodyᵢ] ... [else . else-body]) [(cond-let identifier [conditionᵢ . bodyᵢ] ... [else . else-body])
#'(cond [conditionᵢ => (λ (identifier) . bodyᵢ)] ... #'(cond [conditionᵢ => (λ (identifier) . bodyᵢ)] ...
[else . else-body])] [else . else-body])]
[(cond-let [[identifierᵢ conditionᵢ] . bodyᵢ] ...) [(cond-let identifier [conditionᵢ . bodyᵢ] ...)
#'(cond [conditionᵢ => (λ (identifierᵢ) . bodyᵢ)] ...)])) #'(cond [conditionᵢ => (λ (identifier) . bodyᵢ)] ...)]))

52
test/cond-let-test.rkt
View File

@ -29,6 +29,29 @@
[else 'seen-03]) [else 'seen-03])
'seen-03) 'seen-03)
;; Common variable name, with else branch
(check-equal? (cond-let x
[(member 'a lst) (set! seen (add1 seen))
(check-equal? x '(a b c))
'seen-01]
[(member 'b lst) (fail "cond-let chose wrong branch")]
[else (fail "cond-let chose wrong branch")])
'seen-01)
(check-equal? seen 2) ;; multiple body statements
(check-equal? (cond-let x
[(member 'absent lst) (fail "cond-let chose wrong branch")]
[(member 'b lst) (begin (check-equal? x '(b c))
'seen-02)]
[else (fail "cond-let chose wrong branch")])
'seen-02)
(check-equal? (cond-let x
[(member 'absent lst) (fail "cond-let chose wrong branch")]
[(member 'absent2 lst) (fail "cond-let chose wrong branch")]
[else 'seen-03])
'seen-03)
;; Different variable names ;; Different variable names
(check-equal? (cond-let (check-equal? (cond-let
[[x (member 'a lst)] (begin (check-equal? x '(a b c)) [[x (member 'a lst)] (begin (check-equal? x '(a b c))
@ -73,6 +96,11 @@
[else 'seen-04]) [else 'seen-04])
'seen-04) 'seen-04)
;; Common variable name, just else branch
(check-equal? (cond-let x
[else 'seen-04])
'seen-04)
;; Multiple body statements ;; Multiple body statements
(check-equal? (cond-let (check-equal? (cond-let
@ -81,7 +109,7 @@
[else (set! seen (add1 seen)) [else (set! seen (add1 seen))
'seen-05]) 'seen-05])
'seen-05) 'seen-05)
(check-equal? seen 2) (check-equal? seen 3)
;; Without else branch ;; Without else branch
(check-equal? (cond-let (check-equal? (cond-let
@ -90,7 +118,7 @@
'seen-06] 'seen-06]
[[x (member 'b lst)] (fail "cond-let chose wrong branch")]) [[x (member 'b lst)] (fail "cond-let chose wrong branch")])
'seen-06) 'seen-06)
(check-equal? seen 3) (check-equal? seen 4)
(check-equal? (cond-let (check-equal? (cond-let
[[x (member 'absent lst)] (fail "cond-let chose wrong branch")] [[x (member 'absent lst)] (fail "cond-let chose wrong branch")]
@ -103,6 +131,26 @@
[[x (member 'absent2 lst)] (fail "cond-let chose wrong branch")]) [[x (member 'absent2 lst)] (fail "cond-let chose wrong branch")])
(void)) (void))
;; Common variable name, without else branch
(check-equal? (cond-let x
[(member 'a lst) (set! seen (add1 seen))
(check-equal? x '(a b c))
'seen-06]
[(member 'b lst) (fail "cond-let chose wrong branch")])
'seen-06)
(check-equal? seen 5)
(check-equal? (cond-let x
[(member 'absent lst) (fail "cond-let chose wrong branch")]
[(member 'b lst) (begin (check-equal? x '(b c))
'seen-07)])
'seen-07)
(check-equal? (cond-let x
[(member 'absent lst) (fail "cond-let chose wrong branch")]
[(member 'absent2 lst) (fail "cond-let chose wrong branch")])
(void))
;; No branch ;; No branch
(check-equal? (cond-let) (check-equal? (cond-let)
(void)) (void))

8
test/it-test.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang racket
(require anaphoric/it
rackunit
syntax/macro-testing)
(check-exn #rx"Use of the \"it\" identifier is only allowed within anaphoric macros\\."
(lambda () (convert-compile-time-error it)))