forked from carp-lang/Carp
-
Notifications
You must be signed in to change notification settings - Fork 0
/
short_circuiting.carp
69 lines (59 loc) · 1.74 KB
/
short_circuiting.carp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
(load "Test.carp")
(use Test)
(def g 0) ;; Global variable used to detect if too many forms are evaluated.
(defn inc-true []
(do (update! g inc)
true))
(defn inc-false []
(do (update! g inc)
false))
(defn short-circuit-and []
(do (set! g 0)
(ignore (and (inc-false) (inc-true))) ;; Only the first form should be evaluated.
g))
(defn short-circuit-or []
(do (set! g 0)
(ignore (or (inc-true) (inc-false))) ;; Only the first form should be evaluated.
g))
(defn eval-both-expr-in-and []
(do (set! g 0)
(ignore (and (inc-true) (inc-true))) ;; Both forms evaluate.
g))
(defn eval-both-expr-in-or []
(do (set! g 0)
(ignore (or (inc-false) (inc-false))) ;; Both forms evaluate.
g))
(defn vararg-and []
(do (set! g 0)
(ignore (and (inc-true) (inc-true) (inc-false) (inc-true) (inc-true))) ;; 3 expressions will evaluate.
g))
(defn vararg-or []
(do (set! g 0)
(ignore (or (inc-false) (inc-false) (inc-true) (inc-false) (inc-false))) ;; 3 expressions will evaluate.
g))
(deftest test
(assert-equal test
1
(short-circuit-and)
"'and' short circuits")
(assert-equal test
1
(short-circuit-or)
"'or' short circuits")
(assert-equal test
2
(eval-both-expr-in-and)
"'and' can evaluate second expr")
(assert-equal test
2
(eval-both-expr-in-or)
"'or' can evaluate second expr")
(assert-equal test
3
(vararg-and)
"vararg-'and' works")
(assert-equal test
3
(vararg-or)
"vararg-'or' works")
)