Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 19 Oct 1992 20:54:33 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07671; Mon, 19 Oct 92 09:07:37 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ux6.tfl.dk by ted.cs.uidaho.edu (16.6/1.34) id AA07666; Mon, 19 Oct 92 09:07:10 -0700 Received: by ux6.tfl.dk (/\==/\ Smail3.1.24.1 #24.1) id ; Mon, 19 Oct 92 16:06 MET Message-Id: Date: Mon, 19 Oct 92 17:05 MET From: kimdam@dk.tfl (Kim Dam Petersen) To: info-hol@edu.uidaho.cs.ted Subject: Error in variant -- Can anyone explain... According to the Reference Manual variant : term list -> term -> term never fails. Nevertheless the simple application: variant ["T"] (mk_var(`x`,":num"));; yields the error message: evaluation failed VARIANT I wonder if this is a general error, or only happens on Allegro Common Lisp 3.1 .12.2 executed under DECstation 3100, Ultrix v. 4.2a (rev. 47).