[ nice-Bugs-807462 ] compiler error synchronized

Bugs item #807462, was opened at 2003-09-17 00:18
Message generated for change (Comment added) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=807462&group_id=12788

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Isaac Gouy (igouy)
>Assigned to: Arjan Boeijink (arjanb)
Summary: compiler error synchronized

Initial Comment:
class SharedBuffer {

   int get();

   get() { return 6; }



   void put(int value);

   put(value) { }

}





class Producer extends Thread {

   SharedBuffer buffer;

   run() { } 

}



class Consumer extends Thread {

   SharedBuffer buffer;

   run() {

      synchronized(buffer) { buffer.put(3); }

   }   

}





I:\pls\Nice\test>nicec --sourcepath .. 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:

bossa.util.InternalError: 

I:\pls\Nice\test\..\test\test.nice: line 20, column 20:

buffer has not been resolved yet.

Possibilities are :

[test.SharedBuffer test.Consumer.buffer

|test.SharedBuffer test.Producer.buffer]

        at bossa.util.Internal.error(Internal.java:86)

        at bossa.util.Internal.error(Internal.java:73)

        at 

bossa.syntax.OverloadedSymbolExp.computeType

(OverloadedSymbolExp.java:461)

        at bossa.syntax.Expression.getType

(Expression.java:155)

        at bossa.syntax.fun.typecheck(~/Nice/distrib/nice-

0.9.2/src/bossa/syntax:726)

        at bossa.syntax.dispatch.typecheck

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at bossa.syntax.fun.lambda9(~/Nice/distrib/nice-

0.9.2/src/bossa/syntax:568)

        at bossa.syntax.fun.apply1(~/Nice/distrib/nice-

0.9.2/src/bossa/syntax)

        at gnu.expr.ModuleMethod.apply1

(ModuleMethod.java:89)

        at nice.lang.fun.foreach(~/Nice/distrib/nice-

0.9.2/stdlib/nice/lang:103)

        at nice.lang.dispatch.foreach(~/Nice/distrib/nice-

0.9.2/classes/nice/lang)

        at bossa.syntax.fun.typecheck(~/Nice/distrib/nice-

0.9.2/src/bossa/syntax:566)

        at bossa.syntax.dispatch.typecheck

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at bossa.syntax.MethodBodyDefinition.typecheck

(MethodBodyDefinition.java:425)

        at bossa.syntax.Node.doTypecheck

(Node.java:353)

        at bossa.syntax.Node.doTypecheck

(Node.java:358)

        at bossa.syntax.AST.typechecking(AST.java:168)

        at bossa.modules.Package.typecheck

(Package.java:325)

        at mlsub.compilation.fun.lambda16

(~/Nice/distrib/nice-0.9.2/src/mlsub/compilation:29)

        at mlsub.compilation.fun.apply1

(~/Nice/distrib/nice-0.9.2/src/mlsub/compilation)

        at gnu.expr.ModuleMethod.apply1

(ModuleMethod.java:89)

        at nice.lang.fun.foreach(~/Nice/distrib/nice-

0.9.2/stdlib/nice/lang:124)

        at nice.lang.dispatch.foreach(~/Nice/distrib/nice-

0.9.2/classes/nice/lang)

        at mlsub.compilation.fun.compileComponent

(~/Nice/distrib/nice-0.9.2/src/mlsub/compilation:29)

        at mlsub.compilation.dispatch.compileComponent

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at mlsub.compilation.fun$make.lambda15(Unknown 

Source)

        at mlsub.compilation.fun$make.apply1(Unknown 

Source)

        at gnu.expr.ModuleMethod.apply1

(ModuleMethod.java:89)

        at nice.lang.fun.foreach(~/Nice/distrib/nice-

0.9.2/stdlib/nice/lang:124)

        at nice.lang.dispatch.foreach(~/Nice/distrib/nice-

0.9.2/classes/nice/lang)

        at mlsub.compilation.fun.make(~/Nice/distrib/nice-

0.9.2/src/mlsub/compilation:44)

        at mlsub.compilation.dispatch.make

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at nice.tools.compiler.fun.compile

(~/Nice/distrib/nice-0.9.2/src/nice/tools/compiler:40)

        at nice.tools.compiler.dispatch.compile

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at nice.tools.compiler.console.fun.compile

(~/Nice/distrib/nice-

0.9.2/src/nice/tools/compiler/console:168)

        at nice.tools.compiler.console.dispatch.compile

(~/Nice/distrib/nice-0.9.2/share/java/nice.jar)

        at nice.tools.compiler.console.fun.main

(~/Nice/distrib/nice-

0.9.2/src/nice/tools/compiler/console:184)







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

>Comment By: Arjan Boeijink (arjanb)
Date: 2003-09-17 02:15

Message:
Logged In: YES 
user_id=688815

This bug is now fixed in cvs and it will be in a next 

development version (that may take 2 days, send me an email 

if you need/want it earlier)

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

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


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf