ok i'll take a look and try add some test cases to the analyser....

Mike

On Fri, Aug 26, 2011 at 5:16 PM, St�phane Ducasse <stephane.ducasse@inria.fr> wrote:
While working on a chapter on blocks I got the following problems



foo

� � � �| a|
� � � �a := 0.
� � � �^ {[a :=2] .[a]}


| res |
res := ZnClientTests new foo.
res second value crLog.
res first value.
res second value crLog.

stepping into new foo first positioned me only on the [a :=2 ] skipping the first assignment
second I get debuggers when I want to try to get information.

Stef