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) 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 test938)
(import (standard-library core)
(standard-library text-file-io)
(standard-library list-utilities)
(standard-library console-io))
(declare <dbus-type-repr> :union)
(define <dbus-type-repr>
(:union (:unit-type 'int64)
(:unit-type 'signature)
(:pair (:unit-type 'struct) (:uniform-list <dbus-type-repr>))
(:tuple (:unit-type 'array) <dbus-type-repr>)))
(define-simple-method dbus-repr->theme-d
(((x-repr <dbus-type-repr>)) <source-expr> pure)
(match-type x-repr
(((:unit-type 'int64)) '<integer>)
(((:unit-type 'signature)) '<string>)
((l1 (:pair (:unit-type 'struct) (:uniform-list <dbus-type-repr>)))
(cons ':tuple (map1 dbus-repr->theme-d (cdr l1))))
((l2 (:tuple (:unit-type 'array) <dbus-type-repr>))
(list ':uniform-list (dbus-repr->theme-d (cadr l2))))))
(define-main-proc (() <none> nonpure)
(console-write-line
(dbus-repr->theme-d '(struct (array (struct int64 signature)))))))
|
