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
|
;; -*-theme-d-*-
;; Copyright (C) 2024 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: error
;; A slot value has wrong type.
(define-proper-program (tests test878)
(import (standard-library core)
(standard-library console-io))
(define-foreign-goops-class <c>
(target-name <c>)
(slots
(i <integer> public public has-init-value pure-ref #:i)
(str <string> public public has-init-value pure-ref #:str)))
(add-method make-invalid-c
(unchecked-prim-proc make-invalid-c () <c> pure))
(define-main-proc (() <none> nonpure)
(let ((c1 (make-invalid-c)))
(console-display-line (slot-ref c1 'i)))))
|
