--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Oct  5 10:55:42 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17058; Tue, 5 Oct 1993 10:55:42 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5321; Tue, 05 Oct 93 11:01:48 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.6463.Oct.05.11:01:47.-0400>
--*           for asbugs@watson; Tue, 05 Oct 93 11:01:47 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 05 Oct 93 11:01:46 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <12277-0@bernina.ethz.ch>; Tue, 5 Oct 1993 16:00:57 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA09513; Tue, 5 Oct 93 16:00:47 +0100
--* Date: Tue, 5 Oct 93 16:00:46 +0100
--* Message-Id: <9310051500.AA22424@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA22424; Tue, 5 Oct 93 16:00:46 +0100
--* To: asbugs@watson.ibm.com
--* Subject: exported function name gets mangled [bug1.as][29.0]

--@ Fixed  by:  PI   Fri Mar 11 12:54:08 EST 1994 
--@ Tested by:  none 
--@ Summary:    not a bug. The command line should contain the name of the second file too. 

-- To illustrate this bug, foo.as and bar.as must be compiled sepately.
-- Compile sequence:
-- asharp foo.as
-- asharp -Fx bar.as
-- produces the link time error:
-- ld: Undefined symbol
--   _G_foo


-- foo.as
#include "aslib.as"
-- the following export statement does not affect the behaviour
export foo: Integer -> Integer
foo(x:Integer):Integer == x + 1
-- end of foo.as

-- bar.as
#include "aslib.as"
-- change the full path in the following line to your path:
#library foolib "/home/rutishauser/ru1/bronstei/asharp/src/foo.aso"
import Integer
import foolib

print(foo 1)
-- end of bar.as
 
