Implementation deviates from halting semantics

[GoogleCodeExporter]

The implementation uses a left-to-right blocking scan to resolve arguments. 
However, this is incompatible with the correct semantics of the otherwise 
combinator, which requires that a strict call halt immediately if any argument 
halts, regardless of position.

The following program should publish 1, but instead it blocks forever:

def blockForever() = Channel().get()

val x = blockForever()
val y = stop
val z = y+x ; x+y ; 1

z

Fixing the issue will require a reimplementation of the behavior of a token 
waiting on a site call. It will probably require the replacement of 
blockableMap and FutureFrame.

Original issue reported on code.google.com by dkitc...@gmail.com on 24 Oct 2011 at 9:05

[GoogleCodeExporter]

Original comment by dkitc...@gmail.com on 25 Oct 2011 at 6:43

• Added labels: Correctness, Semantics

[GoogleCodeExporter]

Original comment by arthur.peters on 29 Nov 2012 at 8:53

• Added labels: Milestone-2.1

[GoogleCodeExporter]

This issue was closed by revision r3166.

Original comment by dkitc...@gmail.com on 23 Jan 2013 at 8:39

• Changed state: Fixed