Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <27108-0@swan.cl.cam.ac.uk>; Sun, 29 Mar 1992 08:05:18 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA17230; Sat, 28 Mar 92 22:52:46 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA17226; Sat, 28 Mar 92 22:52:40 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA09438; Sat, 28 Mar 92 22:55:31 -0800 Message-Id: <9203290655.AA09438@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted Cc: chou@edu.ucla.cs Subject: [] problem Date: Sat, 28 Mar 92 22:55:30 PST From: chou@edu.ucla.cs #[] ;; [] : * list #[ ] ;; [] : * list #new_special_symbol `[]` ;; () : void #[] ;; unbound or non-assignable variable [] 1 error in typing typecheck failed #[ ] ;; [] : * list Also, how to make HOL print the empty list as NIL instead of [] in quotations after I have defined [] to be something else? Set_interface_map doesn't work: #set_interface_map [(`NIL`, `[]`)] ;; evaluation failed NIL would become hidden - Ching Tsun