1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
;; -*-theme-d-*-
;; Copyright (C) 2023 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 test845)
(import (standard-library console-io))
(declare-simple-virtual-method mymethod (<integer>) <none> nonpure)
(define-simple-method myimpl (((x <object>)) <none> nonpure)
(console-display-line "1"))
(define-simple-method myimpl (((x <integer>)) <none> nonpure)
(console-display-line "2"))
(include-virtual-methods mymethod myimpl))
|
