--* From SMWATT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Mon May 17 14:38:03 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA14215; Mon, 17 May 1993 14:38:03 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7790; Mon, 17 May 93 14:38:26 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.1317.May.17.14:38:25.-0400>
--*           for asbugs@watson; Mon, 17 May 93 14:38:25 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1315; Mon, 17 May 1993 14:38:25 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Mon, 17 May 93 14:38:24 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA49333; Mon, 17 May 1993 14:37:32 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12876; Mon, 17 May 1993 14:38:36 -0400
--* Date: Mon, 17 May 1993 14:38:36 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9305171838.AA12876@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: running with local types [type1.as][v28.8e]

--@ Fixed  by:  PAB   Thu Oct 14 21:58:19 1993 
--@ Tested by:  fix263.as 
--@ Summary:    Fixed by other changes 


--+ This file compiles to .aso but gives core dump on execution.
#include "aslib"

Utilities: with
	T1: IntegerNumberSystem
	T2: IntegerNumberSystem
	show: (String, T1) -> None
	show: (String, T2) -> None
  == add
	T1: IntegerNumberSystem == Integer
	T2: IntegerNumberSystem == SingleInteger

	show(s: String, t: T1): None ==
		print(s)(t)()
	show(s: String, t: T2): None ==
		print(s)(t)()


f(): None ==
	import Utilities
	x1: T1 := 1 + 1 + 1
	x2: T2 := 1 + 1 + 1

	show("The 3 of type T1 is ", x1)
	show("The 3 of type T2 is ", x2)

f()