Skip to content

Commit 781c1e2

Browse files
committed
Desugar tests.
1 parent 6d84a61 commit 781c1e2

1 file changed

Lines changed: 3 additions & 9 deletions

File tree

www/notes/loot/test/compile.rkt

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -34,20 +34,17 @@
3434
(check-equal? (run '(unbox 8)) 'err)
3535

3636
;; Iniquity tests
37-
#|
3837
(check-equal? (run
3938
'(begin (define (f x) x)
4039
(f 5)))
4140
5)
42-
4341
(check-equal? (run
4442
'(begin (define (tri x)
4543
(if (zero? x)
4644
0
4745
(+ x (tri (sub1 x)))))
4846
(tri 9)))
4947
45)
50-
5148
(check-equal? (run
5249
'(begin (define (even? x)
5350
(if (zero? x)
@@ -59,7 +56,6 @@
5956
(even? (sub1 x))))
6057
(even? 101)))
6158
#f)
62-
6359
(check-equal? (run
6460
'(begin (define (map-add1 xs)
6561
(if (empty? xs)
@@ -68,15 +64,12 @@
6864
(map-add1 (cdr xs)))))
6965
(map-add1 (cons 1 (cons 2 (cons 3 '()))))))
7066
'(2 3 4))
71-
7267
(check-equal? (run '(begin (define (f x) x)
73-
(fun f)))
68+
f))
7469
'procedure)
75-
7670
(check-equal? (run '(begin (define (f x) x)
77-
(call (fun f) 5)))
71+
(f 5)))
7872
5)
79-
|#
8073

8174
(check-equal? (run '((λ (x) x) 7)) 7)
8275
(check-equal? (run '(((λ (x) (λ (y) x)) 7) 8)) 7)
@@ -97,3 +90,4 @@
9790
10))
9891
56)
9992

93+

0 commit comments

Comments
 (0)