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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
;; -*-theme-d-*-
;; Copyright (C) 2014 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation error
;; invalid redefinition
(define-proper-program (tests test261)
(import (standard-library core)
(standard-library matrix)
(standard-library console-io))
(define-param-proc gen-car (%type)
(((lst (:uniform-list %type)))
%type
(pure))
(if (null? lst)
(raise 'gen-car:null)
(car (cast (:nonempty-uniform-list %type) lst))))
(define-param-proc gen-cdr (%type)
(((lst (:uniform-list %type)))
(:uniform-list %type)
(pure))
(if (null? lst)
(raise 'gen-cdr:null)
(cdr (cast (:nonempty-uniform-list %type) lst))))
(define-param-proc my-matrix (%number)
(((elements (:uniform-list (:uniform-list %number))))
(:matrix %number)
(force-pure))
(let ((rows (length elements)))
(assert (> rows 0))
(let ((columns (length (gen-car elements))))
;; (assert (for-all?
;; (lambda (((row (:uniform-list %number))) <boolean> (pure))
;; (= (length row) columns))
;; (cdr elements)))
(let ((result (make-matrix rows columns (zero %number))))
(do ((i-row <integer> 0 (+ i-row 1))
(cur-elements (:uniform-list (:uniform-list %number))
elements (gen-cdr cur-elements)))
((>= i-row rows))
(do ((i-column <integer> 0 (+ i-column 1))
(cur-elements2 (:uniform-list %number)
(gen-car cur-elements) (gen-cdr cur-elements2)))
((>= i-column columns))
(matrix-set! result i-row i-column (gen-car cur-elements2))))
result))))
(define-param-proc display-matrix (%number)
(((mx (:matrix %number)))
<none>
(nonpure))
(let ((rows (field-ref mx 'rows))
(columns (field-ref mx 'columns)))
(do ((i1 <integer> 0 (+ i1 1))) ((>= i1 rows))
(begin
(do ((i2 <integer> 0 (+ i2 1))) ((>= i2 columns))
(console-display (matrix-ref mx i1 i2))
(if (< i2 (- columns 1))
(console-display-string " ")))
(console-newline)))))
(define main
(lambda (() <none> nonpure)
(let ((mx1 (my-matrix (list
(list 1.0 0.0 2.0)
(list -1.5 2.5 0.0)
(list -3.0 -2.0 1.0))))
(mx2 (my-matrix (list
(list 0.0 0.0 -2.0)
(list 5.5 2.0 1.0)
(list 0.0 2.0 -1.0)))))
(let ((result (* mx1 mx2)))
(display-matrix result))))))
|
