--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue May 18 17:40:13 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21492; Tue, 18 May 1993 17:40:13 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4879; Tue, 18 May 93 17:40:44 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.1243.May.18.17:40:39.-0400>
--*           for asbugs@watson; Tue, 18 May 93 17:40:43 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 18 May 93 17:40:38 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <5276-0@bernina.ethz.ch>; Tue, 18 May 1993 23:40:27 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA10778; Tue, 18 May 93 23:40:21 +0200
--* Date: Tue, 18 May 93 23:40:20 +0200
--* Message-Id: <9305182140.AA08652@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA08652; Tue, 18 May 93 23:40:20 +0200
--* To: asbugs@watson.ibm.com
--* Subject: type-check lists
--* Cc: bronstein, jenks@watson.ibm.com
--@ Fixed  by: SMW Wed May 19 14:58:22 1993
--@ Tested by: tinfer2.as
--@ Summary:   Discard tag of dependent type before testing whether it is a map.