[ nice-Bugs-992007 ] Compiler error parameter typo

Bugs item #992007, was opened at 2004-07-16 01:48
Message generated for change (Comment added) made by bonniot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=992007&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Isaac Gouy (igouy)
>Assigned to: Daniel Bonniot (bonniot)
Summary: Compiler error parameter typo

Initial Comment:
   <P,T| P<:IPut<T>>
   //class Producer<P,T> {   
   class Producer<X,T> {
      P putQ;      
      void tryIPut(T item){ putQ.put(item); }         
        
   }

   interface IPut<T> { void put(T obj); }


Nice compiler version 0.9.8 (build 2004.07.02, 18:42:24
UTC)


I:\pls\Nice\Test>nicec --sourcepath .. -a t.jar -R Test
nice.lang: parsing
Test: parsing
Test: 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:115)
        at mlsub.typing.lowlevel.K0.tag(K0.java:1603)
        at
mlsub.typing.lowlevel.Engine$Constraint.tag(Engine.java:837)
        at
mlsub.typing.lowlevel.Engine.tag(Engine.java:371)
        at
mlsub.typing.MonotypeConstructor.tag(MonotypeConstructor.java:160)
        at
mlsub.typing.MonotypeVar.tag(MonotypeVar.java:257)
        at mlsub.typing.Variance.tag(Variance.java:302)
        at
mlsub.typing.MonotypeConstructor.tag(MonotypeConstructor.java:162)
        at
mlsub.typing.MonotypeConstructor.tag(MonotypeConstructor.java:165)
        at mlsub.typing.Monotype.tag(Monotype.java:138)
        at mlsub.typing.TupleType.tag(TupleType.java:88)
        at
mlsub.typing.Polytype.simplify(Polytype.java:275)
        at
bossa.syntax.CallExp.setComputedType(CallExp.java:307)
        at
bossa.syntax.OverloadedSymbolExp.resolveOverloading(OverloadedSymbolExp.java:206)
        at
bossa.syntax.CallExp.resolveOverloading(CallExp.java:259)
        at
bossa.syntax.CallExp.computeType(CallExp.java:273)
        at
bossa.syntax.Expression.getType(Expression.java:162)
        at bossa.syntax.fun.typecheck(typecheck.nice:204)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at
bossa.syntax.fun.typecheckArgs(typecheck.nice:104)
        at
bossa.syntax.dispatch.typecheckArgs(dispatch.nice)
        at bossa.syntax.fun.typecheck(typecheck.nice:201)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at bossa.syntax.fun.typecheck(typecheck.nice:796)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at bossa.syntax.fun.lambda13(typecheck.nice:714)
        at bossa.syntax.fun.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        at bossa.syntax.fun.typecheck(typecheck.nice:712)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at bossa.syntax.fun.lambda13(typecheck.nice:714)
        at bossa.syntax.fun.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        at bossa.syntax.fun.typecheck(typecheck.nice:712)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at
bossa.syntax.DefaultMethodImplementation.innerTypecheck(DefaultMethodImplementation.java:95)
        at
bossa.syntax.NiceMethod$WithDefault.innerTypecheck(NiceMethod.java:367)
        at
bossa.syntax.MethodDeclaration.typecheck(MethodDeclaration.java:229)
        at bossa.syntax.Node.doTypecheck(Node.java:297)
        at bossa.syntax.Node.doTypecheck(Node.java:302)
        at bossa.syntax.Node.doTypecheck(Node.java:302)
        at bossa.syntax.AST.typechecking(AST.java:188)
        at
bossa.modules.Package.typecheck(Package.java:323)
        at mlsub.compilation.fun.lambda19(make.nice:29)
        at mlsub.compilation.fun.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        at
mlsub.compilation.fun.compileComponent(make.nice:29)
        at
mlsub.compilation.dispatch.compileComponent(dispatch.nice)
        at
mlsub.compilation.fun$make.lambda18(make.nice:45)
        at mlsub.compilation.fun$make.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        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:169)
        at
nice.tools.compiler.console.dispatch.compile(dispatch.nice)
        at
nice.tools.compiler.console.fun.main(main.nice:185)



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

>Comment By: Daniel Bonniot (bonniot)
Date: 2004-07-16 11:35

Message:
Logged In: YES 
user_id=88952

OK, I'm adding the check so that X would be reported as
non-declared.

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

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


-------------------------------------------------------
This SF.Net email is sponsored by BEA Weblogic Workshop
FREE Java Enterprise J2EE developer tools!
Get your free copy of BEA WebLogic Workshop 8.1 today.
http://ads.osdn.com/?ad_id=4721&alloc_id=10040&op=click