public inbox for kawa@sourceware.org
 help / color / mirror / Atom feed
From: Ito Kazumitsu <kaz@maczuka.gcd.org>
To: kawa@sourceware.org
Subject: internal compile error
Date: Wed, 16 Jan 2013 22:12:00 -0000	[thread overview]
Message-ID: <20130117.071105.369694454.kaz@maczuka.gcd.org> (raw)

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)

             reply	other threads:[~2013-01-16 22:12 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-16 22:12 Ito Kazumitsu [this message]
2013-01-17  7:37 ` Per Bothner
2013-01-17 21:49   ` Ito Kazumitsu

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20130117.071105.369694454.kaz@maczuka.gcd.org \
    --to=kaz@maczuka.gcd.org \
    --cc=kawa@sourceware.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).