--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Oct 28 11:58:45 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA21960; Fri, 28 Oct 1994 11:58:45 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6033; Fri, 28 Oct 94 11:58:50 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.LAURENT.NOTE.YKTVMV.8313.Oct.28.11:58:49.-0400>
--*           for asbugs@watson; Fri, 28 Oct 94 11:58:50 -0400
--* Received: from inf.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Fri, 28 Oct 94 11:58:48 EDT
--* Received: from vinci.inf.ethz.ch (bernardi@vinci.inf.ethz.ch [129.132.12.46]) by inf.ethz.ch (8.6.9/8.6.9) with ESMTP id QAA19621 for <asbugs@watson.ibm.com>; Fri, 28 Oct 1994 16:58:39 +0100
--* Received: (bernardi@localhost) by vinci.inf.ethz.ch (8.6.8/8.6.6) id QAA27081 for asbugs@watson.ibm.com; Fri, 28 Oct 1994 16:58:37 +0100
--* Date: Fri, 28 Oct 1994 16:58:37 +0100
--* From: "Laurent Bernardin" <Laurent.Bernardin@inf.ethz.ch>
--* Precedence: first-class
--* Message-Id: <199410281558.QAA27081@vinci.inf.ethz.ch>
--* To: asbugs@watson.ibm.com
--* Subject: [2] "Bug: gen0Syme:  syme unallocated by gen0Vars"

--@ Fixed  by:  SSD   Mon May 15 12:07:29 EDT 1995 
--@ Tested by:  none 
--@ Summary:    Undetermined fixes to code generation for conditional definitions. 

-- Command line: asharp -M2 ext.as
-- Version: 0.37.0
-- Original bug file name: ext.as

-- This doesn't compile

#include "aslib.as"

MyType(R: Ring): with {
	if R has Field then
		test:	R -> R;
} == add {
	if R has Field then {
		test(a:R):R == {
			import from {R,Field};
			b:R := inv(a);
		}
	}
}