[cl-unification-devel] Problems compiling code use #T template

John Leuner jewel at subvert-the-dominant-paradigm.net
Wed Jun 14 12:32:15 UTC 2006


When I compile the following code in SBCL (using C-c C-k in Slime),

(in-package :cl-user)

(defun check-recipient ()
  (unify:unify #T(list ?a ?b ?c) '(1 2 3)))

I get this error report:


;
file: /home/jbominji/jbominji/extra.lisp                                                                                                                               
; in: DEFUN
CHECK-RECIPIENT                                                                                                                                              
;     (CL.EXT.DACF.UNIFICATION:UNIFY #T(LIST ?A ?B ?C) '(1 2
3))                                                                                                         
;
==>                                                                                                                                                                    
;
#T(LIST ?A ?B ?C)                                                                                                                                                    
;                                                                                                                                                                        
; caught
ERROR:                                                                                                                                                          
;   don't know how to dump #T(LIST ?A ?B ?C) (default MAKE-LOAD-FORM
method
called).                                                                                     
;                                                                                                                                                                        
; note: The first argument never returns a
value.                                                                                                                        
                                                                                                                                                                         
;     '(1 2
3)                                                                                                                                                           
;                                                                                                                                                                        
; note: deleting unreachable
code                                                                                                                                        
;                                                                                                                                                                        
; compilation unit
finished                                                                                                                                              
;   caught 1 ERROR
condition                                                                                                                                             
;   printed 2
notes                                                                                                                                                      
                                                                                                                                                                         
; /home/jbominji/jbominji/extra.fasl
written                                                                                                                             
; compilation finished in
0:00:00                                                                                                                                        
STYLE-WARNING: redefining CHECK-RECIPIENT in DEFUN      

This code works when the compiler does not have to write a fasl file.

What should I be doing to allow make-load-form to succeed?

Thanks
John Leuner





More information about the cl-unification-devel mailing list