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
|
;; -*-theme-d-*-
;; Copyright (C) 2014, 2024 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation and running OK
(define-proper-program (tests test253)
(import (standard-library core)
(standard-library console-io))
(define-param-logical-type :my-list (%type)
(:union (:pair %type (:my-list %type)) <null>))
(define-param-proc display-list-matrix (%number)
(((mx (:my-list (:my-list %number))))
<none>
(nonpure))
(do ((rows (:my-list (:my-list %number)) mx (gen-cdr rows)))
((null? rows))
(begin
(do ((columns (:my-list %number) (gen-car rows) (gen-cdr columns)))
((null? columns))
(begin
(console-display (gen-car columns))
(console-display-string " ")))
(console-newline))))
(define main
(lambda (() <none> nonpure)
(let ((mx1 (:my-list (:my-list <real>))
(list
(list 1.0 0.0 2.0)
(list -1.5 2.5 0.0)
(list -3.0 -2.0 1.0)))
(mx2 (:my-list (:my-list <real>))
(list
(list 0.0 0.0 -2.0)
(list 5.5 2.0 1.0)
(list 0.0 2.0 -1.0))))
(display-list-matrix mx1)
(console-newline)
(display-list-matrix mx2)
(console-newline)))))
|
