--* From smwatt@spadserv.watson.ibm.com  Wed Jan 20 16:22:45 1993
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA133042; Wed, 20 Jan 1993 16:22:45 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21307; Wed, 20 Jan 1993 16:29:37 -0500
--* Date: Wed, 20 Jan 1993 16:29:37 -0500
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9301202129.AA21307@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: The import statement below should not be allowed v25.3+

--@ Fixed  by: RSS Wed Oct 13 14:37:06 1993
--@ Tested by: <name of new or existing file in test directory>
--@ Summary:   <One line description of real problem and the fix>


--* From root@daly.watson.ibm.com  Thu Oct 29 15:15:05 1992
--* Received: from daly.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20583; Thu, 29 Oct 1992 15:15:05 -0400
--* X-External-Networks: yes
--* Received: by daly.watson.ibm.com (AIX 1.3/900524)
--*           id AA25414; Thu, 29 Oct 92 13:13:41 -0500
--* Date: Thu, 29 Oct 92 13:13:41 -0500
--* From: root@daly.watson.ibm.com
--* Message-Id: <9210291813.AA25414@daly.watson.ibm.com>
--* To: axc-bug@radical
--* Subject: Assertion failed, file "/u/smwatt/axc/version/v23.6a/src/absyn.c" line 912: abTag(from) == abTag(to)

--@ Fixed  by: RSS Wed Oct 13 14:37:06 1993
--@ Tested by: <name of new or existing file in test directory>
--@ Summary:   <One line description of real problem and the fix>


#include "aslib.as"

import Foreign Lisp:
  BYE: Cross() -> Cross()

Lisp(): with
  done: Cross() -> Cross ()
 == add

  done() == BYE()