Commit | Line | Data |
---|---|---|
26dd899d | 1 | ;;;; interp.test --- tests for bugs in the Guile interpreter -*- scheme -*- |
a2226caf | 2 | ;;;; |
6e7d5622 | 3 | ;;;; Copyright (C) 1999, 2001, 2006 Free Software Foundation, Inc. |
a2226caf | 4 | ;;;; |
53befeb7 NJ |
5 | ;;;; This library is free software; you can redistribute it and/or |
6 | ;;;; modify it under the terms of the GNU Lesser General Public | |
7 | ;;;; License as published by the Free Software Foundation; either | |
8 | ;;;; version 3 of the License, or (at your option) any later version. | |
a2226caf | 9 | ;;;; |
53befeb7 | 10 | ;;;; This library is distributed in the hope that it will be useful, |
a2226caf | 11 | ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
53befeb7 NJ |
12 | ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
13 | ;;;; Lesser General Public License for more details. | |
a2226caf | 14 | ;;;; |
53befeb7 NJ |
15 | ;;;; You should have received a copy of the GNU Lesser General Public |
16 | ;;;; License along with this library; if not, write to the Free Software | |
17 | ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA | |
26dd899d JB |
18 | |
19 | (pass-if "Internal defines 1" | |
20 | (letrec ((foo (lambda (arg) | |
21 | (or arg (and (procedure? foo) | |
22 | (foo 99)))))) | |
23 | (define bar (foo #f)) | |
5c96bc39 | 24 | (= (foo #f) 99))) |
26dd899d JB |
25 | |
26 | (pass-if "Internal defines 2" | |
27 | (letrec ((foo 77) | |
28 | (bar #f) | |
29 | (retfoo (lambda () foo))) | |
30 | (define baz (retfoo)) | |
5c96bc39 | 31 | (= (retfoo) 77))) |
c00b93ea MD |
32 | |
33 | ;; Test that evaluation of closure bodies works as it should | |
34 | ||
35 | (with-test-prefix "closure bodies" | |
36 | (with-test-prefix "eval" | |
37 | (pass-if "expansion" | |
38 | ;; we really want exactly #f back from the closure | |
39 | (not ((lambda () (define ret #f) ret)))) | |
40 | (pass-if "iloc escape" | |
41 | (not (let* ((x #f) | |
42 | (foo (lambda () x))) | |
43 | (foo) ; causes memoization of x | |
44 | (foo))))) | |
45 | (with-test-prefix "apply" | |
46 | (pass-if "expansion" | |
47 | (not (catch #t (lambda () (define ret #f) ret) (lambda a #t)))) | |
48 | (pass-if "iloc escape" | |
49 | (not (let* ((x #f) | |
50 | (foo (lambda () x))) | |
51 | (foo) | |
52 | (catch #t foo (lambda a #t))))))) |