[ nice-Bugs-991792 ] Compiler error GetQ

Bugs item #991792, was opened at 2004-07-15 11:23
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=991792&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Isaac Gouy (igouy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Compiler error GetQ

Initial Comment:
Unsure if this is a different problem.
Nice compiler version 0.9.8 (build 2004.07.02, 18:42:24
UTC)

   void main(String[] args){      
//      let GetQ<int> g = new GetQ(qItem: 5);       
        let g = new GetQ(qItem: 5);     
   }
   
   class GetQ<T> {
      ?T get(){ return qItem; }   
      ?T qItem;
   }      


I:\pls\Nice\Test>nicec --sourcepath .. -a t.jar -R Test
nice.lang: parsing
Test: parsing
Test: typechecking

I:\pls\Nice\Test\..\Test\Test.nice: line 3, column 13:
 Unused local variable g

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" bossa.util.InternalError:
panic: assertion failed:
        at bossa.util.Internal.error(Internal.java:86)
        at mlsub.typing.lowlevel.S.panic(S.java:79)
        at mlsub.typing.lowlevel.S.assume(S.java:101)
        at mlsub.typing.lowlevel.S.assume(S.java:97)
        at
mlsub.typing.lowlevel.DomainVector.reduce(DomainVector.java:48)
        at
mlsub.typing.lowlevel.K0.reduceDomain(K0.java:838)
        at mlsub.typing.lowlevel.K0.leq0(K0.java:687)
        at mlsub.typing.lowlevel.K0.leq(K0.java:648)
        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:265)
        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.MonotypeLeqCst.enter(MonotypeLeqCst.java:58)
        at
mlsub.typing.Constraint.enter(Constraint.java:292)
        at
mlsub.typing.Constraint.enter(Constraint.java:303)
        at
bossa.syntax.fun.ensureMonomorphic(tools.nice:82)
        at
bossa.syntax.dispatch.ensureMonomorphic(dispatch.nice)
        at bossa.syntax.fun.typecheck(typecheck.nice:772)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at bossa.syntax.fun.lambda12(typecheck.nice:711)
        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:711)
        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)




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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=991792&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