--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Thu May 20 14:43:20 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA11880; Thu, 20 May 1993 14:43:20 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3491; Thu, 20 May 93 14:43:53 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.0083.May.20.14:43:50.-0400>
--*           for asbugs@watson; Thu, 20 May 93 14:43:53 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Thu, 20 May 93 14:43:49 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <7614-0@bernina.ethz.ch>; Thu, 20 May 1993 20:43:40 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA12422; Thu, 20 May 93 20:43:35 +0200
--* Date: Thu, 20 May 93 20:43:34 +0200
--* Message-Id: <9305201843.AA26840@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA26840; Thu, 20 May 93 20:43:34 +0200
--* To: asbugs@watson.ibm.com
--* Subject: dependent types?
--* Cc: bronstein

--@ Fixed  by: SMW Wed Oct 13 15:57:23 1993
--@ Tested by: macex2.as
--@ Summary:   Improved error message




-- The following is not compiling

-- Philip

---------------------m.as------------------------
#include "aslib.as"

B ==> Bit

SA(S: with Object) ==>
   g: % -> (S, %)
   p: (S,%) -> %

SB ==> g : % -> B

SC(S: with SB) ==> s: S -> ()

SD(Sb: with SB, S: with Object, Sa: with SA(S)): with
       SC(Sb)
--   == add
--       s(st: Sb):() == ()
------------------compiler errors-------------------
--ru7.inf.ethz.ch303  Philip > asharp m.as
--(Error) Program fault (segmentation violation).
--"mm.as", line 13: Search(Sb: with SB, S: with Object, Sa: with SA(S)): with
--                  .............................................^
--[L13 C42] (After Macro Expansion) (Error) Improper macro parameter (should be an identifier).