--* From BMT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Sun Apr 24 10:50:36 1994
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA19415; Sun, 24 Apr 1994 10:50:36 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9481; Sun, 24 Apr 94 10:50:07 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.4833.Apr.24.10:50:07.-0400>
--*           for asbugs@watson; Sun, 24 Apr 94 10:50:07 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4829; Sun, 24 Apr 1994 10:50:07 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Sun, 24 Apr 94 10:50:07 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20059; Sun, 24 Apr 1994 10:51:47 -0400
--* Date: Sun, 24 Apr 1994 10:51:47 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9404241451.AA20059@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] compiler complains that first arg to sort should be (#1,#1)-> Boolean [htest.as][34.7]

--@ Fixed  by:  SSD   Thu May 11 11:44:23 EDT 1995 
--@ Tested by:  none 
--@ Summary:    Now checking type equivalence modulo alpha conversion. 


#include "axiom.as"
f(t:Type,g:(t,t)->Boolean,l:List t):List t ==
   sort(g,l)