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
|
;; -*-theme-d-*-
;; Copyright (C) 2018 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation and running OK
;; Expected output: #t #t #f #t #t #t #f #t
(define-proper-program (tests test708)
(import (standard-library core)
(standard-library console-io))
(define-param-class :stack
(parameters %type)
(attributes equal-by-value)
(fields
(l-contents (:uniform-list %type) public module null)))
(define-simple-proc myproc
(((proc (:procedure (<object> <object>) <boolean> pure))
(x1 <object>) (x2 <object>)) <none> nonpure)
(console-display-line (proc x1 x2)))
(define-main-proc (() <none> nonpure)
(let* ((s1 (create (:stack (:pair <integer> <integer>))))
(s2 (create (:stack (:pair <integer> <integer>))))
(cl1 (class-of s1))
(cl2 (class-of s2)))
(myproc equal? s1 s2)
(myproc equal-values? s1 s2)
(myproc equal-objects? s1 s2)
(myproc equal-contents? s1 s2)
(console-display-line (equal? cl1 cl2))
(console-display-line (equal-values? cl1 cl2))
(console-display-line (equal-objects? cl1 cl2))
(console-display-line (equal-contents? cl1 cl2)))))
|
