[Bug-kawa] [bug #14697] Error using :: <int>

[Gerardo Horvilleur]

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

                 Summary: Error using :: <int>
                 Project: Kawa
            Submitted by: mago
            Submitted on: Mon 10/03/05 at 16:32
                Category: Code generation
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________

Details:

I am using the latest Kawa from CVS.

When trying to execute/compile:

let ((GS.261 :: <int> 10)
      (GS.262 :: <int> 1))
  (do ((i :: <int> 1 (+ i GS.262)))
      ((> i GS.261))
    (display i)))

I get this stack trace:

#|kawa:1|# /Users/mago/src/kawa/Toolkit/src/com/ienjinia/toolkit/x.scm:3:3:
internal
compile error - caught java.lang.Error: invalid types to emitGotoIfCompare2
java.lang.Error: invalid types to emitGotoIfCompare2
        at gnu.mapping.WrappedException.wrapIfNeeded(WrappedException.java:104)
        at gnu.expr.Compilation.compile(Compilation.java:922)
        at gnu.expr.ModuleExp.evalToClass(ModuleExp.java:61)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:162)
        at kawa.Shell.run(Shell.java:229)
        at kawa.standard.load.loadSource(load.java:149)
        at kawa.standard.load.loadSource(load.java:119)
        at kawa.standard.load.apply(load.java:225)
        at kawa.standard.load.apply2(load.java:188)
        at kawa.standard.load.apply1(load.java:178)
        at gnu.mapping.Procedure.apply(Procedure.java:133)
        at gnu.mapping.Procedure.apply(Procedure.java:116)
        at gnu.mapping.CallContext.runUntilDone(CallContext.java:251)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:222)
        at kawa.Shell.run(Shell.java:229)
        at kawa.Shell.run(Shell.java:172)
        at kawa.Shell.run(Shell.java:159)
        at kawa.repl.processArgs(repl.java:350)
        at kawa.repl.main(repl.java:728)
Caused by: java.lang.Error: invalid types to emitGotoIfCompare2
        at gnu.bytecode.CodeAttr.emitGotoIfCompare2(CodeAttr.java:1431)
        at gnu.kawa.functions.NumberCompare.compile(NumberCompare.java:248)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:154)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:117)
        at gnu.expr.IfExp.compile(IfExp.java:106)
        at gnu.expr.IfExp.compile(IfExp.java:51)
        at gnu.expr.Expression.compileNotePosition(Expression.java:127)
        at gnu.expr.Expression.compileWithPosition(Expression.java:98)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:289)
        at gnu.expr.ApplyExp.compile(ApplyExp.java:117)
        at gnu.expr.Expression.compileWithPosition(Expression.java:101)
        at gnu.expr.BeginExp.compile(BeginExp.java:149)
        at gnu.expr.Expression.compileNotePosition(Expression.java:127)
        at gnu.expr.Expression.compileWithPosition(Expression.java:98)
        at gnu.expr.LetExp.compile(LetExp.java:136)
        at gnu.expr.Expression.compileNotePosition(Expression.java:127)
        at gnu.expr.Expression.compileWithPosition(Expression.java:98)
        at gnu.expr.LetExp.compile(LetExp.java:136)
        at gnu.expr.Expression.compileNotePosition(Expression.java:127)
        at gnu.expr.Expression.compileWithPosition(Expression.java:113)
        at gnu.expr.LambdaExp.compileBody(LambdaExp.java:1453)
        at gnu.expr.Compilation.addClass(Compilation.java:1894)
        at gnu.expr.Compilation.compile(Compilation.java:915)
        ... 17 more
#|kawa:2|# 






    _______________________________________________________

Reply to this item at:

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

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