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
|
;; -*-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 test314)
(import (standard-library core)
(standard-library console-io))
(declare a (:procedure ((:uniform-list <integer>)) <none> nonpure))
(define-simple-proc b (((lst (:uniform-list <integer>))) <none> nonpure)
(if (not-null? lst)
(let ((lst1 (cast (:nonempty-uniform-list <integer>) lst)))
(console-display "b: ")
(console-display-line (car lst1))
(a (cdr lst1)))))
(define-simple-proc a (((lst (:uniform-list <integer>))) <none> nonpure)
(if (not-null? lst)
(let ((lst1 (cast (:nonempty-uniform-list <integer>) lst)))
(console-display "a: ")
(console-display-line (car lst1))
(b (cdr lst1)))))
(declare-virtual-method c (:simple-proc ((:uniform-list <integer>)) <none> nonpure))
(define-simple-virtual-method d (((lst (:uniform-list <integer>))) <none> nonpure)
(if (not-null? lst)
(let ((lst1 (cast (:nonempty-uniform-list <integer>) lst)))
(console-display "d: ")
(console-display-line (car lst1))
(c (cdr lst1)))))
(define-simple-virtual-method c (((lst (:uniform-list <integer>))) <none> nonpure)
(if (not-null? lst)
(let ((lst1 (cast (:nonempty-uniform-list <integer>) lst)))
(console-display "c: ")
(console-display-line (car lst1))
(d (cdr lst1)))))
(define-main-proc (() <none> nonpure)
(let ((lst '(1 2 3 4 5)))
(a lst)
(c lst))))
|
