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
|
;; -*-theme-d-*-
;; Copyright (C) 2025 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 test937)
(import (standard-library core)
(standard-library raw-vector)
(standard-library console-io))
(define-param-method vector->list (%element)
(((v (:vector %element))) (:uniform-list %element) pure)
(let ((i-len (vector-length v)))
(if (>= i-len 1)
(let-mutable ((l-result (:uniform-list %element) null))
(do ((i <integer> (- i-len 1) (- i 1))) ((< i 0))
(set! l-result (cons (vector-ref v i) l-result)))
l-result)
null)))
(define-param-method mutable-vector->list (%element)
(((v (:mutable-vector %element))) (:uniform-list %element) pure)
(let ((i-len (mutable-vector-length v)))
(if (>= i-len 1)
(let-mutable ((l-result (:uniform-list %element) null))
(do ((i <integer> (- i-len 1) (- i 1))) ((< i 0))
(set! l-result (cons (mutable-vector-ref v i) l-result)))
l-result)
null)))
(define-main-proc (() <none> nonpure)
(let ((rv1 (raw-vector 1 2.3 'abc))
(rv2 (make-raw-vector 5 "Hello")))
(console-write-line (raw-vector->list rv1))
(console-write-line (raw-vector->list rv2))
(raw-vector-set! rv2 4 "World")
(console-write-line (raw-vector->list rv2))
(let ((v1
((param-proc-instance _vector-with-raw-contents <object>)
rv1))
(v2
((param-proc-instance _mutable-vector-with-raw-contents <string>)
rv2)))
(mutable-vector-set! v2 1 "Good morning")
(console-write-line (vector->list v1))
(console-write-line (mutable-vector->list v2))
(console-write-line
(raw-vector->list (_vector-raw-contents v1)))
(console-write-line
(raw-vector->list (_mutable-vector-raw-contents v2)))))))
|
