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
60
61
|
;; -*-theme-d-*-
;; Copyright (C) 2015 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 test320)
(import (standard-library core)
(standard-library console-io))
(define-normal-goops-class <a> <a> <object> #t #f #f)
(define make-a
(prim-proc make-a (<integer>) <a> pure))
(define get-x
(prim-proc get-x (<a>) <integer> pure))
(define set-x!
(prim-proc set-x! (<a> <integer>) <none> nonpure))
(define-normal-goops-class <b> <b> <a> #t #f #f)
(define make-b
(prim-proc make-b (<integer> <real>) <b> pure))
(define get-y
(prim-proc get-y (<b>) <real> pure))
(define set-y!
(prim-proc set-y! (<b> <real>) <none> nonpure))
(define-simple-proc disp (((obj <object>)) <none> nonpure)
(console-display obj)
(console-newline))
(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))
(define-main-proc (() <none> nonpure)
(let ((a (make-a 10))
(b (make-b 5 -1.1)))
(disp (my-rep a "gtk"))
(disp (my-rep b "pango"))
(disp (get-x a))
(disp (get-x b))
(disp (get-y b))
(set-x! a -1)
(set-x! b 6)
(set-y! b 2.1)
(disp (get-x a))
(disp (get-x b))
(disp (get-y b)))))
|
