--* From C1GOMEZ%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Aug 12 18:26:26 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA21546; Fri, 12 Aug 1994 18:26:26 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0105; Fri, 12 Aug 94 18:26:30 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.C1GOMEZ.NOTE.VAGENT2.0545.Aug.12.18:26:29.-0400>
--*           for asbugs@watson; Fri, 12 Aug 94 18:26:30 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 0541; Fri, 12 Aug 1994 18:26:29 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Fri, 12 Aug 94 18:26:28 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA27045; Fri, 12 Aug 1994 18:24:14 -0400
--* Date: Fri, 12 Aug 1994 18:24:14 -0400
--* From: teresa@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9408122224.AA27045@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] sometime -gloop doesn't print Boolean values

--@ Fixed  by:  SSD   Mon Aug 15 12:15:11 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Now using Boolean from boolean.as in initializing Boolean as a type form. 


-- Command line: asharp -gloop
-- Version: 0.36.2
-- Original bug file name: bug3.as

#include "aslib"

TT==>Union(i:Integer, f:SingleInteger)

x:TT := [2$Integer]

x case i

-- here the interpreter answer: () @ Boolean, also if Bool is imported