"Symbol value X not found" using scala.utils.continuations

Even better is the following error:

java.lang.Error: no-symbol does not have owner
at scala.tools.nsc.symtab.SymbolTable.abort(SymbolTable.scala:33)
at scala.tools.nsc.symtab.Symbols$NoSymbol$.owner(Symbols.scala:2048)
at
scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerSelect(ExplicitOuter.scala:190)
at
scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerPath(ExplicitOuter.scala:217)
at
scala.tools.nsc.transform.ExplicitOuter$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
at
scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:736)
at
scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:735)
at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:856)
at
scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:35)
at
scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:28)
at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:734)
.....

I have absolutely no clue how to debug this sort of errors...

On 25.05.2010 17:33, Kai Meder wrote:
> Hello
>
> I regulary get the following error when compiling code with the CPS-plugin:
>
> symbol value readSync$2 does not exist in
> dataflow.nio.Socket$$anonfun$processRead$1.apply
>
>
> flow {
> while (xxx) {
> val readSync = new Variable[Boolean]
> dispatcher.register(sockCh, Read, onReadable(readSync))
> val readDone = readSync() // <-- SYMBOL NOT FOUND ERROR
> }
> }
>
>
> flow is essentially a reset-wrapper. "onReadable(readSync)" will execute
> the continuation, which gets shifted/suspended by readSync()
>
> Any ideas? I get sooo many assertion-failures and "Symbol not Found"
> errors while compiling with the CPS-Plugin. There is no hint where to
> look at, the source-file causing the errors is not even mentioned :(
> The CPS-Plugin is a really *great* extension to the language but during
> development it is a big PITA.
>
> Thanks, Kai
>

Even better is the following error:

java.lang.Error: no-symbol does not have owner
at scala.tools.nsc.symtab.SymbolTable.abort(SymbolTable.scala:33)
at scala.tools.nsc.symtab.Symbols$NoSymbol$.owner(Symbols.scala:2048)
at
scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerSelect(ExplicitOuter.scala:190)
at
scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerPath(ExplicitOuter.scala:217)
at
scala.tools.nsc.transform.ExplicitOuter$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
at
scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:736)
at
scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:735)
at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:856)
at
scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:35)
at
scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:28)
at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:734)
.....

I have absolutely no clue how to debug this sort of errors...

