Re: guile-vm 0.4

[Keisuke Nishida]

At 11 Apr 2001 01:42:47 +0200,
Marius Vollmer wrote:
> 
> > guile> (let loop () (catch #t (lambda () (loop)) (lambda val val)))
> > $1 = (stack-overflow #f "Stack overflow" #f #f)
> 
> No.  The call to `loop' is in a tail position, but the surrounding
> `lambda' is not invoked in such a position.  Calling `loop' from the
> inside of the `catch' does not terminate it.  Even tho you are
> looping, you keep piling the catch activations.  You would need to use
> an explicit continuation to jump out of the catch, like

I see.  I just gave a bad example.  The following is a situation
my VM doesn't work well:

 % guile
  guile> (define (foo thunk) (thunk))
  guile> (use-modules (system repl repl))
  guile> (start-repl 'gscheme)
  Guile Scheme interpreter 0.4 on Guile 1.4.1
  Copyright (C) 2001 Free Software Foundation, Inc.

  Enter `,help' for help.
  address@hidden> (let loop () (foo loop))
  .../language.scm:58:9: Stack overflow
  ABORT: (stack-overflow)