--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Aug 25 04:33:00 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA19083; Thu, 25 Aug 1994 04:33:00 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5163; Thu, 25 Aug 94 04:33:05 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.TEKE.NOTE.YKTVMV.3077.Aug.25.04:33:04.-0400>
--*           for asbugs@watson; Thu, 25 Aug 94 04:33:04 -0400
--* Received: from insanus.matematik.su.se by watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Thu, 25 Aug 94 04:33:04 EDT
--* Received: from prosit.matematik.su.se (prosit.matematik.su.se [130.237.198.4]) by insanus.matematik.su.se (8.6.9/8.6.9) with ESMTP id KAA16169 for <asbugs@watson.ibm.com>; Thu, 25 Aug 1994 10:32:57 +0200
--* From: Torsten Ekedahl <teke@matematik.su.se>
--* X-Physical-Address: Department of Mathematics, Stockholm University
--*                     Visiting Address: Roslagsvaegen 101, Houses 5 and 6
--* 		    Postal Address:   S-106 91  Stockholm
--* 				      SWEDEN
--* X-Phone: int+8162000
--* X-Fax:   int+86126717
--* X-Www: 	  http://www.matematik.su.se/users/prosit.matematik.su.se
--* Received: (teke@localhost) by prosit.matematik.su.se (8.6.9/8.6.9) id KAA08783 for asbugs@watson.ibm.com; Thu, 25 Aug 1994 10:32:56 +0200
--* Date: Thu, 25 Aug 1994 10:32:56 +0200
--* Message-Id: <199408250832.KAA08783@prosit.matematik.su.se>
--* To: asbugs@watson.ibm.com
--* Subject: [5] import behaving strangely

--@ Fixed  by:  SSD   Tue Sep 20 16:04:53 EDT 1994 
--@ Tested by:  none 
--@ Summary:    New code to check types in domain/category context was incorrectly checking import statements in default clauses. Fixed in v0.37.1. 

-- Command line: none
-- Version: 0.36.5
-- Original bug file name: hest.as

--+ When
--+ import from R;
--+ is placed inside default, at top level you get an error whereas if
--+ you  put at one level higher:
--+
--+ FT(R:Ring) : Category == with
--+ {
--+     aa : Boolean;
--+     import from R;
--+     default {
--+     aa ==  0 = 0;
--+   }
--+ }
--+
--+ or one level lower:
--+
--+ FT(R:Ring) : Category == with
--+ {
--+     aa : Boolean;
--+     default {
--+     aa ==  { import from R; 0 = 0; }
--+   }
--+ }
--+
#include "aslib"

FT(R:Ring) : Category == with
{
    aa : Boolean;
    default {
    import from R;
    aa ==  0 = 0;
  }
}