[Bug-kawa] [bug #27014] AND vs. VOID

[Helmut Eller]

URL:
  <http://savannah.gnu.org/bugs/?27014>

                 Summary: AND vs. VOID
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Sat 11 Jul 2009 09:15:00 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

While compiling this file:

(begin
  (define (foo) (and (bar) (bar)))
  (define baz #f)
  (define (bar) (set! baz #f)))

kawa aborts with:

(compiling x.scm to x)
x.scm:3: internal error while compiling x.scm
java.lang.Error: popType called with empty stack x.foo()void
        at gnu.bytecode.CodeAttr.popType(CodeAttr.java:424)
        at gnu.bytecode.CodeAttr.emitGotoIfCompare1(CodeAttr.java:1592)
        at gnu.bytecode.CodeAttr.emitGotoIfIntEqZero(CodeAttr.java:1598)
        at
gnu.expr.ConditionalTarget.compileFromStack(ConditionalTarget.java:52
)
        at gnu.expr.QuoteExp.compile(QuoteExp.java:83)
        at gnu.expr.IfExp.compile(IfExp.java:98)
        at gnu.expr.IfExp.compile(IfExp.java:41)
        at gnu.expr.Expression.compileNotePosition(Expression.java:159)
        at gnu.expr.Expression.compileWithPosition(Expression.java:130)
        at gnu.expr.LetExp.compile(LetExp.java:190)
        at gnu.expr.Expression.compileNotePosition(Expression.java:159)
        at gnu.expr.Expression.compileWithPosition(Expression.java:145)
        at gnu.expr.LambdaExp.compileBody(LambdaExp.java:1608)
        at gnu.expr.LambdaExp.compileAsMethod(LambdaExp.java:1584)
        at gnu.expr.LambdaExp.compileSetField(LambdaExp.java:650)
        at gnu.expr.SetExp.compile(SetExp.java:172)
        at gnu.expr.Expression.compileNotePosition(Expression.java:159)
        at gnu.expr.Expression.compileWithPosition(Expression.java:130)
        at gnu.kawa.functions.AppendValues.compile(AppendValues.java:51)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:171)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:110)
        at gnu.expr.Expression.compileWithPosition(Expression.java:148)
        at gnu.expr.LambdaExp.compileBody(LambdaExp.java:1608)
        at gnu.expr.Compilation.generateBytecode(Compilation.java:2016)
        at gnu.expr.Compilation.process(Compilation.java:1892)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:308)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:293)
        at kawa.repl.compileFiles(repl.java:803)
        at kawa.repl.processArgs(repl.java:457)
        at kawa.repl.main(repl.java:866)

Kawa version: Kawa 1.9.3 (revision 6289M)






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?27014>

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