--* From IGLIO%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Jul 29 17:57:55 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA16046; Fri, 29 Jul 1994 17:57:55 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9959; Fri, 29 Jul 94 17:57:58 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.6151.Jul.29.17:57:56.-0400>
--*           for asbugs@watson; Fri, 29 Jul 94 17:57:58 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 6143; Fri, 29 Jul 1994 17:57:56 EDT
--* Received: from galois.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 29 Jul 94 17:57:55 EDT
--* Received: by galois.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA21030; Fri, 29 Jul 1994 17:58:04 -0400
--* Date: Fri, 29 Jul 1994 17:58:04 -0400
--* From: iglio@galois.watson.ibm.com
--* Message-Id: <9407292158.AA21030@galois.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] type inference fails on simple example? [/tmp/bug.as][v0-36-1]

--@ Fixed  by:  SSD   Mon Aug 1 08:51:35 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Use tfDefineeType in fintWrapVerbose 


#include "aslib"

import from SingleInteger;

#if BUG

a := 2;   -- doesn't work

#else

a : SingleInteger := 2;  -- works

#endif

b == a;

print << b;

-- NOTE: also -gloop gives wrong behaviour: no meaning for `b' if the type of
-- `a' is inferred.