test-suite/tests/interp.test

   1 ;;;; interp.test --- tests for bugs in the Guile interpreter -*- scheme -*-
   2 ;;;;
   3 ;;;;    Copyright (C) 1999, 2001, 2006 Free Software Foundation, Inc.
   4 ;;;;
   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.
   9 ;;;;
  10 ;;;; This library is distributed in the hope that it will be useful,
  11 ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13 ;;;; Lesser General Public License for more details.
  14 ;;;;
  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
  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))
  24            (= (foo #f) 99)))
  25
  26 (pass-if "Internal defines 2"
  27          (letrec ((foo 77)
  28                   (bar #f)
  29                   (retfoo (lambda () foo)))
  30            (define baz (retfoo))
  31            (= (retfoo) 77)))
  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)))))))