Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Mon, 19 Oct 1992 18:10:21 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA08016;
          Mon, 19 Oct 92 09:43:50 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA08011;
          Mon, 19 Oct 92 09:40:00 -0700
Received: by grolsch.cs.ubc.ca id AA05449 (5.65c/IDA-1.3.5 
          for info-hol@ted.cs.uidaho.edu); Mon, 19 Oct 1992 09:38:38 -0700
Date: 19 Oct 92 9:38 -0700
From: Sreeranga Rajan <sree@ca.ubc.cs>
To: kimdam <kimdam@dk.tfl>
Cc: info-hol <info-hol@edu.uidaho.cs.ted>
Message-Id: <716*sree@cs.ubc.ca>
Subject: Re: Error in variant -- Can anyone explain...

>According to the Reference Manual
>
>   variant : term list -> term -> term

The term list cannot include constants as terms. 
I guess the reason for this is that a variable could 
coexist with a constant with the same name. 
But, the variant function could easily be modified. 
(I have a version that I wrote - if you would like).
Regards,
	-Sree