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
|
;; -*-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 test190)
(import (standard-library core)
(standard-library console-io))
(define-param-proc-alt display-mutable-vector (%type)
(lambda (((v (:mutable-vector %type))) <none> nonpure)
(let ((len (mutable-vector-length v)))
(let-mutable ((j <integer> 0))
(until ((>= j len))
(console-display (mutable-vector-ref v j))
(console-newline)
(set! j (+ j 1)))))))
(define main
(lambda (() <none> nonpure)
(let ((my-vec1 (vector <real> 1.1 2.1 3.1 4.1 5.0))
(my-vec2 (vector <integer> 10 9 8 7 6 5)))
(let ((result-vec1
(cast-mutable-vector-metaclass my-vec1))
(result-vec2
(cast-mutable-vector-metaclass my-vec2)))
(mutable-vector-set! result-vec1 1 10.5)
(mutable-vector-set! result-vec2 4 6)
(display-mutable-vector result-vec1)
(display-mutable-vector result-vec2))))))
|