On 25.05.2010 17:33, Kai Meder wrote:
> Hello
>
> I regulary get the following error when compiling code with the CPS-plugin:
>
> symbol value readSync$2 does not exist in
> dataflow.nio.Socket$$anonfun$processRead$1.apply
>
>
> flow {
> while (xxx) {
> val readSync = new Variable[Boolean]
> dispatcher.register(sockCh, Read, onReadable(readSync))
> val readDone = readSync() // <-- SYMBOL NOT FOUND ERROR
> }
> }
>
>
> flow is essentially a reset-wrapper. "onReadable(readSync)" will execute
> the continuation, which gets shifted/suspended by readSync()
>
> Any ideas? I get sooo many assertion-failures and "Symbol not Found"
> errors while compiling with the CPS-Plugin. There is no hint where to
> look at, the source-file causing the errors is not even mentioned :(
> The CPS-Plugin is a really *great* extension to the language but during
> development it is a big PITA.
>
> Thanks, Kai
>

The following seems to cause the "no-symbol does not have owner"-error.

reset {
...
def funA(): A @suspendable
def funB(): B
...
val a = funA() // OK
foo(a)
...
val b = funB() // Error: no-symbol does not have owner
bar(b)
...
}

What is the reason?

Appreciating any hint.
Thanks, Kai

On 25.05.2010 17:53, Kai Meder wrote:
> Even better is the following error:
>
> java.lang.Error: no-symbol does not have owner
> at scala.tools.nsc.symtab.SymbolTable.abort(SymbolTable.scala:33)
> at scala.tools.nsc.symtab.Symbols$NoSymbol$.owner(Symbols.scala:2048)
> at
> scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerSelect(ExplicitOuter.scala:190)
> at
> scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerPath(ExplicitOuter.scala:217)
> at
> scala.tools.nsc.transform.ExplicitOuter$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
> at
> scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:736)
> at
> scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:735)
> at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:856)
> at
> scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:35)
> at
> scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:28)
> at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:734)
> .....
>
> I have absolutely no clue how to debug this sort of errors...
>
>
> On 25.05.2010 17:33, Kai Meder wrote:
>> Hello
>>
>> I regulary get the following error when compiling code with the CPS-plugin:
>>
>> symbol value readSync$2 does not exist in
>> dataflow.nio.Socket$$anonfun$processRead$1.apply
>>
>>
>> flow {
>> while (xxx) {
>> val readSync = new Variable[Boolean]
>> dispatcher.register(sockCh, Read, onReadable(readSync))
>> val readDone = readSync() // <-- SYMBOL NOT FOUND ERROR
>> }
>> }
>>
>>
>> flow is essentially a reset-wrapper. "onReadable(readSync)" will execute
>> the continuation, which gets shifted/suspended by readSync()
>>
>> Any ideas? I get sooo many assertion-failures and "Symbol not Found"
>> errors while compiling with the CPS-Plugin. There is no hint where to
>> look at, the source-file causing the errors is not even mentioned :(
>> The CPS-Plugin is a really *great* extension to the language but during
>> development it is a big PITA.
>>
>> Thanks, Kai
>>
>
>

I tried to reproduce it but this works:

reset {
def foo(x: Int) = println(x)
def funA(): Int @suspendable = 1
def funB(): Int = 0
val a = funA() // OK
foo(a)
val b = funB() // Error: no-symbol does not have owner
foo(b)
}

please submit trac tickets with concrete, reduced test cases.
I'd really like to iron out those annoying errors you're seeing but I need some concrete
pieces of code to see what's wrong.

- Tiark

On May 27, 2010, at 2:19 AM, Kai Meder wrote:

> The following seems to cause the "no-symbol does not have owner"-error.
>
> reset {
> ...
> def funA(): A @suspendable
> def funB(): B
> ...
> val a = funA() // OK
> foo(a)
> ...
> val b = funB() // Error: no-symbol does not have owner
> bar(b)
> ...
> }
>
> What is the reason?
>
> Appreciating any hint.
> Thanks, Kai
>
> On 25.05.2010 17:53, Kai Meder wrote:
>> Even better is the following error:
>>
>> java.lang.Error: no-symbol does not have owner
>> at scala.tools.nsc.symtab.SymbolTable.abort(SymbolTable.scala:33)
>> at scala.tools.nsc.symtab.Symbols$NoSymbol$.owner(Symbols.scala:2048)
>> at
>> scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerSelect(ExplicitOuter.scala:190)
>> at
>> scala.tools.nsc.transform.ExplicitOuter$OuterPathTransformer.outerPath(ExplicitOuter.scala:217)
>> at
>> scala.tools.nsc.transform.ExplicitOuter$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
>> at
>> scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:736)
>> at
>> scala.tools.nsc.ast.Trees$Transformer$$anonfun$transform$4.apply(Trees.scala:735)
>> at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:856)
>> at
>> scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:35)
>> at
>> scala.tools.nsc.transform.TypingTransformers$TypingTransformer.atOwner(TypingTransformers.scala:28)
>> at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:734)
>> .....
>>
>> I have absolutely no clue how to debug this sort of errors...
>>
>>
>> On 25.05.2010 17:33, Kai Meder wrote:
>>> Hello
>>>
>>> I regulary get the following error when compiling code with the CPS-plugin:
>>>
>>> symbol value readSync$2 does not exist in
>>> dataflow.nio.Socket$$anonfun$processRead$1.apply
>>>
>>>
>>> flow {
>>> while (xxx) {
>>> val readSync = new Variable[Boolean]
>>> dispatcher.register(sockCh, Read, onReadable(readSync))
>>> val readDone = readSync() // <-- SYMBOL NOT FOUND ERROR
>>> }
>>> }
>>>
>>>
>>> flow is essentially a reset-wrapper. "onReadable(readSync)" will execute
>>> the continuation, which gets shifted/suspended by readSync()
>>>
>>> Any ideas? I get sooo many assertion-failures and "Symbol not Found"
>>> errors while compiling with the CPS-Plugin. There is no hint where to
>>> look at, the source-file causing the errors is not even mentioned :(
>>> The CPS-Plugin is a really *great* extension to the language but during
>>> development it is a big PITA.
>>>
>>> Thanks, Kai
>>>
>>
>>
>

The following test-case produces the No-Symbol Error

package test
import scala.util.continuations._
object NoSymbolTest {

def sum(a: Int, b: Int): Int = a + b

def main(args: Array[String]) = {

def capture(): Int @suspendable =
shift { k: (Int => Unit) => {
k(42)
}}

def loop(): Unit @suspendable = {
var x = 0
while (x < 3) {
val y = capture()
// val s = sum(x, y) // java.lang.Error: no-symbol does not have
owner
// x = s
x = sum(x,y) // WORKS
}
println("x: " + x)
}

reset[Unit,Unit] {
loop()
}
}
}

Any insight very much appreciated. If you want I open trac-tickets for those
errors.

Thanks! Kai