--* From SMWATT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Aug 20 03:04:29 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21778; Fri, 20 Aug 1993 03:04:29 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2980; Fri, 20 Aug 93 03:05:46 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.8220.Aug.20.03:05:46.-0400>
--*           for asbugs@watson; Fri, 20 Aug 93 03:05:46 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8218; Fri, 20 Aug 1993 03:05:45 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 20 Aug 93 03:05:45 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA72145; Fri, 20 Aug 1993 03:04:43 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17894; Fri, 20 Aug 1993 03:10:19 -0400
--* Date: Fri, 20 Aug 1993 03:10:19 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9308200710.AA17894@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Not a bug -- just a test. [triv5.as][v29.8]

--@ Fixed  by: SMW Fri Aug 20 03:16:00 1993
--@ Tested by: none
--@ Summary:   Not a bug -- just a test


--+ --  Triv4      -- A minimal exporting program, independent of any other code.
--+
--+ --> testcomp
--+ --> testgen c
--+ --> testgen l
--+ --> testrun
--+
--+ export
--+ 	Type:	      	Type
--+ 	Tuple:		Type -> Type
--+ 	->:  	      	(Tuple Type, Tuple Type) -> Type
--+ 	Literal:	Type
--+ 	BuiltinArr:	Type
--+ 	BuiltinSInt:	Type
--+
--+ import Foreign: with
--+ 	printSInt:     	BuiltinSInt -> ()
--+ 	printString:    BuiltinArr  -> ()
--+ 	printNewLine: 	()          -> ()
--+
--+ import Builtin: with
--+ 	ArrToSInt:    	BuiltinArr  -> BuiltinSInt
--+
--+ integer(s: Literal): BuiltinSInt   == ArrToSInt (s pretend BuiltinArr)
--+ string (s: Literal): BuiltinArr    == s pretend BuiltinArr
--+
--+ export
--+ 	printTriv:	() -> ()
--+
--+ printTriv(): () ==
--+ 	printSInt 42
--+ 	printString " Skidoo"
--+ 	printNewLine()
--+
--+ #if TestRun
--+ printTriv()
--+ #endif
--  Triv5      -- A minimal program depending on archive code.

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

#library AsLib "aslib"
import AsLib

import String
import Outport

print("!")()