--* From SMWATT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Oct  6 10:20:32 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16940; Wed, 6 Oct 1993 10:20:32 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0219; Wed, 06 Oct 93 10:26:26 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.9222.Oct.06.10:26:26.-0400>
--*           for asbugs@watson; Wed, 06 Oct 93 10:26:26 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 9220; Wed, 6 Oct 1993 10:26:25 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 06 Oct 93 10:26:25 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA55679; Wed, 6 Oct 1993 10:25:46 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA25728; Wed, 6 Oct 1993 10:32:27 -0400
--* Date: Wed, 6 Oct 1993 10:32:27 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9310061432.AA25728@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: No code for := 2 in free s: SI := 2 [/tmp/xxx][Santas]

--@ Fixed  by: PAB Fri Oct 08 23:24:23 1993
--@ Tested by: fix336.as
--@ Summary:   code for 'free' decls is now generated


From root Tue Oct  5 21:45:35 1993
Received: from yktvmv2.watson.ibm.com by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
          id AA26579; Tue, 5 Oct 1993 21:45:34 -0400
X-External-Networks: yes
Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
   with BSMTP id 9901; Tue, 05 Oct 93 21:39:41 EDT
Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
          id <A.SANTAS.NOTE.YKTVMV.6477.Oct.05.21:39:40.-0400>
          for smwatt@watson; Tue, 05 Oct 93 21:39:41 -0400
Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
   Tue, 05 Oct 93 21:39:38 EDT
Received: from neptune by bernina.ethz.ch with SMTP inbound id <23273-0@bernina.ethz.ch>; Wed, 6 Oct 1993 02:39:24 +0100
From: Philip Santas <santas@inf.ethz.ch>
Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA17591; Wed, 6 Oct 93 02:39:19 +0100
Date: Wed, 6 Oct 93 02:39:17 +0100
Message-Id: <9310060139.AA24975@rutishauser.inf.ethz.ch>
Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA24975; Wed, 6 Oct 93 02:39:17 +0100
To: smwatt@watson.ibm.com, bmt@watson.ibm.com
Subject: non-determinism (II) (was: Re: free and packages)
In-Reply-To: Mail from 'smwatt@watson.ibm.com (Stephen Watt)'
      dated: Tue, 5 Oct 1993 10:18:58 -0400
Cc: bronstei@inf.ethz.ch, jenks@watson.ibm.com, santas, williams
Status: RO


One more example of non-determinism, which does not involve packages:
The two programs below result in *exactly* the same output (although
the second is supposed to print sequences of (2,3)):

1, 2, 2, 3, 3, 4, 4, 5

This is not normal.

Philip

--------program1------------
#include "aslib.as"
SI ==> SingleInteger
import SI

x:SI := 1

a():SI ==
    free x: SI       -- :=2
    print(x)()
    x:=x+1
    print(x)()
    x

a()
a()
a()
a()
--------program2------------
#include "aslib.as"
SI ==> SingleInteger
import SI

x:SI := 1

a():SI ==
    free x: SI := 2  --comment removed
    print(x)()
    x:=x+1
    print(x)()
    x

a()
a()
a()
a()