--* From IGLIO%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Wed May 18 17:35:13 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA16301; Wed, 18 May 1994 17:35:13 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2277; Wed, 18 May 94 17:35:11 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.8259.May.18.17:35:11.-0400>
--*           for asbugs@watson; Wed, 18 May 94 17:35:11 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8255; Wed, 18 May 1994 17:35:10 EDT
--* Received: from galois.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 18 May 94 17:35:10 EDT
--* Received: by galois.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA15535; Wed, 18 May 1994 17:34:59 -0400
--* Date: Wed, 18 May 1994 17:34:59 -0400
--* From: iglio@galois.watson.ibm.com
--* Message-Id: <9405182134.AA15535@galois.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [4] empty? from List SI isn't inlined with -Qinline [canc.as][35.1]

--@ Fixed  by:  SSD   Mon May 15 11:08:30 EDT 1995 
--@ Tested by:  none 
--@ Summary:    empty? now being inlined when using -Q3 -Qinline-all. 


#include "aslib"

-- asharp -O canc.as
-- empty? is not inlined because in inlSymeIsInlinable appears a syme Boolean
-- with syme->kind == SYME_Export (it should be an import)

SI==>SingleInteger

import from List SI

myFirst	(x: List SI):SI == if empty? x then 0 else first x
myRest	(x :List SI): List SI == if empty? x then nil else rest x

foo(x : List SI) : SI ==
	if empty? x then 0 else myFirst myRest x