[ nice-Bugs-1543721 ] compiler crash in IntVect

Bugs item #1543721, was opened at 2006-08-21 03:09
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1543721&group_id=12788

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: B S (ben77)
Assigned to: Nobody/Anonymous (nobody)
Summary: compiler crash in IntVect

Initial Comment:
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)

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1543721&group_id=12788

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642