[tlaplus] Internal Error while translating PlusCal to TLA+

[jack malkovick <sillymouse333@xxxxxxxxx>]

While I'm translating my PlusCal spec I get this stack trace.

I've got the stack trace after in Toolbox translation failed silently, and then I've run it with the command line

java -cp tla2tools.jar pcal.trans mySpec.tla

Any ideas?

pcal.trans Version 1.11 of 31 December 2020
Labels added.
Parsing completed.
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: Index 107 out of bounds for length 107
at pcal.AST.Indent(AST.java:972)
at pcal.AST.VectorToSeqString(AST.java:1001)
at pcal.AST$Assign.toString(AST.java:539)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST.VectorOfVectorsToSeqString(AST.java:1041)
at pcal.AST$Either.toString(AST.java:642)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST.VectorOfVectorsToSeqString(AST.java:1041)
at pcal.AST$Either.toString(AST.java:642)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST.VectorOfVectorsToSeqString(AST.java:1041)
at pcal.AST$Either.toString(AST.java:642)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST.VectorOfVectorsToSeqString(AST.java:1041)
at pcal.AST$Either.toString(AST.java:642)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST.VectorOfVectorsToSeqString(AST.java:1041)
at pcal.AST$Either.toString(AST.java:642)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:626)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$If.toString(AST.java:629)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$LabelIf.toString(AST.java:740)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$While.toString(AST.java:524)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$LabeledStmt.toString(AST.java:502)
at pcal.AST.VectorToSeqString(AST.java:1006)
at pcal.AST$Uniprocess.toString(AST.java:257)
at pcal.trans.performTranslation(trans.java:1015)
at pcal.trans.performTranslation(trans.java:576)
at pcal.trans.runMe(trans.java:374)
at pcal.trans.main(trans.java:305)

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/321d3788-b366-4c84-b4bb-6d94aa83c13fn%40googlegroups.com.