Aug. 27, 2011
8:58 a.m.
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