This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
internal compile error
- From: Ito Kazumitsu <kaz at maczuka dot gcd dot org>
- To: kawa at sourceware dot org
- Date: Thu, 17 Jan 2013 07:11:05 +0900 (JST)
- Subject: internal compile error
Hi,
I have found a simple case where internal compile error occurs.
As shown below, Gauche and Guile runs the script normally.
$ cat 0.scm
(let loop ((n 1))
(cond
((= n 0) #t)
((and n (if #f #f)) (loop (- n 1)))))
$ gosh 0.scm
$ guile --no-auto-compile 0.scm
$ java -cp kawa-1.13.jar kawa.repl --script 0.scm
0.scm:4:6: internal compile error - caught java.lang.Error: popType called with empty stack atInteractiveLevel$1.run(gnu.mapping.CallContext)void
gnu.bytecode.CodeAttr.popType(CodeAttr.java:442)
gnu.bytecode.CodeAttr.emitGotoIfCompare1(CodeAttr.java:1627)
gnu.bytecode.CodeAttr.emitGotoIfIntEqZero(CodeAttr.java:1633)
gnu.expr.ConditionalTarget.compileFromStack(ConditionalTarget.java:52)
gnu.expr.QuoteExp.compile(QuoteExp.java:124)
gnu.expr.Expression.compileWithPosition(Expression.java:130)
gnu.expr.IfExp.compile(IfExp.java:123)
gnu.expr.IfExp.compile(IfExp.java:52)
gnu.expr.IfExp.compile(IfExp.java:114)
gnu.expr.IfExp.compile(IfExp.java:52)
gnu.expr.Expression.compileWithPosition(Expression.java:130)
gnu.expr.LetExp.compile(LetExp.java:193)
gnu.expr.Expression.compileNotePosition(Expression.java:156)
gnu.expr.Expression.compileWithPosition(Expression.java:127)
gnu.expr.IfExp.compile(IfExp.java:137)
gnu.expr.IfExp.compile(IfExp.java:52)
gnu.expr.Expression.compileNotePosition(Expression.java:156)
gnu.expr.Expression.compileWithPosition(Expression.java:127)
gnu.expr.ApplyExp.compile(ApplyExp.java:333)
gnu.expr.ApplyExp.compile(ApplyExp.java:132)
gnu.expr.Expression.compileNotePosition(Expression.java:156)
gnu.expr.Expression.compileWithPosition(Expression.java:127)
gnu.expr.BeginExp.compile(BeginExp.java:153)
gnu.expr.Expression.compileNotePosition(Expression.java:156)
gnu.expr.Expression.compileWithPosition(Expression.java:127)
gnu.expr.LetExp.compile(LetExp.java:193)
gnu.expr.Expression.compileNotePosition(Expression.java:156)
gnu.expr.Expression.compileWithPosition(Expression.java:142)
gnu.expr.LambdaExp.compileBody(LambdaExp.java:1722)
gnu.expr.Compilation.generateBytecode(Compilation.java:2080)
gnu.expr.Compilation.process(Compilation.java:1957)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:305)
gnu.expr.ModuleExp.evalToClass(ModuleExp.java:59)
gnu.expr.ModuleExp.evalModule1(ModuleExp.java:251)
gnu.expr.ModuleExp.evalModule(ModuleExp.java:205)
kawa.Shell.run(Shell.java:279)
kawa.Shell.runFile(Shell.java:486)
kawa.Shell.runFileOrClass(Shell.java:420)
kawa.repl.processArgs(repl.java:274)
kawa.repl.main(repl.java:869)