--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Oct  6 11:47:47 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17089; Wed, 6 Oct 1993 11:47:47 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0881; Wed, 06 Oct 93 11:53:39 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.0701.Oct.06.11:53:39.-0400>
--*           for asbugs@watson; Wed, 06 Oct 93 11:53:39 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 0699; Wed, 6 Oct 1993 11:53:39 EDT
--* Received: from matteo.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 06 Oct 93 11:53:38 EDT
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA14749; Wed, 6 Oct 1993 11:54:47 -0400
--* Date: Wed, 6 Oct 1993 11:54:47 -0400
--* From: iglio@matteo.watson.ibm.com
--* Message-Id: <9310061554.AA14749@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: segmentation fault [export.as][31.0]

--@ Fixed  by: PI Wed Oct 06 12:05:23 1993
--@ Tested by: export3.as
--@ Summary:   The bug was in my current version of A#.


#include "aslib"

import SingleInteger
import Boolean
import Integer

H: with
	import SingleInteger
	import Boolean

	id  : SingleInteger -> SingleInteger
	foo : (%, %) -> SingleInteger
	foo : (Boolean, %) -> SingleInteger
  == add
		import SingleInteger
		import Boolean

		id ( x: SingleInteger ):SingleInteger == x
		foo ( x:%, y:%, u:XXXX ):SingleInteger == 2