[Bug-kawa] [bug #14037] leaking lexical bindings

[tk]

URL:
  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=14037>

                 Summary: leaking lexical bindings
                 Project: Kawa
            Submitted by: huh
            Submitted on: Thu 08/04/2005 at 20:29
                Category: Code generation
                Severity: 3 - Normal
              Item Group: Unexpected result
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________

Details:

under some circumstances, lexical bindings created at the top level
area leaking into the top level environment. this apparently only occurs
for compiled code.
(kawa 1.8b, cvs 8/4/2005)

here's an example where this happens:

$ cat foo.scm
(define foo
  (let ((x 1))
    (lambda (n)
      (+ x n))))

$ rlwrap java -jar kawa/kawa-1.8beta.jar 
#|kawa:1|# x
gnu.mapping.UnboundLocationException: Unbound symbol x
        at gnu.expr.ReferenceExp.eval(ReferenceExp.java:107)
        at gnu.expr.Expression.apply(Expression.java:35)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:152)
        at kawa.Shell.run(Shell.java:229)
        at kawa.Shell.run(Shell.java:172)
        at kawa.Shell.run(Shell.java:159)
        at kawa.repl.main(repl.java:744)
#|kawa:2|# 
#|kawa:2|# (compile-file "foo.scm" "foo.zip")
#|kawa:3|# (load"foo.zip")
#|kawa:4|# x
1
#|kawa:5|# 





    _______________________________________________________

Carbon-Copy List:

CC Address                          | Comment
------------------------------------+-----------------------------
address@hidden                 | 




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=14037>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/