--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Oct  5 07:33:08 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA13146; Tue, 5 Oct 1993 07:33:08 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9769; Tue, 05 Oct 93 07:39:13 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.5123.Oct.05.07:39:13.-0400>
--*           for asbugs@watson; Tue, 05 Oct 93 07:39:13 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 05 Oct 93 07:39:12 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <1756-0@bernina.ethz.ch>; Tue, 5 Oct 1993 12:38:47 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA05867; Tue, 5 Oct 93 12:38:41 +0100
--* Date: Tue, 5 Oct 93 12:38:39 +0100
--* Message-Id: <9310051138.AA21493@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA21493; Tue, 5 Oct 93 12:38:39 +0100
--* To: asbugs@watson.ibm.com
--* Subject: functions in 'where' compile but are 'illegal instructions'
--* Cc: bronstei

--@ Fixed  by: PAB Tue Oct 05 14:41:17 1993
--@ Tested by: bug437.as
--@ Summary:   Generating wheres with lexicals


The following reports: 'Illegal instruction'

Philip

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

Pack1: with
    a:SI
    goo: () -> SI
 == add
     a:SI==1
     goo():SI == foo() where
             foo: ()->SI == ():SI +-> a+1

import Pack1
print(goo())()