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
|
;; -*-theme-d-*-
;; Copyright (C) 2016 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation and running OK
;; Expected output:
;; ---
;; #f
;; #t
;; 3
;; #f
;; 1
;; 2
;; 10
;; 11
;; 2.0
;; ((1 2) . 1)
;; ---
(define-proper-program (tests test444)
(import (standard-library core)
(standard-library console-io))
(define-main-proc (() <none> nonpure)
(console-display-line (not-object 1))
(console-display-line (not-object #f))
(console-display-line (and-object 1 2 3))
(console-display-line (and-object #f 2 3))
(console-display-line (or-object 1 2 3))
(console-display-line (or-object #f 2 3))
(console-display-line (if-object 1 10 11))
(console-display-line (if-object #f 10 11))
(console-display-line
(cond-object
(#f 1)
(1.0 2.0)
(else #t)))
(console-display-line
(cond-object
(#f 1)
('(1 2) => (lambda (((x <object>)) <object> pure) (cons x 1)))
(else #t)))))
|
