--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Nov  3 09:04:45 1993
--* Received: from yktvmv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA10623; Wed, 3 Nov 1993 09:04:45 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0079; Wed, 03 Nov 93 09:11:57 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.4753.Nov.03.09:11:56.-0500>
--*           for asbugs@watson; Wed, 03 Nov 93 09:11:57 -0500
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 03 Nov 93 09:11:55 EST
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <22473-0@bernina.ethz.ch>; Wed, 3 Nov 1993 15:11:49 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA01884; Wed, 3 Nov 93 15:11:44 +0100
--* Date: Wed, 3 Nov 93 15:11:43 +0100
--* Message-Id: <9311031411.AA10592@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA10592; Wed, 3 Nov 93 15:11:43 +0100
--* To: asbugs@watson.ibm.com
--* Subject: defaults just don't work (1-liner) [default.as][32.0]

--@ Fixed  by:  SMW   Wed Nov 24 21:13:28 EST 1993 
--@ Tested by:  libaslib 
--@ Summary:    Repaired by recent round of enhancements. 

#include "aslib.as"

Foo:Category == with {
    foo: (%, %) -> %;
    bar: (%, %) -> %;
    default bar(x:%, y:%):% == x
}

-- this doesn't compile if bar has a default definition
Bar:Foo == add { foo(x:%, y:%):% == bar(x, y) }