[ nice-Bugs-1177901 ] Compiler crash with constrained-generic classes

Bugs item #1177901, was opened at 2005-04-06 18:22
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=1177901&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Arnout Engelen (raboofje)
Assigned to: Nobody/Anonymous (nobody)
Summary: Compiler crash with constrained-generic classes

Initial Comment:
I can get the nicec to crash with the following program:

---
package tree;

class IntTreeNode <U> {
}

<Comparable T> 
class IntTree <T> {
  ?IntTreeNode<T> content = null;
}
---

arnouten@mintzer:~/dev/nice/foo$ nicec --version
Nice compiler version 0.9.11 prerelease (build
2005.04.06, 15:21:54 UTC)
Compiled using JDK 1.4.1
Copyright (C) 2003 Daniel Bonniot
Visit the Nice homepage: http://nice.sourceforge.net

arnouten@mintzer:~/dev/nice/foo$ nicec tree
nice.lang: parsing
tree: parsing
tree: 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.IndexOutOfBoundsException: -1
        at
mlsub.typing.lowlevel.BitVector.set(BitVector.java:135)
        at
mlsub.typing.lowlevel.BitMatrix.set(BitMatrix.java:184)
        at mlsub.typing.lowlevel.K0.leq0(K0.java:686)
        at mlsub.typing.lowlevel.K0.leq(K0.java:652)
        at
mlsub.typing.lowlevel.Engine$Constraint.leq(Engine.java:928)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at mlsub.typing.Variance.leq(Variance.java:198)
        at mlsub.typing.Variance.leq(Variance.java:190)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:299)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:90)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:81)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at
mlsub.typing.Variance.assertEq(Variance.java:262)
        at mlsub.typing.Variance.leq(Variance.java:199)
        at mlsub.typing.Variance.leq(Variance.java:190)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:299)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:90)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:81)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at mlsub.typing.Typing.leq(Typing.java:355)
        at mlsub.typing.Typing.leq(Typing.java:311)
        at bossa.syntax.fun.typecheck(nicefield.nice:82)
        at bossa.syntax.NiceField.typecheck(nicefield.nice)
        at bossa.syntax.fun.typecheck(niceclass.nice:310)
        at
bossa.syntax.ClassImplementation.typecheck(niceclass.nice)
        at
bossa.syntax.fun.typecheckClass(typedef.nice:343)
        at
bossa.syntax.TypeDefinition.typecheckClass(typedef.nice)
        at bossa.syntax.fun.typechecking(ast.nice:136)
        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
bossa.modules.Compilation.compile(Compilation.nice)
        at
nice.tools.compiler.console.fun.compile(main.nice:165)
        at
nice.tools.compiler.console.dispatch.compile(Unknown
Source)
        at
nice.tools.compiler.console.fun.main(main.nice:199)
        at
nice.tools.compiler.console.dispatch.main(Unknown Source)


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

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


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click