[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