Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 7 May 1993 19:34:07 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA29303;
          Fri, 7 May 93 11:19:35 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from air52.larc.nasa.gov by ted.cs.uidaho.edu (16.6/1.34) id AA29298;
          Fri, 7 May 93 11:19:27 -0700
Received: by air52.larc.nasa.gov (5.65.1/lanleaf2.4) id AA21553;
          Fri, 7 May 93 14:19:36 -0400
Message-Id: <9305071819.AA21553@air52.larc.nasa.gov>
Date: Fri, 7 May 93 14:19:36 -0400
From: Victor "A." Carreno <vac@air16.larc.nasa.gov>
To: info-hol@ted.cs.uidaho.edu
Subject: concrete type definition
Cc: vac@air16.larc.nasa.gov


Hi all,

I don't know if this is trivial, but I am having a hard time with it:

#define_type `a_new_type` `the_thing = F_ITEM | S_ITEM | T_ITEM`;;

According to DESCRIPTION (11.8.1.4) F_ITEM, S_ITEM and T_ITEM have distinct
values.

How can you show:

#g "~(F_ITEM = S_ITEM)";;

Any advice appreciated.

Victor.