On 10/2/2014 16:03, Elizabeth Mattijsen wrote:
On 01 Oct 2014, at 07:48, Father Chrysostomos wrote:
Does ‘state’ govern ‘:=’ the way it governs ‘=’? In other words, just as this:
state $x = 1;
only assigns to $x once (per closure), does the same apply to this?
state $x := $y;
I can
On 01 Oct 2014, at 07:48, Father Chrysostomos wrote:
> Does ‘state’ govern ‘:=’ the way it governs ‘=’? In other words, just as
> this:
>
>state $x = 1;
>
> only assigns to $x once (per closure), does the same apply to this?
>
>state $x := $y;
>
> I can’t find anything in the specs t
Does ‘state’ govern ‘:=’ the way it governs ‘=’? In other words, just as this:
state $x = 1;
only assigns to $x once (per closure), does the same apply to this?
state $x := $y;
I can’t find anything in the specs that implies that it does.
The reason I ask is that I am currently implem
