--* From SMWATT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Jun 16 17:07:22 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA01788; Thu, 16 Jun 1994 17:07:22 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5443; Thu, 16 Jun 94 17:07:23 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.8359.Jun.16.17:07:23.-0400>
--*           for asbugs@watson; Thu, 16 Jun 94 17:07:23 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8353; Thu, 16 Jun 1994 17:07:22 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Thu, 16 Jun 94 17:07:22 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20143; Thu, 16 Jun 1994 17:10:24 -0400
--* Date: Thu, 16 Jun 1994 17:10:24 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9406162110.AA20143@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [1] export f(): () == ...   => segmentation violation [triv4.as][v36--]

--@ Fixed  by:  PAB   Wed Jun 22 00:07:34 EDT 1994 
--@ Tested by:  exptoc.sh 
--@ Summary:    make ti_tdn descend export form, and fixed genfoam problemette 


--  Triv4      -- A minimal exporting program, independent of any other code.
#pile

--> testcomp
--> testgen c
--> testgen l
--> testrun

export
	Type:	      	Type
	Tuple:		Type -> Type
	->:  	      	(Tuple Type, Tuple Type) -> Type
	Literal:	Type
	String:		Type
	Int:		Type

import
	printf:     	(String, Int) -> Int
	puts:		(String) -> Int
from Foreign

import
	ArrToSInt:    	String -> Int
from Builtin


integer(s: Literal): Int    == ArrToSInt (s pretend String)
string (s: Literal): String == s pretend String

export printTriv(): () ==
	printf("%d ", 42)
	puts "Skidoo"

printTriv()