Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1)
	id AA05797; Tue, 26 Sep 95 16:01:18 BST
From: Peter Broadbery <peterb@uk.co.nag>
Date: Tue, 26 Sep 95 15:57:54 +0100
Message-Id: <297.9509261457@nldi16.nag.co.uk>
Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0)
	id AA00297; Tue, 26 Sep 95 15:57:54 +0100
Subject: fixbug
By: PAB
Fixed: bug388.as
Apparently-To: ax-bugs@nag.co.uk

--* From SMWATT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Aug 20 02:20:36 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23299; Fri, 20 Aug 1993 02:20:36 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2920; Fri, 20 Aug 93 02:21:54 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.8093.Aug.20.02:21:54.-0400>
--*           for asbugs@watson; Fri, 20 Aug 93 02:21:54 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8091; Fri, 20 Aug 1993 02:21:53 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 20 Aug 93 02:21:53 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA11891; Fri, 20 Aug 1993 02:20:51 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19856; Fri, 20 Aug 1993 02:26:27 -0400
--* Date: Fri, 20 Aug 1993 02:26:27 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9308200626.AA19856@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Default argument not properly passed unless optimized [depend8.as][v29.7]

--@ Bug Number:  bug388.as 
--@ Fixed  by:  PAB   
--@ Tested by:  defarg9.as 
--@ Summary:    Fixed in 1.1.4 (Unary to Cross fixed) 
-- PI: see also bug389.as

--+ Script started on Fri Aug 20 02:24:24 1993spadserv:test [2.1] asharp -r depend8.as
--+ Hello
--+ spadserv:test [2.2] asharp -rOQinline-all depend8.as
--+ Hello Freddy
--+ spadserv:test [2.3] exit
--+ spadserv:test [2.4]
#include "aslib"

Defaulter: with
	s: String
	x: (String, n: String == s) -> ()
  == add
	s: String == "Freddy"
	x(h: String, n: String == s): () == print(h)(" ")(n)()

x("Hello")$Defaulter