[ nice-Bugs-967122 ] Internal ArrayIndexOutOfBounds error

Bugs item #967122, was opened at 2004-06-05 08:16
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=967122&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Bryn Keller (xoltar)
Assigned to: Nobody/Anonymous (nobody)
Summary: Internal ArrayIndexOutOfBounds error

Initial Comment:
Nice compiler version 0.9.8 prerelease (build
2004.05.28, 18:05:16 UTC)
Compiled using JDK 1.4.2
Copyright (C) 2003 Daniel Bonniot
Visit the Nice homepage: http://nice.sourceforge.net

abstract class Piece {}
class Empty extends Piece {}

class Board {
  int width;
  int height;
  List<List<Piece>> grid = new ArrayList();
    {
      grid = new ArrayList(this.width);
      for(int i = 0; i < width; i++) {
	let col = new ArrayList(this.height);
	grid.add(col);
	for(int j = 0; j < height; j++) {
	  col.add(new Empty());
	}
      }
    }
}

C:\src\nice>nicec -a test test
nice.lang: parsing
test: parsing
test: typechecking
test: generating code
test: linking
releaseInitialContext should be called when in first
rigid context
releaseInitialContext should be called when in first
rigid context
releaseInitialContext should be called when in first
rigid context
releaseInitialContext should be called when in first
rigid context

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: -3
        at
mlsub.typing.lowlevel.BitMatrix.get(BitMatrix.java:128)
        at mlsub.typing.lowlevel.K0.leq0(K0.java:671)
        at mlsub.typing.lowlevel.K0.leq(K0.java:648)
        at
mlsub.typing.lowlevel.Engine$Constraint.leq(Engine.java:928)
        at
mlsub.typing.lowlevel.Engine.assertFrozens(Engine.java:672)
        at
mlsub.typing.lowlevel.Engine.leave(Engine.java:115)
        at mlsub.typing.Typing.leave(Typing.java:126)
        at mlsub.typing.Typing.leave(Typing.java:110)
        at
mlsub.typing.Enumeration.enumerate(Enumeration.java:102)
        at bossa.link.Dispatch.enumerate(Dispatch.java:426)
        at bossa.link.Dispatch.test(Dispatch.java:186)
        at bossa.link.Dispatch.test(Dispatch.java:90)
        at bossa.link.Dispatch.test(Dispatch.java:75)
        at bossa.modules.Package.link(Package.java:337)
        at mlsub.compilation.fun.lambda21(make.nice:33)
        at mlsub.compilation.fun.apply1(make.nice:0)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:130)
        at nice.lang.dispatch.foreach(range.nice:0)
        at
mlsub.compilation.fun.compileComponent(make.nice:33)
        at
mlsub.compilation.dispatch.compileComponent(dispatch.nice)
        at
mlsub.compilation.fun$make.lambda18(make.nice:45)
        at mlsub.compilation.fun$make.apply1(make.nice:0)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:130)
        at nice.lang.dispatch.foreach(range.nice:0)
        at mlsub.compilation.fun.make(make.nice:44)
        at mlsub.compilation.dispatch.make(dispatch.nice)
        at
nice.tools.compiler.fun.compile(interface.nice:40)
        at
bossa.modules.Compilation.compile(Compilation.nice)
        at
nice.tools.compiler.console.fun.compile(main.nice:168)
        at
nice.tools.compiler.console.dispatch.compile(dispatch.nice)
        at
nice.tools.compiler.console.fun.main(main.nice:184)


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

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


-------------------------------------------------------
This SF.Net email is sponsored by the new InstallShield X.
From Windows to Linux, servers to mobile, InstallShield X is the one
installation-authoring solution that does it all. Learn more and
evaluate today! http://www.installshield.com/Dev2Dev/0504