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
|
;; -*-theme-d-*-
;; Copyright (C) 2026 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation error
;; Type dispatch fails.
(define-proper-program (tests test944)
(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 (:singleton-type 'int64)
(:singleton-type 'signature)
(:pair (:singleton-type 'struct) (:uniform-list <dbus-type-repr>))
(:tuple (:singleton-type 'array) <dbus-type-repr>)))
(define-simple-method dbus-repr->theme-d
(((x-repr <dbus-type-repr>)) <source-expr> pure)
(match-type x-repr
(((:singleton-type 'int64)) '<integer>)
(((:singleton-type 'signature)) '<string>)
((l1 (:pair (:singleton-type 'struct) (:uniform-list <dbus-type-repr>)))
(cons ':tuple (map1 dbus-repr->theme-d (cdr l1))))
((l2 (:tuple (:singleton-type 'array) <dbus-type-repr>))
(list ':uniform-list (dbus-repr->theme-d (cadr l2))))))
(define-main-proc (() <none> nonpure)
(console-display-line
(dbus-repr->theme-d '(array (struct int64 signature))))
(console-display-line
(dbus-repr->theme-d
(cons (singleton-type-dispatch 'struct)
(list 'int64
'signature))))))
|
