[Bug-kawa] [bug #14218] Exception compiling define-syntax

[Dean Ferreyra]

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

                 Summary: Exception compiling define-syntax
                 Project: Kawa
            Submitted by: dferreyra
            Submitted on: Thu 08/18/05 at 10:10
                Category: Scheme language
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________

Details:

We're getting an exception compiling macros and their uses, like this:

  (module-static #t)
  
  (define-syntax foo
    (lambda (x)
      (syntax #f)))
  
  (foo)

I've copied in the exception below.

The problem seems to come from trying to use this style of macro in the same
file it's defined.  If I move the use of foo to a different file, everything
compiles (and runs) fine.

----------------------------------------

% CLASSPATH=~/kawa/cvs/kawa-pure-build/kawa-1.8beta.jar java kawa.repl -C
syn.scm
(compiling syn.scm)
java.lang.RuntimeException: internal error - class gnu.expr.LambdaExp.eval
called
        at gnu.expr.Expression.eval(Expression.java:15)
        at gnu.expr.ApplyExp.eval(ApplyExp.java:59)
        at kawa.lang.Translator.check_if_Syntax(Translator.java:218)
        at kawa.lang.Translator.scanForm(Translator.java:896)
        at gnu.kawa.lispexpr.LispLanguage.parse(LispLanguage.java:59)
        at gnu.expr.Language.parse(Language.java:464)
        at kawa.lang.CompileFile.read(CompileFile.java:37)
        at kawa.lang.CompileFile.read(CompileFile.java:20)
        at kawa.lang.CompileFile.compile_to_files(CompileFile.java:65)
        at kawa.repl.processArgs(repl.java:407)
        at kawa.repl.main(repl.java:728)
java.lang.RuntimeException: internal error - class gnu.expr.LambdaExp.eval
called
        at gnu.expr.Expression.eval(Expression.java:15)
        at gnu.expr.ApplyExp.eval(ApplyExp.java:59)
        at kawa.lang.Translator.check_if_Syntax(Translator.java:218)
        at kawa.lang.Translator.rewrite_pair(Translator.java:280)
        at kawa.lang.Translator.rewrite_with_position(Translator.java:806)
        at kawa.lang.Translator.rewrite(Translator.java:568)
        at kawa.lang.Translator.rewriteInBody(Translator.java:409)
        at kawa.lang.Translator.rewriteBody(Translator.java:1069)
        at kawa.lang.Translator.makeBody(Translator.java:1076)
        at kawa.lang.Translator.finishModule(Translator.java:1192)
        at gnu.kawa.lispexpr.LispLanguage.parse(LispLanguage.java:65)
        at gnu.expr.Language.parse(Language.java:464)
        at kawa.lang.CompileFile.read(CompileFile.java:37)
        at kawa.lang.CompileFile.read(CompileFile.java:20)
        at kawa.lang.CompileFile.compile_to_files(CompileFile.java:65)
        at kawa.repl.processArgs(repl.java:407)
        at kawa.repl.main(repl.java:728)
<unknown>:0: unable to evaluate macro for foo
syn.scm:7:1: unable to evaluate macro for foo







    _______________________________________________________

Reply to this item at:

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

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