* Exceptions during macro-expansion
@ 2018-01-03 23:26 Duncan Mak
2018-01-04 6:52 ` Per Bothner
0 siblings, 1 reply; 2+ messages in thread
From: Duncan Mak @ 2018-01-03 23:26 UTC (permalink / raw)
To: kawa mailing list
Hello,
I'm trying to come up with a smaller test case, but in my code that
does a bit of macros, I'm hitting these exceptions when running in
Kawa 3.0:
Does this look like it's a known bug?
Thanks!
Duncan.
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure apply-to-args> -
java.lang.NullPointerException
gnu.expr.VarValueTracker.checkUninitializedVariables(VarValueTracker.java:184)
gnu.expr.InlineCalls.visitReferenceExp(InlineCalls.java:350)
gnu.expr.InlineCalls.visitReferenceExp(InlineCalls.java:46)
gnu.expr.ReferenceExp.visit(ReferenceExp.java:194)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:843)
gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:46)
gnu.expr.SetExp.visit(SetExp.java:434)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
gnu.expr.LambdaExp.visit(LambdaExp.java:1706)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
gnu.expr.IfExp.visit(IfExp.java:151)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
gnu.expr.ModuleExp.visit(ModuleExp.java:438)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
gnu.expr.Compilation.process(Compilation.java:1769)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
kawa.Shell.compileSource(Shell.java:587)
kawa.Shell.runFile(Shell.java:555)
kawa.Shell.runFileOrClass(Shell.java:468)
kawa.repl.processArgs(repl.java:700)
kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure apply-to-args> -
java.lang.ArrayIndexOutOfBoundsException: 3
gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:843)
gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:46)
gnu.expr.SetExp.visit(SetExp.java:434)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
gnu.expr.LambdaExp.visit(LambdaExp.java:1706)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
gnu.expr.IfExp.visit(IfExp.java:151)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
gnu.expr.ModuleExp.visit(ModuleExp.java:438)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
gnu.expr.Compilation.process(Compilation.java:1769)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
kawa.Shell.compileSource(Shell.java:587)
kawa.Shell.runFile(Shell.java:555)
kawa.Shell.runFileOrClass(Shell.java:468)
kawa.repl.processArgs(repl.java:700)
kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure gnu.kawa.functions.AppendValues>
- java.lang.ArrayIndexOutOfBoundsException: 3
gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
gnu.expr.IfExp.visit(IfExp.java:151)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
gnu.expr.BeginExp.visit(BeginExp.java:168)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
gnu.expr.LetExp.visit(LetExp.java:208)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
gnu.expr.ApplyExp.visit(ApplyExp.java:591)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.visit(InlineCalls.java:46)
gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
gnu.expr.ModuleExp.visit(ModuleExp.java:438)
gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
gnu.expr.InlineCalls.visit(InlineCalls.java:72)
gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
gnu.expr.Compilation.process(Compilation.java:1769)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
kawa.Shell.compileSource(Shell.java:587)
kawa.Shell.runFile(Shell.java:555)
kawa.Shell.runFileOrClass(Shell.java:468)
kawa.repl.processArgs(repl.java:700)
kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:116:2:
warning - unreachable procedure call
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:116:29: note
- this operand never finishes
--
Duncan.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Exceptions during macro-expansion
2018-01-03 23:26 Exceptions during macro-expansion Duncan Mak
@ 2018-01-04 6:52 ` Per Bothner
0 siblings, 0 replies; 2+ messages in thread
From: Per Bothner @ 2018-01-04 6:52 UTC (permalink / raw)
To: Duncan Mak, kawa mailing list
On 01/03/2018 03:25 PM, Duncan Mak wrote:
> Hello,
>
> I'm trying to come up with a smaller test case, but in my code that
> does a bit of macros, I'm hitting these exceptions when running in
> Kawa 3.0:
>
> Does this look like it's a known bug?
It's not a known bug, but I'm betting this might help:
diff --git a/gnu/expr/VarValueTracker.java b/gnu/expr/VarValueTracker.java
index e9db3eaf8..8b1522c07 100644
--- a/gnu/expr/VarValueTracker.java
+++ b/gnu/expr/VarValueTracker.java
@@ -23,6 +23,7 @@ public class VarValueTracker
public VarValueTracker (VarValueTracker outer)
{
this.outer = outer;
+ this.visitor = outer.visitor;
this.declValueUsage = outer.declValueUsage;
}
--
--Per Bothner
per@bothner.com http://per.bothner.com/
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-01-04 6:52 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-03 23:26 Exceptions during macro-expansion Duncan Mak
2018-01-04 6:52 ` Per Bothner
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).