#181 compiler crash in IntVect

[B S]

This occurs when I add exactly one more (empty or
otherwise) nice class to a package, either through a
literal definition or through a retyping of a java
class. If I add two more, the crash goes away. I
currently (when it is working) have 23 nice classes
defined in this package, with 11 more classes created
by nice (dispatch, fun and fun$...), and 10 java
classes, 4 of which are inner classes. I have no java
retypings currently. However, the addition of java
classes that haven't been retyped seems to have no
effect. Also, just making a file with 23 nice classes
doesn't seem to crash.

If you want, I can post the entire project.

nice.lang: parsing
nice.functional: parsing
project: parsing
project: typechecking

An exception has occured in the compiler
Please fill-in a bug report at the following webpage:
http://sourceforge.net/tracker/?func=add&group_id=12788&atid=112788

Stack trace:
Exception in thread "main"
java.lang.ArrayIndexOutOfBoundsException: 100
at mlsub.typing.lowlevel.IntVect.get(IntVect.java:80)
at
mlsub.typing.lowlevel.Interface.indexMove(Interface.java:78)
at mlsub.typing.lowlevel.K0.indexMove(K0.java:431)
at mlsub.typing.lowlevel.K0.collect(K0.java:415)
at mlsub.typing.lowlevel.K0.collect(K0.java:422)
at mlsub.typing.lowlevel.K0.access$1500(K0.java:12)
at
mlsub.typing.lowlevel.K0$Simplifier.simplify(K0.java:2082)
at mlsub.typing.lowlevel.K0.simplify(K0.java:1637)
at
mlsub.typing.lowlevel.Engine$Constraint.simplify(Engine.java:1088)
at mlsub.typing.lowlevel.Engine.simplify(Engine.java:417)
at mlsub.typing.Polytype.simplify(Polytype.java:276)
at mlsub.typing.Polytype.trySimplify(Polytype.java:319)
at bossa.syntax.fun.setComputedType(call.nice:105)
at bossa.syntax.CallExp.setComputedType(call.nice)
at
bossa.syntax.fun.resolveOverloading(overloadedsymbol.nice:165)
at bossa.syntax.dispatch.resolveOverloading(Unknown
Source)
at bossa.syntax.fun.resolveOverloading(call.nice:54)
at bossa.syntax.CallExp.resolveOverloading(call.nice)
at bossa.syntax.fun.computeType(call.nice:69)
at bossa.syntax.CallExp.computeType(call.nice)
at bossa.syntax.Expression.getType(Expression.java:109)
at bossa.syntax.fun.typecheck(typecheck.nice:242)
at bossa.syntax.dispatch.typecheck(Unknown Source)
at bossa.syntax.fun.typecheckArgs(typecheck.nice:124)
at bossa.syntax.Arguments.typecheckArgs(arguments.nice)
at bossa.syntax.fun.typecheck(typecheck.nice:221)
at bossa.syntax.dispatch.typecheck(Unknown Source)
at bossa.syntax.fun.typecheck(typecheck.nice:891)
at bossa.syntax.dispatch.typecheck(Unknown Source)
at
bossa.syntax.fun.innerTypecheck(customConstructor.nice:70)
at
bossa.syntax.MethodDeclaration.innerTypecheck(methodDeclaration.nice)
at bossa.syntax.fun.typecheck(methodDeclaration.nice:161)
at
bossa.syntax.MethodDeclaration.typecheck(methodDeclaration.nice)
at bossa.syntax.Node.doTypecheck(Node.java:299)
at bossa.syntax.Node.doTypecheck(Node.java:304)
at bossa.syntax.fun.typechecking(ast.nice:146)
at bossa.syntax.CAST.typechecking(ast.nice)
at bossa.modules.Package.typecheck(Package.java:369)
at mlsub.compilation.fun.lambda25(Unknown Source)
at mlsub.compilation.fun.apply1(Unknown Source)
at gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
at nice.lang.fun.foreach(collections.nice:141)
at nice.lang.dispatch.foreach(Unknown Source)
at mlsub.compilation.fun.compileComponent(make.nice:29)
at mlsub.compilation.dispatch.compileComponent(Unknown
Source)
at mlsub.compilation.fun$make.lambda24(Unknown Source)
at mlsub.compilation.fun$make.apply1(Unknown Source)
at gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
at nice.lang.fun.foreach(collections.nice:141)
at nice.lang.dispatch.foreach(Unknown Source)
at mlsub.compilation.fun.make(make.nice:44)
at mlsub.compilation.dispatch.make(Unknown Source)
at nice.tools.compiler.fun.compile(interface.nice:40)
at nice.tools.compiler.dispatch.compile(Unknown Source)
at nice.tools.compiler.console.fun.compile(main.nice:170)
at
nice.tools.compiler.console.dispatch.compile(Unknown
Source)
at nice.tools.compiler.console.fun.main(main.nice:204)
at nice.tools.compiler.console.dispatch.main(Unknown
Source)