[ 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: Closed
>Resolution: Fixed
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 12:06

Message:
Logged In: YES 
user_id=88952

This bug has been fixed. The next release of the compiler will
include this correction. In the mean time, I encourage you try
the development version. It contains a version of the compiler
that fixes the bug. Please try it and reopen the bug-report if
you find any problem with it.

To know how to get an install the development version of the
compiler that fixes this bug, please read
http://nice.sourceforge.net/cgi-bin/twiki/view/Dev/DevelopmentVersion

Note that the bug has first been fixed in the CVS version, and it
might take one or two hours until the development version
includes the fix.

Thanks again for your help by submiting this bug report. 

Daniel Bonniot


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

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