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
|
;; -*-theme-d-*-
;; Copyright (C) 2015, 2021 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: compilation OK
(define-body (tests test280)
(add-method make-a
(prim-proc make-a (<integer>) <a> pure))
(add-method get-x
(prim-proc get-x (<a>) <integer> pure))
(add-method set-x!
(prim-proc set-x! (<a> <integer>) <none> nonpure))
(add-method make-b
(prim-proc make-b (<integer> <real>) <b> pure))
(add-method get-y
(prim-proc get-y (<b>) <real> pure))
(add-method set-y!
(prim-proc set-y! (<b> <real>) <none> nonpure))
(add-virtual-method my-rep
(prim-proc my-rep (<a> <string>) <string> pure))
(add-virtual-method my-rep
(prim-proc my-rep (<b> <string>) <string> pure)))
|
