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
|
;; -*-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 error
(define-proper-program (tests test731)
(import (standard-library core)
(standard-library console-io))
(define-main-proc (() <none> nonpure)
(guard-general-without-result exc
(match-type-weak exc
((exc1 <condition>)
(if (rte-exception? exc1)
(begin
(console-display "info: ")
(console-display-line
(cast <string>
(gen-cdr (assoc 'str-info
(cast <rte-exception-info>
(get-rte-exception-info exc1))
null)))))
(console-display-line "Unknown exception (1)")))
(else
(console-display-line "Unknown exception (2)")))
null
(raise (make-rte-exception 'my-exception
(list (cons 'str-info "HEP")))))))
|
