--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Sep  1 18:43:33 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19727; Wed, 1 Sep 1993 18:43:33 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6589; Wed, 01 Sep 93 18:47:22 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.VAGENT2.4449.Sep.01.18:47:21.-0400>
--*           for asbugs@watson; Wed, 01 Sep 93 18:47:22 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4447; Wed, 1 Sep 1993 18:47:21 EDT
--* Received: from leonardo.watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Wed, 01 Sep 93 18:47:20 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA12895; Wed, 1 Sep 1993 18:45:59 -0400
--* Date: Wed, 1 Sep 1993 18:45:59 -0400
--* From: santas@leonardo.watson.ibm.com
--* Message-Id: <9309012245.AA12895@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: 'where' does not generate type information
--* Cc: peteb@watson.ibm.com

--@ Fixed  by:  SSD   Thu Jun 2 10:12:02 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Fixes to the scope binder now allow this file to compile. 


-- The following program reports errors on 'x'
#include "aslib" -- added PI

SI ==> SingleInteger
import from SI

(a:SI == x+y where
          (x := q+y where (q:=4;
                           y:=5);
           y := 2));
print(a)()

-- Philip