--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Oct 20 12:10:31 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA26714; Wed, 20 Oct 1993 12:10:31 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5329; Wed, 20 Oct 93 12:17:18 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.8305.Oct.20.12:17:16.-0400>
--*           for asbugs@watson; Wed, 20 Oct 93 12:17:17 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 20 Oct 93 12:17:15 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <24418-0@bernina.ethz.ch>; Wed, 20 Oct 1993 17:16:48 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA08977; Wed, 20 Oct 93 17:16:44 +0100
--* Date: Wed, 20 Oct 93 17:16:42 +0100
--* Message-Id: <9310201616.AA09164@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA09164; Wed, 20 Oct 93 17:16:42 +0100
--* To: asbugs@watson.ibm.com
--* Subject: Syntax error with {} in default [syntax.as][32.0]

--@ Fixed  by:  PI   Fri Mar 11 14:42:46 EST 1994 
--@ Tested by:  none 
--@ Summary:    no more a bug 

#include "aslib.as"

MyCat:Category == with
  foo: (%, %) -> (%, %)
  bar: (%, %) -> %
  zed: % -> %

  default
    -- the following gives a syntax error, but compiles ok if either
    --    the {} are replaced by (), or
    --    the zed line is removed
    bar(x:%, y:%):% == { (a, b) := foo(x, y); a }
    zed(x:%):% == x